| /openbsd-src/gnu/llvm/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 | 35 LocField(const FieldRegion *FR, const bool IsDereferenced = true) in LocField()
65 NeedsCastLocField(const FieldRegion *FR, const QualType &T) in NeedsCastLocField()
93 CyclicLocField(const FieldRegion *FR) : FieldNode(FR) {} in CyclicLocField()
127 const FieldRegion *FR);
138 const FieldRegion *FR, FieldChainInfo LocalChain) { in isDereferencableUninit()
222 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()
|
| /openbsd-src/gnu/llvm/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 | 321 if (const SubRegion *FieldReg = Region->getAs<FieldRegion>()) { in getTrackRegion()
|
| H A D | MallocChecker.cpp | 2943 if (isa<FieldRegion, ElementRegion>(MR)) in checkEscapeOnReturn()
|
| /openbsd-src/gnu/llvm/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()
1180 const FieldRegion*
1183 return getSubRegion<FieldRegion>(d, superRegion); in getFieldRegion()
[all …]
|
| H A D | RegionStore.cpp | 565 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R);
802 static inline bool isUnionField(const FieldRegion *FR) { in isUnionField()
815 if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) in getSymbolicOffsetFields()
872 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(Top)) { in collectSubRegionBindings()
1470 if (const FieldRegion* FR = dyn_cast<FieldRegion>(R)) in getBinding()
1596 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) { in findLazyBinding()
1973 const FieldRegion* R) { in getBindingForField()
2060 cast<FieldRegion>(LazyBindingRegion)); in getLazyBinding()
2613 const FieldRegion *SourceFR = MRMgr.getFieldRegion(*I, LCV.getRegion()); in tryBindSmallStruct()
2616 const FieldRegion *DestFR = MRMgr.getFieldRegion(*I, R); in tryBindSmallStruct()
[all …]
|
| H A D | SimpleSValBuilder.cpp | 694 static SVal evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, in evalBinOpFieldRegionFieldRegion()
695 const FieldRegion *RightFR, in evalBinOpFieldRegionFieldRegion()
1003 const FieldRegion *RightFR = dyn_cast<FieldRegion>(RightMR); in evalBinOpLL()
1004 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()
1439 while (isa<FieldRegion>(TVR) || isa<ElementRegion>(TVR)) { in tryExtractInitializerFromList()
1469 if (const auto *FR = dyn_cast<FieldRegion>(TVR)) { in tryExtractInitializerFromList()
1580 while (isa<FieldRegion>(SR) || isa<ElementRegion>(SR)) { in VisitNode()
1598 if (const auto *FR = dyn_cast<FieldRegion>(TopR)) { in VisitNode()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 1096 class FieldRegion : public DeclRegion {
1101 FieldRegion(const FieldDecl *fd, const SubRegion *sReg) in FieldRegion() function
1472 const FieldRegion *getFieldRegion(const FieldDecl *fd,
1475 const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR, in getFieldRegionWithSuper()
|
| H A D | Regions.def | 74 REGION(FieldRegion, DeclRegion)
|
| /openbsd-src/gnu/llvm/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.
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 228 std::string VisitFieldRegion(const FieldRegion *R) { in VisitFieldRegion()
|