[PATCH] D98726: [analyzer] Enabling MallocChecker to take up after SmartPtrModelling

Wed Apr 28 02:27:24 PDT 2021

RedDocMD added a comment.

In D98726#2721228 <https://reviews.llvm.org/D98726#2721228>, @NoQ wrote:

>> when the visitor encounters an `ExplodedNode`
>
> Weird. `finalizeVisitor()` accepts not any node but the error node. Your screenshot suggests that the error node is not in the standard library but in user code. Might it be that there are multiple error nodes and you're looking at the wrong one? As usual, you can set conditional breakpoints by node IDs.

I had set a breakpoint on the function `finalizeVisitor()`, unconditionally. And it stops exactly once, on the node I had sent the screenshot of. That said, I am going to repeat the experiment, removing all use of `std::cout` (and `iostream`), and report back.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D98726