--grsimple now reports the number of nodes in the ExplodedGraph for
an analyzed function.
GRExprEngine now records stores to "uninitialized lvalues" (which are sinks in
the ExplodedGraph).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47293 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index 016b070..32be0c6 100644
--- a/Analysis/ValueState.cpp
+++ b/Analysis/ValueState.cpp
@@ -329,7 +329,9 @@
ValueState
ValueStateManager::SetValue(ValueState St, const LValue& LV, const RValue& V) {
- assert (!isa<UnknownVal>(LV));
+ if (isa<UnknownVal>(LV))
+ return St;
+
assert (!isa<UninitializedVal>(LV));
switch (LV.getSubKind()) {