| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 485 class TypedValueRegion : public TypedRegion {
489 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {} in TypedValueRegion() function
713 class StringRegion : public TypedValueRegion {
719 : TypedValueRegion(sreg, StringRegionKind), Str(str) {} in StringRegion()
749 class ObjCStringRegion : public TypedValueRegion {
755 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {} in ObjCStringRegion()
785 class CompoundLiteralRegion : public TypedValueRegion {
791 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {} in CompoundLiteralRegion()
814 class DeclRegion : public TypedValueRegion {
819 : TypedValueRegion(sReg, k), D(d) {} in DeclRegion()
[all …]
|
| D | BasicValueFactory.h | 46 const TypedValueRegion *region;
48 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
52 const TypedValueRegion *getRegion() const { return region; } in getRegion()
56 const TypedValueRegion *region);
172 const TypedValueRegion *region);
|
| D | SymbolManager.h | 40 class TypedValueRegion; variable
128 const TypedValueRegion *R;
131 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue()
134 const TypedValueRegion* getRegion() const { return R; } in getRegion()
136 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) { in Profile()
205 const TypedValueRegion *R;
208 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
212 const TypedValueRegion *getRegion() const { return R; } in getRegion()
219 const TypedValueRegion *r) { in Profile()
496 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
[all …]
|
| D | SValBuilder.h | 164 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
194 SymbolRef parentSymbol, const TypedValueRegion *region);
210 const TypedValueRegion *region) { in makeLazyCompoundVal()
|
| D | Store.h | 243 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RegionStore.cpp | 284 StoreRef BindStruct(Store store, const TypedValueRegion* R, SVal V);
287 StoreRef BindVector(Store store, const TypedValueRegion* R, SVal V);
289 StoreRef BindArray(Store store, const TypedValueRegion* R, SVal V);
336 SVal getBindingForLazySymbol(const TypedValueRegion *R);
338 SVal getBindingForFieldOrElementCommon(Store store, const TypedValueRegion *R,
349 SVal getBindingForStruct(Store store, const TypedValueRegion* R);
351 SVal getBindingForArray(Store store, const TypedValueRegion* R);
357 const TypedValueRegion *R,
739 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR); in VisitBaseRegion()
889 const TypedValueRegion* ArrayR = dyn_cast<TypedValueRegion>(R); in ArrayToPointer()
[all …]
|
| D | Store.cpp | 104 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in castRegion()
176 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(baseR)) { in castRegion()
240 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 | 31 const TypedValueRegion *region) { in Profile()
128 const TypedValueRegion *region) { in getLazyCompoundValData()
|
| D | MemRegion.cpp | 182 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
423 void TypedValueRegion::anchor() { } in anchor()
892 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(superRegion)) { in getCXXBaseObjectRegion()
1104 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(R)) { in getAsOffset()
|
| D | BugReporterVisitors.cpp | 326 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in VisitNode()
359 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in VisitNode()
|
| D | SValBuilder.cpp | 95 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) { in getRegionValueSymbolVal()
178 const TypedValueRegion *region) { in getDerivedRegionValueSymbolVal()
|
| D | SymbolManager.cpp | 171 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
207 const TypedValueRegion *R) { in getDerivedSymbol()
|
| D | ProgramState.cpp | 209 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in getSValAsScalarOrLoc()
|
| D | ExprEngine.cpp | 1636 if (const TypedValueRegion *TR = in evalLoad()
1637 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) { in evalLoad()
|
| /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 | DereferenceChecker.cpp | 228 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR); in checkBind()
|
| D | BasicObjCFoundationChecks.cpp | 314 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts()); in checkPreStmt()
|
| D | CallAndMessageChecker.cpp | 149 bool Find(const TypedValueRegion *R) { in PreVisitProcessArg()
|
| D | CStringChecker.cpp | 841 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR); in SummarizeRegion()
|