Searched refs:FieldRegion (Results 1 – 8 of 8) 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()
949 const FieldRegion*
952 return getSubRegion<FieldRegion>(d, superRegion); in getFieldRegion()
1320 const FieldRegion *FR = cast<FieldRegion>(R); in getAsOffset()
|
| D | RegionStore.cpp | 500 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R);
748 static inline bool isUnionField(const FieldRegion *FR) { in isUnionField()
761 if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) in getSymbolicOffsetFields()
818 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(Top)) { in collectSubRegionBindings()
1422 if (const FieldRegion* FR = dyn_cast<FieldRegion>(R)) in getBinding()
1548 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) { in findLazyBinding()
1649 const FieldRegion* R) { in getBindingForField()
1694 cast<FieldRegion>(LazyBindingRegion)); in getLazyBinding()
2182 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion()); in tryBindSmallStruct()
2185 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 | 242 const FieldRegion *FR = MrMgr.getFieldRegion(I, R); in PreVisitProcessArg()
|
| D | NullabilityChecker.cpp | 271 if (auto FieldReg = Region->getAs<FieldRegion>()) in getTrackRegion()
|
| D | MallocChecker.cpp | 2234 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkPreStmt()
|