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 | 67102b281e82014414db2c18b64e5e783e316b44 (patch) | |
| tree | 85685eb0ba53e964abd96da88efd8286b9ed31c4 /llvm | |
| parent | d58c8e759fb482f209aac211888e8068f9675476 (diff) | |
| download | bcm5719-llvm-67102b281e82014414db2c18b64e5e783e316b44.tar.gz bcm5719-llvm-67102b281e82014414db2c18b64e5e783e316b44.zip | |
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
Diffstat (limited to 'llvm')
0 files changed, 0 insertions, 0 deletions
