Searched refs:FieldRegion (Results 1 – 10 of 10) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | MemRegion.cpp | 193 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
498 void FieldRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
603 bool FieldRegion::canPrintPretty() const { in canPrintPretty()
607 bool FieldRegion::canPrintPrettyAsExpr() const { in canPrintPrettyAsExpr()
611 void FieldRegion::printPrettyAsExpr(raw_ostream &os) const { in printPrettyAsExpr()
617 void FieldRegion::printPretty(raw_ostream &os) const { in printPretty()
677 const FieldRegion *const FR = dyn_cast<FieldRegion>(this); in sourceRange()
1003 const FieldRegion*
1006 return getSubRegion<FieldRegion>(d, superRegion); in getFieldRegion()
1374 const FieldRegion *FR = cast<FieldRegion>(R); in getAsOffset()
|
| D | RegionStore.cpp | 502 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R);
749 static inline bool isUnionField(const FieldRegion *FR) { in isUnionField()
762 if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) in getSymbolicOffsetFields()
819 } 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 | 923 class FieldRegion : public DeclRegion {
926 FieldRegion(const FieldDecl *fd, const MemRegion* sReg) in FieldRegion() function
1225 const FieldRegion *getFieldRegion(const FieldDecl *fd,
1228 const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR, in getFieldRegionWithSuper()
|
| D | Regions.def | 74 REGION(FieldRegion, DeclRegion)
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 189 std::string VisitFieldRegion(const FieldRegion *R) { in VisitFieldRegion()
|
| /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 | 300 if (auto FieldReg = Region->getAs<FieldRegion>()) in getTrackRegion()
|
| D | MallocChecker.cpp | 2242 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkPreStmt()
|