| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Regions.def | 68 ABSTRACT_REGION(TypedValueRegion, TypedRegion)
69 REGION(CompoundLiteralRegion, TypedValueRegion)
70 REGION(CXXBaseObjectRegion, TypedValueRegion)
71 REGION(CXXTempObjectRegion, TypedValueRegion)
72 REGION(CXXThisRegion, TypedValueRegion)
73 ABSTRACT_REGION(DeclRegion, TypedValueRegion)
79 REGION(ElementRegion, TypedValueRegion)
80 REGION(ObjCStringRegion, TypedValueRegion)
81 REGION(StringRegion, TypedValueRegion)
|
| D | SymbolManager.h | 38 class TypedValueRegion; variable
43 const TypedValueRegion *R;
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue()
49 const TypedValueRegion* getRegion() const { return R; } in getRegion()
51 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) { in Profile()
119 const TypedValueRegion *R;
122 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
126 const TypedValueRegion *getRegion() const { return R; } in getRegion()
134 const TypedValueRegion *r) { in Profile()
413 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
[all …]
|
| D | MemRegion.h | 494 class TypedValueRegion : public TypedRegion {
498 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {} in TypedValueRegion() function
737 class StringRegion : public TypedValueRegion {
743 : TypedValueRegion(sreg, StringRegionKind), Str(str) {} in StringRegion()
773 class ObjCStringRegion : public TypedValueRegion {
779 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {} in ObjCStringRegion()
809 class CompoundLiteralRegion : public TypedValueRegion {
815 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {} in CompoundLiteralRegion()
838 class DeclRegion : public TypedValueRegion {
843 : TypedValueRegion(sReg, k), D(d) {} in DeclRegion()
[all …]
|
| D | BasicValueFactory.h | 47 const TypedValueRegion *region;
49 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
53 const TypedValueRegion *getRegion() const { return region; } in getRegion()
57 const TypedValueRegion *region);
173 const TypedValueRegion *region);
|
| D | SValBuilder.h | 169 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
199 SymbolRef parentSymbol, const TypedValueRegion *region);
222 const TypedValueRegion *region) { in makeLazyCompoundVal()
|
| D | SVals.h | 38 class TypedValueRegion; variable
448 const TypedValueRegion *getRegion() const;
|
| D | Store.h | 242 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Store.cpp | 94 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in castRegion()
166 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(baseR)) { in castRegion()
220 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR); in regionMatchesCXXRecordType()
288 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR)) in getCXXRecordType()
359 Failed = isa<TypedValueRegion>(MR); in evalDynamicCast()
367 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R, in CastRetrievedVal()
|
| D | RegionStore.cpp | 233 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) in getDefaultBinding()
441 const TypedValueRegion *R,
447 const TypedValueRegion* R, SVal V);
451 const TypedValueRegion* R, SVal V);
454 const TypedValueRegion* R,
508 SVal getBindingForLazySymbol(const TypedValueRegion *R);
511 const TypedValueRegion *R,
522 SVal getBindingForStruct(RegionBindingsConstRef B, const TypedValueRegion *R);
523 SVal getBindingForArray(RegionBindingsConstRef B, const TypedValueRegion *R);
524 NonLoc createLazyBinding(RegionBindingsConstRef B, const TypedValueRegion *R);
[all …]
|
| 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 | 179 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
429 void TypedValueRegion::anchor() { } in anchor()
1026 const TypedValueRegion *Super, in isValidBaseClass()
1049 if (isa<TypedValueRegion>(Super)) { in getCXXBaseObjectRegion()
1050 assert(isValidBaseClass(RD, dyn_cast<TypedValueRegion>(Super), IsVirtual)); in getCXXBaseObjectRegion()
1300 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(R)) { in getAsOffset()
|
| D | SymbolManager.cpp | 151 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) { in getRegionValueSymbol()
187 const TypedValueRegion *R) { in getDerivedSymbol()
|
| D | SValBuilder.cpp | 95 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) { in getRegionValueSymbolVal()
199 const TypedValueRegion *region) { in getDerivedRegionValueSymbolVal()
|
| D | BugReporterVisitors.cpp | 588 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in VisitNode()
655 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in VisitNode()
|
| D | SVals.cpp | 154 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion()
|
| D | ProgramState.cpp | 242 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in getSValAsScalarOrLoc()
|
| D | ExprEngine.cpp | 225 const TypedValueRegion *TR = nullptr; in createTemporaryRegionIfNeeded()
2325 if (const TypedValueRegion *TR = in evalLoad()
2326 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) { in evalLoad()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BoolAssignmentChecker.cpp | 58 const TypedValueRegion *TR = in checkBind()
59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion()); in checkBind()
|
| D | DereferenceChecker.cpp | 249 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR); in checkBind()
|
| D | NullabilityChecker.cpp | 1082 const TypedValueRegion *TVR = in checkBind()
1083 dyn_cast_or_null<TypedValueRegion>(L.getAsRegion()); in checkBind()
|
| D | BasicObjCFoundationChecks.cpp | 472 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts()); in checkPreStmt()
|
| D | CallAndMessageChecker.cpp | 236 bool Find(const TypedValueRegion *R) { in PreVisitProcessArg()
|
| D | CheckObjCDealloc.cpp | 520 const TypedValueRegion *TVR = in diagnoseMissingReleases()
|
| D | CStringChecker.cpp | 952 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR); in SummarizeRegion()
|