Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the
comments for added test case for details.
llvm-svn: 73189
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 528ee89..000f06e 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -1198,6 +1198,9 @@
if (V.isUnknown())
return KillStruct(St, R);
+ if (isa<nonloc::SymbolVal>(V))
+ return setDefaultValue(St, R, V);
+
nonloc::CompoundVal& CV = cast<nonloc::CompoundVal>(V);
nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end();
RecordDecl::field_iterator FI = RD->field_begin(getContext()),