[PATCH] [analyzer] Refactor conditional expression evaluating code

[Pavel Labath]

  I am avoid the usage of ProgramState::assume by having the ExprEngine::processBranch store the truth value as a simple integer. To make this pass, I had had to cast the value to the correct type, because otherwise the code in EvaluateLogicalExpression would abort when it got a nonloc::ConcreteInt bound to an expression of pointer type.

Hi jordan_rose,

http://llvm-reviews.chandlerc.com/D1340

CHANGE SINCE LAST DIFF
  http://llvm-reviews.chandlerc.com/D1340?vs=3519&id=3566#toc

Files:
  lib/Analysis/LiveVariables.cpp
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  lib/StaticAnalyzer/Core/ExprEngineC.cpp
  test/Analysis/logical-ops.c
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1340.4.patch
Type: text/x-patch
Size: 9009 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130819/8494d368/attachment.bin>