| commit | 199e1a071d8a1fdfb18dabad3c751bdc8b2f4487 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Mar 12 21:06:49 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Mar 12 21:06:49 2008 +0000 |
| tree | fa5fcc65a0aaf588ad3ded25df6ad81086ae0716 | |
| parent | f923a9117a0ec4a529a257f0e53a657323ebfe4a [diff] |
Added generation of symbolic values for the return values of functions that have no summaries (useful for false-path pruning). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48301 91177308-0d34-0410-b5e6-96231b3b80d8