| commit | caa3724b1d525a888982f94a6ae2b527eb3bca7d | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Aug 19 16:51:45 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Aug 19 16:51:45 2008 +0000 |
| tree | fad69505b5fcf075b6ddabee24e00cb93428420e | |
| 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