commit | 5dd3af78a12d049d4591505570fcde79c2cc7bb0 | [log] [tgz] |
---|---|---|
author | Jordy Rose <jediknil@belkadan.com> | Tue Jul 06 04:12:24 2010 +0000 |
committer | Jordy Rose <jediknil@belkadan.com> | Tue Jul 06 04:12:24 2010 +0000 |
tree | 46c24dbc01b07626cce00b69363b21c04c2c2efe | |
parent | b829d72294b029ef1aff54052cae9890400071be [diff] |
Remove the now-unused GRState::isEqual method. Instead of asking if an expression equals a certain value, use SValuator::EvalEQ and GRState::Assume to see if it can, must, or must not equal that value. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107638 91177308-0d34-0410-b5e6-96231b3b80d8