diff options
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); } |