| commit | 43fdb7f3b46059d4af11a702af35bc8e5d0f678a | [log] [tgz] |
|---|---|---|
| author | Jordy Rose <jediknil@belkadan.com> | Sun Jun 20 04:56:29 2010 +0000 |
| committer | Jordy Rose <jediknil@belkadan.com> | Sun Jun 20 04:56:29 2010 +0000 |
| tree | d908b02c61715e937e303a039a42950c7cbbaf84 | |
| parent | c580f2e189810ae655c889536644470575bc551a [diff] |
Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@106402 91177308-0d34-0410-b5e6-96231b3b80d8