]> granicus.if.org Git - clang/commit
Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same state...
authorTed Kremenek <kremenek@apple.com>
Wed, 25 Feb 2009 23:32:10 +0000 (23:32 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 25 Feb 2009 23:32:10 +0000 (23:32 +0000)
commitb293902c5cfa18365ffb0e00763849c9808a2ad1
treede0aa01bea67893c38e280de2ede738bc9f3a221
parent3579073233f33b272cb85b7550a962acb7e512f5
Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same statement.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65486 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRExprEngine.h
lib/Analysis/GRExprEngine.cpp