| /src/contrib/llvm-project/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 | 55 RegularField(const FieldRegion *FR) : FieldNode(FR) {} in RegularField()
239 const FieldRegion *FR = Chain.getUninitRegion(); in addFieldToUninits()
297 const auto *FR = FieldVal.getRegionAs<FieldRegion>(); in isNonUnionUninit()
391 bool FieldChainInfo::contains(const FieldRegion *FR) const { in contains()
|
| /src/contrib/llvm-project/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 | ArrayBoundCheckerV2.cpp | 345 if (const auto *FR = Region->getAs<FieldRegion>()) { in getRegionName()
|
| H A D | CallAndMessageChecker.cpp | 258 const FieldRegion *FR = MrMgr.getFieldRegion(I, R); in Find()
|
| H A D | NullabilityChecker.cpp | 329 if (const SubRegion *FieldReg = Region->getAs<FieldRegion>()) { in getTrackRegion()
|
| H A D | CStringChecker.cpp | 1231 return isa<FieldRegion>(R); in invalidateDestinationBufferAlwaysEscapeSuperRegion()
|
| H A D | MallocChecker.cpp | 3000 if (isa<FieldRegion, ElementRegion>(MR)) in checkEscapeOnReturn()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 291 void FieldRegion::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()
538 void FieldRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
678 bool FieldRegion::canPrintPretty() const { in canPrintPretty()
682 bool FieldRegion::canPrintPrettyAsExpr() const { in canPrintPrettyAsExpr()
686 void FieldRegion::printPrettyAsExpr(raw_ostream &os) const { in printPrettyAsExpr()
692 void FieldRegion::printPretty(raw_ostream &os) const { in printPretty()
767 if (auto *FR = dyn_cast<FieldRegion>(this)) { in sourceRange()
818 if (cast<FieldRegion>(SR)->getDecl()->isBitField()) in getStaticSize()
1214 const FieldRegion*
1217 return getSubRegion<FieldRegion>(d, superRegion); in getFieldRegion()
[all …]
|
| H A D | RegionStore.cpp | 567 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R);
801 static inline bool isUnionField(const FieldRegion *FR) { in isUnionField()
814 if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) in getSymbolicOffsetFields()
871 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(Top)) { in collectSubRegionBindings()
1457 if (const FieldRegion* FR = dyn_cast<FieldRegion>(R)) in getBinding()
1583 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) { in findLazyBinding()
1960 const FieldRegion* R) { in getBindingForField()
2047 cast<FieldRegion>(LazyBindingRegion)); in getLazyBinding()
2598 const FieldRegion *SourceFR = MRMgr.getFieldRegion(Field, LCV.getRegion()); in tryBindSmallStruct()
2601 const FieldRegion *DestFR = MRMgr.getFieldRegion(Field, R); in tryBindSmallStruct()
[all …]
|
| H A D | SimpleSValBuilder.cpp | 721 static SVal evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, in evalBinOpFieldRegionFieldRegion()
722 const FieldRegion *RightFR, in evalBinOpFieldRegionFieldRegion()
1029 const FieldRegion *RightFR = dyn_cast<FieldRegion>(RightMR); in evalBinOpLL()
1030 const FieldRegion *LeftFR = dyn_cast<FieldRegion>(LeftMR); in evalBinOpLL()
|
| H A D | BugReporterVisitors.cpp | 677 const FieldRegion *FR = MmrMgr.getFieldRegion(I, cast<SubRegion>(R)); in findRegionOfInterestInRecord()
1468 while (isa<FieldRegion>(TVR) || isa<ElementRegion>(TVR)) { in tryExtractInitializerFromList()
1498 if (const auto *FR = dyn_cast<FieldRegion>(TVR)) { in tryExtractInitializerFromList()
1609 while (isa<FieldRegion>(SR) || isa<ElementRegion>(SR)) { in VisitNode()
1627 if (const auto *FR = dyn_cast<FieldRegion>(TopR)) { in VisitNode()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Regions.def | 75 REGION(FieldRegion, DeclRegion)
|
| H A D | MemRegion.h | 1106 class FieldRegion : public DeclRegion {
1111 FieldRegion(const FieldDecl *fd, const SubRegion *sReg) in FieldRegion() function
1523 const FieldRegion *getFieldRegion(const FieldDecl *fd,
1526 const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR, in getFieldRegionWithSuper()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 228 std::string VisitFieldRegion(const FieldRegion *R) { in VisitFieldRegion()
|