commit 1cc95f6cd35ea94a483a2d5beec2313f43f861bc
author Ted Kremenek <kremenek@apple.com> Tue Feb 05 18:51:06 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Tue Feb 05 18:51:06 2008 +0000
tree 2b7e1e042f25675da3871dbfc358129a2e41b90f
parent 571e9b409e333a4e90731d3e422e24a84407a2b4

Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager).

llvm-svn: 46758

clang/Analysis/ValueState.cpp

diff --git a/clang/Analysis/ValueState.cpp b/clang/Analysis/ValueState.cpp
index 2166a86..9bd02a2 100644
--- a/clang/Analysis/ValueState.cpp
+++ b/clang/Analysis/ValueState.cpp
@@ -162,7 +162,8 @@
 ValueStateManager::getInitialState() {
 
   // Create a state with empty variable bindings.
-  ValueStateImpl StateImpl(VBFactory.GetEmptyMap());
+  ValueStateImpl StateImpl(VBFactory.GetEmptyMap(),
+                           CNEFactory.GetEmptyMap());
   
   return getPersistentState(StateImpl);
 }