[PATCH] D25092: [analyzer] Add "Assuming..." diagnostic pieces for short-circuit logical operators.
Artem Dergachev via cfe-commits
cfe-commits at lists.llvm.org
Fri Sep 30 06:27:30 PDT 2016
NoQ created this revision.
NoQ added reviewers: zaks.anna, dcoughlin, xazax.hun, a.sidorin.
NoQ added a subscriber: cfe-commits.
Fix clang path event diagnostics around operators `&&` and `||`. Now there's a separate event for both sides of the operator.
Control flow pieces are unaffected - they're still broken, a bit more broken for operator `||`.
This fix should go on top of https://reviews.llvm.org/D23300.
A few html examples:
F2456635: before-1.html <https://reviews.llvm.org/F2456635> F2456636: before-2.html <https://reviews.llvm.org/F2456636> F2456637: before-3.html <https://reviews.llvm.org/F2456637>
F2456632: after-1.html <https://reviews.llvm.org/F2456632> F2456633: after-2.html <https://reviews.llvm.org/F2456633> F2456634: after-3.html <https://reviews.llvm.org/F2456634>
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 25101 bytes
Desc: not available
More information about the cfe-commits