| commit | 4a2d6b7291f04a7b75487f36a627ead58d10ad28 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Jan 29 17:27:31 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Jan 29 17:27:31 2008 +0000 |
| tree | 58c5f598ce9709841d7a06a115292ea17ce09468 | |
| parent | 52774ad4dcf54d85813a93001c3b866842f792cf [diff] |
Added "SymbolManager", which manages the set of symbolic values used for analyzing a function. The initial state for GRConstants now assigns symbolic values to parameters. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46517 91177308-0d34-0410-b5e6-96231b3b80d8