diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-04-12 00:44:31 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-04-12 00:44:31 +0000 |
| commit | 4f939da02d068aa7448d85922b997edc598cd36c (patch) | |
| tree | 8a5195b4d6d4d94832a9c8c45c8b021db851ef2a /clang/lib/StaticAnalyzer | |
| parent | 471257c132b3b149419125b9a3a4319d672fd7cc (diff) | |
| download | bcm5719-llvm-4f939da02d068aa7448d85922b997edc598cd36c.tar.gz bcm5719-llvm-4f939da02d068aa7448d85922b997edc598cd36c.zip | |
RegionStoreManager::invalidateRegions: treat classes the same as structs.
llvm-svn: 129333
Diffstat (limited to 'clang/lib/StaticAnalyzer')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/RegionStore.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/RegionStore.cpp b/clang/lib/StaticAnalyzer/Core/RegionStore.cpp index f14b8ad94ff..4522f976e64 100644 --- a/clang/lib/StaticAnalyzer/Core/RegionStore.cpp +++ b/clang/lib/StaticAnalyzer/Core/RegionStore.cpp @@ -688,11 +688,11 @@ void invalidateRegionsWorker::VisitBaseRegion(const MemRegion *baseR) { QualType T = TR->getValueType(); // Invalidate the binding. - if (T->isStructureType()) { + if (T->isStructureOrClassType()) { // Invalidate the region by setting its default value to // conjured symbol. The type of the symbol is irrelavant. - DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, - Count); + DefinedOrUnknownSVal V = + svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count); B = RM.addBinding(B, baseR, BindingKey::Default, V); return; } |

