diff options
Diffstat (limited to 'lib/Analysis/ValueState.cpp')
| -rw-r--r-- | lib/Analysis/ValueState.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Analysis/ValueState.cpp b/lib/Analysis/ValueState.cpp index ffc4c28f2c..55e5b4a78d 100644 --- a/lib/Analysis/ValueState.cpp +++ b/lib/Analysis/ValueState.cpp @@ -180,6 +180,7 @@ const ValueState* ValueStateManager::getInitialState() { ValueState StateImpl(EnvMgr.getInitialEnvironment(), StMgr->getInitialStore(), + GDMFactory.GetEmptyMap(), CNEFactory.GetEmptyMap(), CEFactory.GetEmptyMap()); |