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

[Artem Dergachev via cfe-commits]

NoQ added a comment.

In https://reviews.llvm.org/D23300#509665, @xazax.hun wrote:

> 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
>   } 
>


Not yet, and this part of things is still broken - perhaps more patches would be needed to address all the issues: F2256900: report-79b22c.html <https://reviews.llvm.org/F2256900> F2256901: report-a71e40.html <https://reviews.llvm.org/F2256901> F2256903: report-245144.html <https://reviews.llvm.org/F2256903> F2256902: report-cf6e19.html <https://reviews.llvm.org/F2256902>

The hardest part would be, of course, dealing with `UnknownVal`s and `UndefinedVal`s in conditions, because they are completely ignored by these visitors - after all, no constraints are being added.

So we're far from consistency, just some improvements.


https://reviews.llvm.org/D23300