[PATCH] D97183: [analyzer] Add NoteTag for smart-ptr get()

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In some cases `BugReport.isInteresting(InnerPointerVal.getAsSymbol())` would yield us exactly what we want. But if there's no symbol we have no choice but to interact with the `trackExpressionValue` facility and this may turn out to be pretty challenging.

We could, for instance, teach it to mark //exploded nodes// as interesting when it changes tracking mode. That'd be a completely new form of interestingness for us to track. Or maybe pairs (exploded node, expression) so that to be more specific. Then we could query it from our note tag.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D97183