Home
last modified time | relevance | path

Searched refs:TypedValueRegion (Results 1 – 20 of 20) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h458 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 …]
DSymbolManager.h40 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 …]
DBasicValueFactory.h45 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);
DSValBuilder.h166 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
190 SymbolRef parentSymbol, const TypedValueRegion *region);
206 const TypedValueRegion *region) { in makeLazyCompoundVal()
DStore.h242 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp308 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 …]
DStore.cpp92 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()
DExprEngineObjC.cpp108 if (const TypedValueRegion *R = in VisitObjCForCollectionStmt()
109 dyn_cast<TypedValueRegion>(MV->getRegion())) { in VisitObjCForCollectionStmt()
DBasicValueFactory.cpp30 const TypedValueRegion *region) { in Profile()
131 const TypedValueRegion *region) { in getLazyCompoundValData()
DBugReporterVisitors.cpp169 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in VisitNode()
199 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in VisitNode()
DSValBuilder.cpp95 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) { in getRegionValueSymbolVal()
169 const TypedValueRegion *region) { in getDerivedRegionValueSymbolVal()
DSymbolManager.cpp168 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
204 const TypedValueRegion *R) { in getDerivedSymbol()
DProgramState.cpp220 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in getSValAsScalarOrLoc()
DExprEngine.cpp1642 if (const TypedValueRegion *TR = in evalLoad()
1643 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) { in evalLoad()
DMemRegion.cpp423 void TypedValueRegion::anchor() { } in anchor()
/external/clang/lib/StaticAnalyzer/Checkers/
DOSAtomicChecker.cpp119 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()
DBoolAssignmentChecker.cpp58 const TypedValueRegion *TR = in checkBind()
59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion()); in checkBind()
DBasicObjCFoundationChecks.cpp293 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts()); in checkPreStmt()
DCallAndMessageChecker.cpp140 bool Find(const TypedValueRegion *R) { in PreVisitProcessArg()
DCStringChecker.cpp843 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR); in SummarizeRegion()