[PATCH] [Updated, 2, 442 lines] D23300: [analyzer] Add "Assuming..." diagnostic pieces for unsupported condition expressions.
Artem Dergachev via cfe-commits
cfe-commits at lists.llvm.org
Fri Sep 30 02:43:41 PDT 2016
NoQ updated this revision to Diff 73014.
NoQ added a comment.
- Improve the way the new piece for `if (x && y)` looks in Xcode. The "Assuming the condition is true" for `y` is now placed at the beginning of `y` rather than at the beginning of `x`, which removes the weird arrow from `y` back to `x` in Xcode.
- Fix condition is true vs condition is false error with odd number of `!`-operators within the condition (the code above was modifying the `tookTrue` variable before failing).
I'd be adding more fixes on top of this patch - in particular, i've managed to fix other issues with logical operators that were mentioned above.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 143024 bytes
Desc: not available
More information about the cfe-commits