Patch by Zhongxing Xu!
This patch extends BasicStoreManager::getInitialStore() to include code that symbolicates input variables.
It also removes redundant handling of ImplicitParamDecl, since it is a subclass of VarDecl.
llvm-svn: 54993
diff --git a/clang/lib/Analysis/GRState.cpp b/clang/lib/Analysis/GRState.cpp
index cd81c57..e4022a2 100644
--- a/clang/lib/Analysis/GRState.cpp
+++ b/clang/lib/Analysis/GRState.cpp
@@ -211,9 +211,10 @@
const GRState* GRStateManager::getInitialState() {
- GRState StateImpl(EnvMgr.getInitialEnvironment(), StMgr->getInitialStore(),
+ GRState StateImpl(EnvMgr.getInitialEnvironment(),
+ StMgr->getInitialStore(*this),
GDMFactory.GetEmptyMap());
-
+
return getPersistentState(StateImpl);
}