commit | a205061727b430556e06c7046b8533098df1ed6e | [log] [tgz] |
---|---|---|
author | Jordy Rose <jediknil@belkadan.com> | Thu Aug 12 04:05:07 2010 +0000 |
committer | Jordy Rose <jediknil@belkadan.com> | Thu Aug 12 04:05:07 2010 +0000 |
tree | 30ec569a4223bcd59b17c8b5000e56cfdc39dc1b | |
parent | 8eb2b0141d81d7d1026fad2d1a631f40eb3747a6 [diff] |
Actually use reduced set of checkers in EvalAssume. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110904 91177308-0d34-0410-b5e6-96231b3b80d8