[PATCH] D23300: [analyzer] Add "Assuming..." diagnostic pieces for unsupported condition expressions.

[Gábor Horváth via cfe-commits]

xazax.hun added a comment.

In case there is a more complex condition does it only highligh the part that influenced taking the branch?

E.g.:
if (a || b) { // HIghlight only a, if a was true and b was not evaluated
}


https://reviews.llvm.org/D23300