]> granicus.if.org Git - clang/commit
Look at the preceding CFGBlock for the expression to load from in ExprEngine::VisitGu...
authorTed Kremenek <kremenek@apple.com>
Thu, 26 Jul 2012 22:23:41 +0000 (22:23 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 26 Jul 2012 22:23:41 +0000 (22:23 +0000)
commit6da60499eae46caf9f92f7ba35c607043dc3f7fa
treec6b2c108dcae73481e723afd54651f968a13f2da
parent7c99aa385178c630e29f671299cdd9c104f1c885
Look at the preceding CFGBlock for the expression to load from in ExprEngine::VisitGuardedExpr
instead of walking to the preceding PostStmt node.  There are cases where the last evaluated
expression does not appear in the ExplodedGraph.

Fixes PR 13466.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@160819 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngineC.cpp
test/Analysis/misc-ps.m