When analyzing a function, eagerly create symbolic values for all
globals/parameters at the beginning of the analysis.
llvm-svn: 47664
diff --git a/clang/Analysis/ValueState.cpp b/clang/Analysis/ValueState.cpp
index cdd616f..b90e265 100644
--- a/clang/Analysis/ValueState.cpp
+++ b/clang/Analysis/ValueState.cpp
@@ -437,10 +437,14 @@
}
}
+void ValueStateManager::BindVar(ValueStateImpl& StImpl, VarDecl* D, RVal V) {
+ StImpl.VarBindings = VBFactory.Add(StImpl.VarBindings, D, V);
+}
+
ValueState ValueStateManager::BindVar(ValueState St, VarDecl* D, RVal V) {
// Create a new state with the old binding removed.
- ValueStateImpl NewSt = *St;
+ ValueStateImpl NewSt = *St;
NewSt.VarBindings = VBFactory.Add(NewSt.VarBindings, D, V);
// Get the persistent copy.