Searched refs:FieldRegion (Results 1 - 12 of 12) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
H A D | UninitializedObject.h | 81 /// A lightweight polymorphic wrapper around FieldRegion *. We'll use this 87 const FieldRegion *FR; 94 FieldNode(const FieldRegion *FR) : FR(FR) {} 107 bool isSameRegion(const FieldRegion *OtherFR) const { 117 const FieldRegion *getRegion() const { return FR; } 185 bool contains(const FieldRegion *FR) const; 189 const FieldRegion *getUninitRegion() const { return getHead().getRegion(); } 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) 64 NeedsCastLocField(const FieldRegion *FR, const QualType &T) 94 CyclicLocField(const FieldRegion *FR) : FieldNode(FR) {} 128 const FieldRegion *FR); 139 const FieldRegion *FR, FieldChainInfo LocalChain) { 223 const FieldRegion *FR) {
|
H A D | UninitializedObjectChecker.cpp | 58 RegularField(const FieldRegion *FR) : FieldNode(FR) {} 77 /// FieldRegion, and is purely a tool to describe a relation between two other 78 /// FieldRegion wrapping descendants. 244 const FieldRegion *FR = Chain.getUninitRegion(); 302 const auto *FR = FieldVal.getRegionAs<FieldRegion>(); 396 bool FieldChainInfo::contains(const FieldRegion *FR) const {
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | RegionStore.cpp | 565 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R); 816 static inline bool isUnionField(const FieldRegion *FR) { 829 if (const FieldRegion *FR = dyn_cast<FieldRegion>(R)) 886 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>(Top)) { 1520 if (const FieldRegion* FR = dyn_cast<FieldRegion>(R)) 1646 } else if (const FieldRegion *FR = dyn_cast<FieldRegion>( [all...] |
H A D | MemRegion.cpp | 180 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { 508 void FieldRegion::dumpToStream(raw_ostream &os) const { 619 bool FieldRegion::canPrintPretty() const { 623 bool FieldRegion::canPrintPrettyAsExpr() const { 627 void FieldRegion::printPrettyAsExpr(raw_ostream &os) const { 633 void FieldRegion::printPretty(raw_ostream &os) const { 700 const auto *const FR = dyn_cast<FieldRegion>(this); 703 // FieldRegion 1031 const FieldRegion* 1034 return getSubRegion<FieldRegion>( [all...] |
H A D | SimpleSValBuilder.cpp | 774 static SVal evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, 775 const FieldRegion *RightFR, 1053 const FieldRegion *RightFR = dyn_cast<FieldRegion>(RightMR); 1054 const FieldRegion *LeftFR = dyn_cast<FieldRegion>(LeftMR);
|
H A D | BugReporterVisitors.cpp | 193 // evaluate to a FieldRegion when it refers to a declaration of a lambda 516 const FieldRegion *FR = MmrMgr.getFieldRegion(I, cast<SubRegion>(R));
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
H A D | SValExplainer.h | 204 std::string VisitFieldRegion(const FieldRegion *R) {
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | MemRegion.h | 189 /// For a FieldRegion the range of the field is returned. 1005 class FieldRegion : public DeclRegion { class in namespace:clang::ento 1008 FieldRegion(const FieldDecl *fd, const SubRegion* sReg) function in class:clang::ento::FieldRegion 1347 const FieldRegion *getFieldRegion(const FieldDecl *fd, 1350 const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR,
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CallAndMessageChecker.cpp | 212 const FieldRegion *FR = MrMgr.getFieldRegion(I, R);
|
H A D | NullabilityChecker.cpp | 284 if (auto FieldReg = Region->getAs<FieldRegion>())
|
H A D | MallocChecker.cpp | 2755 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR))
|
Completed in 154 milliseconds