diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-08-12 20:02:48 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-08-12 20:02:48 +0000 |
| commit | 8df44b26329a33658a529997db4e7aaaab9d14db (patch) | |
| tree | 5e3dc38fe56c3e696f3a62f71fd11963f477efca /clang/lib/StaticAnalyzer/Core/SValBuilder.cpp | |
| parent | 30e697ebaf4fc8a9b8cf6abecbc75ef1b9fa0dc0 (diff) | |
| download | bcm5719-llvm-8df44b26329a33658a529997db4e7aaaab9d14db.tar.gz bcm5719-llvm-8df44b26329a33658a529997db4e7aaaab9d14db.zip | |
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't.
Patch by Olaf Krzikalla!
llvm-svn: 137498
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/SValBuilder.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/SValBuilder.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp b/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp index 71f2b4abb9c..5269ebeac29 100644 --- a/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp +++ b/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp @@ -70,7 +70,7 @@ SVal SValBuilder::convertToArrayIndex(SVal val) { } DefinedOrUnknownSVal -SValBuilder::getRegionValueSymbolVal(const TypedRegion* region) { +SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) { QualType T = region->getValueType(); if (!SymbolManager::canSymbolicate(T)) @@ -133,7 +133,7 @@ DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, DefinedOrUnknownSVal SValBuilder::getDerivedRegionValueSymbolVal(SymbolRef parentSymbol, - const TypedRegion *region) { + const TypedValueRegion *region) { QualType T = region->getValueType(); if (!SymbolManager::canSymbolicate(T)) |
