diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-02-05 18:51:06 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-02-05 18:51:06 +0000 |
| commit | 174aea40779dd0c8dc3fd9bbe2e95f92853a9967 (patch) | |
| tree | da17325775882ec76c6047402c407b7b38b50e87 /Analysis/ValueState.cpp | |
| parent | 6f886bd34b6da6e4a92246e573067f2fac048137 (diff) | |
Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46758 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Analysis/ValueState.cpp')
| -rw-r--r-- | Analysis/ValueState.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp index 2166a8699f..9bd02a29bd 100644 --- a/Analysis/ValueState.cpp +++ b/Analysis/ValueState.cpp @@ -162,7 +162,8 @@ ValueStateManager::StateTy ValueStateManager::getInitialState() { // Create a state with empty variable bindings. - ValueStateImpl StateImpl(VBFactory.GetEmptyMap()); + ValueStateImpl StateImpl(VBFactory.GetEmptyMap(), + CNEFactory.GetEmptyMap()); return getPersistentState(StateImpl); } |