[PATCH] D122285: [analyzer] Add path note tags to standard library function summaries.

Balázs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 23 01:24:02 PDT 2022


steakhal added a comment.

> The notes are prunable, i.e. they won't bring-in entire stack frames worth of notes just because they're there, but they will be always visible regardless of whether the value is of interest to the bug report. I think this is debatable, the arguably better solution is to make them non-prunable but conditional to the value being tracked back to the call, which would probably need a better tracking infrastructure.

I was thinking of passing a lambda and doing the rest there. We could have lambda factories to make it less cumbersome to define - and also reuse code.

IMO this is a nice increment.


Repository:
  rC Clang

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

https://reviews.llvm.org/D122285



More information about the cfe-commits mailing list