| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObject.h | 87 const FieldRegion *FR;
94 FieldNode(const FieldRegion *FR) : FR(FR) {} in FieldNode()
107 bool isSameRegion(const FieldRegion *OtherFR) const { in isSameRegion()
117 const FieldRegion *getRegion() const { return FR; } in getRegion()
185 bool contains(const FieldRegion *FR) const;
189 const FieldRegion *getUninitRegion() const { return getHead().getRegion(); } in getUninitRegion()
194 using UninitFieldMap = std::map<const FieldRegion *, llvm::SmallString<50>>;
299 bool isDereferencableUninit(const FieldRegion *FR, FieldChainInfo LocalChain);
|
| H A D | UninitializedPointee.cpp | 34 LocField(const FieldRegion *FR, const bool IsDereferenced = true) in LocField()
64 NeedsCastLocField(const FieldRegion *FR, const QualType &T) in NeedsCastLocField()
92 CyclicLocField(const FieldRegion *FR) : FieldNode(FR) {} in CyclicLocField()
126 const FieldRegion *FR);
137 const FieldRegion *FR, FieldChainInfo LocalChain) { in isDereferencableUninit()
221 const FieldRegion *FR) { in dereference()
|
| H A D | UninitializedObjectChecker.cpp | 58 RegularField(const FieldRegion *FR) : FieldNode(FR) {} in RegularField()
242 const FieldRegion *FR = Chain.getUninitRegion(); in addFieldToUninits()
300 const auto *FR = FieldVal.getRegionAs<FieldRegion>(); in isNonUnionUninit()
394 bool FieldChainInfo::contains(const FieldRegion *FR) const { in contains()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckPlacementNew.cpp | 50 void checkFieldRegionAlign(const FieldRegion *R, CheckerContext &C,
236 const FieldRegion *R, CheckerContext &C, const Expr *P, in checkFieldRegionAlign()
286 else if (const FieldRegion *TheFieldRegion = MRegion->getAs<FieldRegion>()) in checkPlaceIsAlignedProperly()
|
| H A D | CallAndMessageChecker.cpp | 259 const FieldRegion *FR = MrMgr.getFieldRegion(I, R); in Find()
|
| H A D | NullabilityChecker.cpp | 288 if (auto FieldReg = Region->getAs<FieldRegion>()) in getTrackRegion()
|
| H A D | MallocChecker.cpp | 2952 if (isa<FieldRegion, ElementRegion>(MR)) in checkEscapeOnReturn()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 281 void FieldRegion::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()
506 void FieldRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
635 bool FieldRegion::canPrintPretty() const { in canPrintPretty()
639 bool FieldRegion::canPrintPrettyAsExpr() const { in canPrintPrettyAsExpr()
643 void FieldRegion::printPrettyAsExpr(raw_ostream &os) const { in printPrettyAsExpr()
649 void FieldRegion::printPretty(raw_ostream &os) const { in printPretty()
716 const auto *const FR = dyn_cast<FieldRegion>(this); in sourceRange()
770 if (cast<FieldRegion>(SR)->getDecl()->isBitField()) in getStaticSize()
1164 const FieldRegion*
1167 return getSubRegion<FieldRegion>(d, superRegion); in getFieldRegion()
[all …]
|
| H A D | RegionStore.cpp | 563 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R);
796 static inline bool isUnionField(const FieldRegion *FR) { in isUnionField()
809 if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) in getSymbolicOffsetFields()
866 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(Top)) { in collectSubRegionBindings()
1469 if (const FieldRegion* FR = dyn_cast<FieldRegion>(R)) in getBinding()
1595 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) { in findLazyBinding()
1967 const FieldRegion* R) { in getBindingForField()
2056 cast<FieldRegion>(LazyBindingRegion)); in getLazyBinding()
2606 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion()); in tryBindSmallStruct()
2609 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R); in tryBindSmallStruct()
[all …]
|
| H A D | SimpleSValBuilder.cpp | 693 static SVal evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, in evalBinOpFieldRegionFieldRegion()
694 const FieldRegion *RightFR, in evalBinOpFieldRegionFieldRegion()
1002 const FieldRegion *RightFR = dyn_cast<FieldRegion>(RightMR); in evalBinOpLL()
1003 const FieldRegion *LeftFR = dyn_cast<FieldRegion>(LeftMR); in evalBinOpLL()
|
| H A D | BugReporterVisitors.cpp | 647 const FieldRegion *FR = MmrMgr.getFieldRegion(I, cast<SubRegion>(R)); in findRegionOfInterestInRecord()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SymbolReaperTest.cpp | 31 const FieldRegion *FR = Eng.getRegionManager().getFieldRegion(FD, VR); in performTest()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 1084 class FieldRegion : public DeclRegion {
1089 FieldRegion(const FieldDecl *fd, const SubRegion *sReg) in FieldRegion() function
1460 const FieldRegion *getFieldRegion(const FieldDecl *fd,
1463 const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR, in getFieldRegionWithSuper()
|
| H A D | Regions.def | 74 REGION(FieldRegion, DeclRegion)
|
| /llvm-project-15.0.7/clang/docs/analyzer/developer-docs/ |
| H A D | RegionStore.rst | 174 p.x = 42; // A Direct binding is made to the FieldRegion 'p.x'.
178 return p2.x; // The binding for FieldRegion 'p2.x' is requested.
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 209 std::string VisitFieldRegion(const FieldRegion *R) { in VisitFieldRegion()
|