[PATCH] D80905: [analyzer] Introduce weak dependencies to express *preferred* checker callback evaluation order

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 2 04:58:37 PDT 2020


Szelethus added a comment.

In D80905#2068320 <https://reviews.llvm.org/D80905#2068320>, @NoQ wrote:

> +Nithin because it may be relevant to the smart pointer checker if inter-checker communication turns out to be necessary (eg., with the move checker).


If checkers rely on one another, weak dependencies aren't the answer, but rather the guarantee strong dependencies grant. Weak dependencies could be useful however if reports from the checker would be hidden by, say, `NullDereferenceChecker`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80905





More information about the cfe-commits mailing list