| commit | 1a531946dfd2e1ee44c4ffe1903dad972ce1e72c | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Mar 12 21:04:07 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Mar 12 21:04:07 2008 +0000 |
| tree | 695d9fea8a5b28f39ae3ce617d34bdaec3846ba9 | |
| parent | 8c83f0838b7e50e020352d933ac1cc7db86d8552 [diff] |
In GRSimpleVals, added the generation of symbolic values for the return values of function calls. This is useful in pruning paths. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48299 91177308-0d34-0410-b5e6-96231b3b80d8