| commit | cb507025d4a8fad0c9cef29d874b0334502139bd | [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 | 19707a92042255126499a148a54b2ff4dff9697c | |
| parent | 51017b5432de9d588af76c02b2a66e3c0e7efdea [diff] |
Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified assumption logic for lval::DeclVal. llvm-svn: 47466