| commit | 3d1125b27e8006385a830f5b3748b7b44d227b4c | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Aug 24 07:42:09 2012 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Aug 24 07:42:09 2012 +0000 |
| tree | 6606420ad0ddbd9cea40556bc359104311a4e6c6 | |
| parent | 8268fe7c4bdfa341975a687a8a5e236c2c5b88a4 [diff] |
Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch. Fixes <rdar://problem/11005770>. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162545 91177308-0d34-0410-b5e6-96231b3b80d8