| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| BasicValueFactory.h | 45 const TypedValueRegion *region;
47 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r)
51 const TypedValueRegion *getRegion() const { return region; }
55 const TypedValueRegion *region);
172 const TypedValueRegion *region);
|
| MemRegion.h | 457 /// TypedValueRegion - An abstract class representing regions having a typed value.
458 class TypedValueRegion : public TypedRegion {
462 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {}
669 class StringRegion : public TypedValueRegion {
675 : TypedValueRegion(sreg, StringRegionKind), Str(str) {}
705 class ObjCStringRegion : public TypedValueRegion {
711 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) {}
741 class CompoundLiteralRegion : public TypedValueRegion {
747 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) {}
770 class DeclRegion : public TypedValueRegion {
[all...] |
| SymbolManager.h | 40 class TypedValueRegion;
126 const TypedValueRegion *R;
129 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
132 const TypedValueRegion* getRegion() const { return R; }
134 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
203 const TypedValueRegion *R;
206 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
210 const TypedValueRegion *getRegion() const { return R; }
217 const TypedValueRegion *r) {
494 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R)
[all...] |
| SValBuilder.h | 166 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
190 SymbolRef parentSymbol, const TypedValueRegion *region);
206 const TypedValueRegion *region) {
|
| Store.h | 242 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BoolAssignmentChecker.cpp | 58 const TypedValueRegion *TR =
59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion());
|
| OSAtomicChecker.cpp | 119 if (const TypedValueRegion *TR =
120 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) {
170 if (const TypedValueRegion *R =
171 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) {
|
| BasicObjCFoundationChecks.cpp | 293 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts());
|
| CallAndMessageChecker.cpp | 140 bool Find(const TypedValueRegion *R) {
|
| CStringChecker.cpp | 843 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 92 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
164 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(baseR)) {
217 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R,
|
| 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);
857 const TypedValueRegion* ArrayR = dyn_cast<TypedValueRegion>(R)
[all...] |
| BasicValueFactory.cpp | 30 const TypedValueRegion *region) {
131 const TypedValueRegion *region) {
|
| ExprEngineObjC.cpp | 108 if (const TypedValueRegion *R =
109 dyn_cast<TypedValueRegion>(MV->getRegion())) {
|
| SValBuilder.cpp | 95 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) {
169 const TypedValueRegion *region) {
|
| BugReporterVisitors.cpp | 169 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
199 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
|
| SymbolManager.cpp | 168 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
204 const TypedValueRegion *R) {
|
| ProgramState.cpp | 220 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
|
| MemRegion.cpp | 423 void TypedValueRegion::anchor() { }
[all...] |
| ExprEngine.cpp | [all...] |
