]> granicus.if.org Git - clang/commit
Remove the now-unused GRState::isEqual method. Instead of asking if an expression...
authorJordy Rose <jediknil@belkadan.com>
Tue, 6 Jul 2010 04:12:24 +0000 (04:12 +0000)
committerJordy Rose <jediknil@belkadan.com>
Tue, 6 Jul 2010 04:12:24 +0000 (04:12 +0000)
commit5dd3af78a12d049d4591505570fcde79c2cc7bb0
tree46c24dbc01b07626cce00b69363b21c04c2c2efe
parentb829d72294b029ef1aff54052cae9890400071be
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
include/clang/Checker/PathSensitive/GRState.h
lib/Checker/GRState.cpp