Searched refs:FieldRegion (Results 1 – 13 of 13) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObject.h | 80 const FieldRegion *FR; 87 FieldNode(const FieldRegion *FR) : FR(FR) {} in FieldNode() 100 bool isSameRegion(const FieldRegion *OtherFR) const { in isSameRegion() 110 const FieldRegion *getRegion() const { return FR; } in getRegion() 178 bool contains(const FieldRegion *FR) const; 182 const FieldRegion *getUninitRegion() const { return getHead().getRegion(); } in getUninitRegion() 187 using UninitFieldMap = std::map<const FieldRegion *, llvm::SmallString<50>>; 292 bool isDereferencableUninit(const FieldRegion *FR, FieldChainInfo LocalChain);
|
| H A D | UninitializedPointee.cpp | 35 LocField(const FieldRegion *FR, const bool IsDereferenced = true) in LocField() 65 NeedsCastLocField(const FieldRegion *FR, const QualType &T) in NeedsCastLocField() 95 CyclicLocField(const FieldRegion *FR) : FieldNode(FR) {} in CyclicLocField() 129 const FieldRegion *FR); 140 const FieldRegion *FR, FieldChainInfo LocalChain) { in isDereferencableUninit() 224 const FieldRegion *FR) { in dereference()
|
| H A D | UninitializedObjectChecker.cpp | 56 RegularField(const FieldRegion *FR) : FieldNode(FR) {} in RegularField() 232 const FieldRegion *FR = Chain.getUninitRegion(); in addFieldToUninits() 286 const auto *FR = FieldVal.getRegionAs<FieldRegion>(); in isNonUnionUninit() 380 bool FieldChainInfo::contains(const FieldRegion *FR) const { in contains()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 181 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() 509 void FieldRegion::dumpToStream(raw_ostream &os) const { in dumpToStream() 620 bool FieldRegion::canPrintPretty() const { in canPrintPretty() 624 bool FieldRegion::canPrintPrettyAsExpr() const { in canPrintPrettyAsExpr() 628 void FieldRegion::printPrettyAsExpr(raw_ostream &os) const { in printPrettyAsExpr() 634 void FieldRegion::printPretty(raw_ostream &os) const { in printPretty() 701 const auto *const FR = dyn_cast<FieldRegion>(this); in sourceRange() 1029 const FieldRegion* 1032 return getSubRegion<FieldRegion>(d, superRegion); in getFieldRegion() 1425 const auto *FR = cast<FieldRegion>(R); in calculateOffset()
|
| H A D | RegionStore.cpp | 524 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R); 770 static inline bool isUnionField(const FieldRegion *FR) { in isUnionField() 783 if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) in getSymbolicOffsetFields() 840 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(Top)) { in collectSubRegionBindings() 1474 if (const FieldRegion* FR = dyn_cast<FieldRegion>(R)) in getBinding() 1600 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) { in findLazyBinding() 1731 const FieldRegion* R) { in getBindingForField() 1804 cast<FieldRegion>(LazyBindingRegion)); in getLazyBinding() 2301 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion()); in tryBindSmallStruct() 2304 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R); in tryBindSmallStruct() [all …]
|
| H A D | SimpleSValBuilder.cpp | 767 static SVal evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, in evalBinOpFieldRegionFieldRegion() 768 const FieldRegion *RightFR, in evalBinOpFieldRegionFieldRegion() 1046 const FieldRegion *RightFR = dyn_cast<FieldRegion>(RightMR); in evalBinOpLL() 1047 const FieldRegion *LeftFR = dyn_cast<FieldRegion>(LeftMR); in evalBinOpLL()
|
| H A D | BugReporterVisitors.cpp | 419 const FieldRegion *FR = MmrMgr.getFieldRegion(I, cast<SubRegion>(R));
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 1008 class FieldRegion : public DeclRegion { 1011 FieldRegion(const FieldDecl *fd, const SubRegion* sReg) in FieldRegion() function 1345 const FieldRegion *getFieldRegion(const FieldDecl *fd, 1348 const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR, in getFieldRegionWithSuper()
|
| H A D | Regions.def | 75 REGION(FieldRegion, DeclRegion)
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 204 std::string VisitFieldRegion(const FieldRegion *R) { in VisitFieldRegion()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CallAndMessageChecker.cpp | 220 const FieldRegion *FR = MrMgr.getFieldRegion(I, R); in Find()
|
| H A D | NullabilityChecker.cpp | 285 if (auto FieldReg = Region->getAs<FieldRegion>()) in getTrackRegion()
|
| H A D | MallocChecker.cpp | 2480 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkEscapeOnReturn()
|