| commit | dc3936b0557ce7377905b387d3c69bc8fa484b9c | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Feb 22 00:54:56 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Feb 22 00:54:56 2008 +0000 |
| tree | 32ff950a5ebc97f6f2bf2f37103bedbab6d2b14a | |
| parent | f7ca6968d541d020c3a51430b16c7b090b24befe [diff] |
Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified assumption logic for lval::DeclVal. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47466 91177308-0d34-0410-b5e6-96231b3b80d8