[PATCH] [analyzer] Refactor conditional expression evaluating code
labath at google.com
Mon Aug 19 06:11:19 PDT 2013
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.
CHANGE SINCE LAST DIFF
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 9009 bytes
Desc: not available
More information about the cfe-commits