[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