[PATCH] D53076: [analyzer] ConditionBRVisitor: enhance to write out more information

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Instead of having those as events similar to "Assuming", we could turn the new "Knowing" pieces into floating pop-ups - imagine you hover the mouse over a condition `foo()` and it says "`foo()` is false". That is, instead of `PathDiagnosticsEventPiece`, a new kind of piece can be introduced that is shown in scan-build as a pop-up similar to macro pop-ups. Like this:

F8556875: mock.png <https://reviews.llvm.org/F8556875>

We already have infrastructure for hover pop-up hints in HTML reports - we use it to display macro expansions, so it could be something similar, just of a different color.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D53076/new/

https://reviews.llvm.org/D53076