[PATCH] D77866: [analyzer][CallAndMessage] Add checker options for each bug category

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 2 12:38:00 PDT 2020


NoQ added a comment.

> While this sounds really good for basic use cases I think it quickly becomes unmanageable for power users.

It's strictly better than the current situation because nothing prevents us from keeping the existing checker names as a subset of tags (i.e., #core/#core.CallAndMessage or checker:core/checker:core.CallAndMessage). We don't even need to break backwards compatibility.

> I am not sure whether using the enable/disable order is user-friendly enough.

I guess it's either the order or allowing users to write boolean formulas :|

Also if they're so smart why don't they introduce their own categories so that to avoid writing complicated formulas? (checkmate atheists!) (at least that's what i expect IDE developers to do on a regular basis; complicated formulas don't need to be autogenerated from high-level ordinary-user-facing checkboxes).

> I'd love to see a more detailed RFC about the topic if someone has the time/up to it.

Yup, this would absolutely require a discussion.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D77866





More information about the cfe-commits mailing list