Searched refs:FieldRegion (Results 1 – 7 of 7) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | MemRegion.cpp | 197 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
502 void FieldRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
605 bool FieldRegion::canPrintPretty() const { in canPrintPretty()
609 bool FieldRegion::canPrintPrettyAsExpr() const { in canPrintPrettyAsExpr()
613 void FieldRegion::printPrettyAsExpr(raw_ostream &os) const { in printPrettyAsExpr()
619 void FieldRegion::printPretty(raw_ostream &os) const { in printPretty()
946 const FieldRegion*
949 return getSubRegion<FieldRegion>(d, superRegion); in getFieldRegion()
1304 const FieldRegion *FR = cast<FieldRegion>(R); in getAsOffset()
|
| D | RegionStore.cpp | 506 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R);
764 static inline bool isUnionField(const FieldRegion *FR) { in isUnionField()
777 if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) in getSymbolicOffsetFields()
834 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(Top)) { in collectSubRegionBindings()
1326 if (const FieldRegion* FR = dyn_cast<FieldRegion>(R)) in getBinding()
1452 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) { in findLazyBinding()
1553 const FieldRegion* R) { in getBindingForField()
1598 cast<FieldRegion>(LazyBindingRegion)); in getLazyBinding()
2086 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion()); in tryBindSmallStruct()
2089 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R); in tryBindSmallStruct()
[all …]
|
| D | SimpleSValBuilder.cpp | 536 static SVal evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, in evalBinOpFieldRegionFieldRegion()
537 const FieldRegion *RightFR, in evalBinOpFieldRegionFieldRegion()
807 const FieldRegion *RightFR = dyn_cast<FieldRegion>(RightMR); in evalBinOpLL()
808 const FieldRegion *LeftFR = dyn_cast<FieldRegion>(LeftMR); in evalBinOpLL()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 927 class FieldRegion : public DeclRegion {
930 FieldRegion(const FieldDecl *fd, const MemRegion* sReg) in FieldRegion() function
1229 const FieldRegion *getFieldRegion(const FieldDecl *fd,
1232 const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR, in getFieldRegionWithSuper()
|
| /external/clang/docs/analyzer/ |
| D | RegionStore.txt | 162 p.x = 42; // A Direct binding is made to the FieldRegion 'p.x'.
166 return p2.x; // The binding for FieldRegion 'p2.x' is requested.
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CallAndMessageChecker.cpp | 235 const FieldRegion *FR = MrMgr.getFieldRegion(I, R); in PreVisitProcessArg()
|
| D | MallocChecker.cpp | 2224 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkPreStmt()
|