diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-08-17 23:29:06 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-08-17 23:29:06 +0000 |
commit | 4af473cf713522ed9511506685fb569a7f8b1764 (patch) | |
tree | 506586a41e036b357f11a9e857794b33b15d20f1 /lib/Checker/RegionStore.cpp | |
parent | 1b72fa7222abb1a53e063f0805c759993d445471 (diff) |
Rewrite code fragment to avoide ICE in MSVC. Fixes PR 7875. Patch by Dimitry Andric!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111327 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/RegionStore.cpp')
-rw-r--r-- | lib/Checker/RegionStore.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/Checker/RegionStore.cpp b/lib/Checker/RegionStore.cpp index 9b8579cdeb..d6422ab338 100644 --- a/lib/Checker/RegionStore.cpp +++ b/lib/Checker/RegionStore.cpp @@ -1538,8 +1538,10 @@ Store RegionStoreManager::BindStruct(Store store, const TypedRegion* R, // We may get non-CompoundVal accidentally due to imprecise cast logic or // that we are binding symbolic struct value. Kill the field values, and if // the value is symbolic go and bind it as a "default" binding. - if (V.isUnknown() || !isa<nonloc::CompoundVal>(V)) - return KillStruct(store, R, isa<nonloc::SymbolVal>(V) ? V : UnknownVal()); + if (V.isUnknown() || !isa<nonloc::CompoundVal>(V)) { + SVal SV = isa<nonloc::SymbolVal>(V) ? V : UnknownVal(); + return KillStruct(store, R, SV); + } nonloc::CompoundVal& CV = cast<nonloc::CompoundVal>(V); nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); |