commit | ce0767f8b18f3b856268af0ae814e156261ce68f | [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 | 1a531946dfd2e1ee44c4ffe1903dad972ce1e72c [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