| commit | feb01f6962d393da70185cb7dbcf5f7d021c1097 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Feb 06 17:32:17 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Feb 06 17:32:17 2008 +0000 |
| tree | a69b1fbbc69a816ff7f0381f7f933bc034abd837 | |
| parent | 87a98759d683d9ed23e09744207a4428c4ed5ace [diff] |
Added assumption logic for symbolic non-lvalues when used in conditions such as "if(x)". On the true branch we know the value is != 0, and on the false branch we know it is 0. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46814 91177308-0d34-0410-b5e6-96231b3b80d8