diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-19 16:51:45 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-19 16:51:45 +0000 |
| commit | caa3724b1d525a888982f94a6ae2b527eb3bca7d (patch) | |
| tree | fad69505b5fcf075b6ddabee24e00cb93428420e /lib/Analysis/GRState.cpp | |
| parent | c7089f1be946f3ca6e59596f0e0f92d96136e4c8 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54993 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRState.cpp')
| -rw-r--r-- | lib/Analysis/GRState.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index cd81c57f90..e4022a2663 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -211,9 +211,10 @@ const GRState* GRStateManager::AddEQ(const GRState* St, SymbolID sym, const GRState* GRStateManager::getInitialState() { - GRState StateImpl(EnvMgr.getInitialEnvironment(), StMgr->getInitialStore(), + GRState StateImpl(EnvMgr.getInitialEnvironment(), + StMgr->getInitialStore(*this), GDMFactory.GetEmptyMap()); - + return getPersistentState(StateImpl); } |