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

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Apr 26 00:01:47 PDT 2021


NoQ added a comment.

In D98726#2714215 <https://reviews.llvm.org/D98726#2714215>, @RedDocMD wrote:

> I think something is wrong about the way we are investigating this or I don't understand the `MallocChecker`.
> The following doesn't yield a bug report! => https://godbolt.org/z/Y57G7zE5j

Uh-oh, we forgot to enable `cplusplus.NewDeleteLeaks` which is a separate checker. https://godbolt.org/z/cfzdTM8vf

In D98726#2714432 <https://reviews.llvm.org/D98726#2714432>, @RedDocMD wrote:

> As you can see here, the bug note is attached in the second case (please refer to my previous comment), but somehow, it doesn't finally show up as a bug.
> Weird.

This means that one of the bug visitors has invoked `PathSensitiveBugReport::markInvalid()` to suppress the report. You can break at this function to find out more.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D98726



More information about the cfe-commits mailing list