[PATCH] D25092: [analyzer] Add "Assuming..." diagnostic pieces for short-circuit logical operators.

[Artem Dergachev via cfe-commits]

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>


https://reviews.llvm.org/D25092

Files:
  lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
  test/Analysis/conditional-path-notes.c
  test/Analysis/edges-new.mm

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25092.73041.patch
Type: text/x-patch
Size: 25101 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20160930/1bd2a547/attachment-0001.bin>