[PATCH] [analyzer] Refactor conditional expression evaluating code

[Jordan Rose]

  I can't shake the feeling that this is a strange thing to do. If you were marking the leaf subexpressions of the binary operator trees live, that would make sense to me—you could then use that to recompute the values instead of the CFG. If you were definitively storing values into each BinaryOperator expression, that would also make sense, but then I'm not sure why you would have to mess with the liveness. Marking BinaryOperators and //only// BinaryOperators live seems to be a weird thing to do.

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