Searched refs:TypedValueRegion (Results 1 – 20 of 20) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | MemRegion.h | 458 class TypedValueRegion : public TypedRegion { 462 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {} in TypedValueRegion() function 669 class StringRegion : public TypedValueRegion { 675 : TypedValueRegion(sreg, StringRegionKind), Str(str) {} in StringRegion() 705 class ObjCStringRegion : public TypedValueRegion { 711 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {} in ObjCStringRegion() 741 class CompoundLiteralRegion : public TypedValueRegion { 747 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {} in CompoundLiteralRegion() 770 class DeclRegion : public TypedValueRegion { 775 : TypedValueRegion(sReg, k), D(d) {} in DeclRegion() [all …]
|
D | SymbolManager.h | 40 class TypedValueRegion; variable 126 const TypedValueRegion *R; 129 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue() 132 const TypedValueRegion* getRegion() const { return R; } in getRegion() 134 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) { in Profile() 203 const TypedValueRegion *R; 206 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived() 210 const TypedValueRegion *getRegion() const { return R; } in getRegion() 217 const TypedValueRegion *r) { in Profile() 494 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R); [all …]
|
D | BasicValueFactory.h | 45 const TypedValueRegion *region; 47 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData() 51 const TypedValueRegion *getRegion() const { return region; } in getRegion() 55 const TypedValueRegion *region); 172 const TypedValueRegion *region);
|
D | SValBuilder.h | 166 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region); 190 SymbolRef parentSymbol, const TypedValueRegion *region); 206 const TypedValueRegion *region) { in makeLazyCompoundVal()
|
D | Store.h | 242 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | RegionStore.cpp | 308 StoreRef BindStruct(Store store, const TypedValueRegion* R, SVal V); 310 StoreRef BindArray(Store store, const TypedValueRegion* R, SVal V); 353 SVal getBindingForLazySymbol(const TypedValueRegion *R); 355 SVal getBindingForFieldOrElementCommon(Store store, const TypedValueRegion *R, 366 SVal getBindingForStruct(Store store, const TypedValueRegion* R); 368 SVal getBindingForArray(Store store, const TypedValueRegion* R); 374 const TypedValueRegion *R, 706 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR); in VisitBaseRegion() 857 const TypedValueRegion* ArrayR = dyn_cast<TypedValueRegion>(R); in ArrayToPointer() 975 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) in getDefaultBinding() [all …]
|
D | Store.cpp | 92 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in castRegion() 164 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(baseR)) { in castRegion() 217 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R, in CastRetrievedVal()
|
D | ExprEngineObjC.cpp | 108 if (const TypedValueRegion *R = in VisitObjCForCollectionStmt() 109 dyn_cast<TypedValueRegion>(MV->getRegion())) { in VisitObjCForCollectionStmt()
|
D | BasicValueFactory.cpp | 30 const TypedValueRegion *region) { in Profile() 131 const TypedValueRegion *region) { in getLazyCompoundValData()
|
D | BugReporterVisitors.cpp | 169 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in VisitNode() 199 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in VisitNode()
|
D | SValBuilder.cpp | 95 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) { in getRegionValueSymbolVal() 169 const TypedValueRegion *region) { in getDerivedRegionValueSymbolVal()
|
D | SymbolManager.cpp | 168 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol() 204 const TypedValueRegion *R) { in getDerivedSymbol()
|
D | ProgramState.cpp | 220 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in getSValAsScalarOrLoc()
|
D | ExprEngine.cpp | 1642 if (const TypedValueRegion *TR = in evalLoad() 1643 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) { in evalLoad()
|
D | MemRegion.cpp | 423 void TypedValueRegion::anchor() { } in anchor()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | OSAtomicChecker.cpp | 119 if (const TypedValueRegion *TR = in evalOSAtomicCompareAndSwap() 120 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) { in evalOSAtomicCompareAndSwap() 170 if (const TypedValueRegion *R = in evalOSAtomicCompareAndSwap() 171 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) { in evalOSAtomicCompareAndSwap()
|
D | BoolAssignmentChecker.cpp | 58 const TypedValueRegion *TR = in checkBind() 59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion()); in checkBind()
|
D | BasicObjCFoundationChecks.cpp | 293 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts()); in checkPreStmt()
|
D | CallAndMessageChecker.cpp | 140 bool Find(const TypedValueRegion *R) { in PreVisitProcessArg()
|
D | CStringChecker.cpp | 843 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR); in SummarizeRegion()
|