[PATCH] D75021: [clang][analyzer] Enable core.builtin even with -no-default-checks

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus added reviewers: NoQ, Szelethus, baloghadamsoftware.
Szelethus requested changes to this revision.
Szelethus added a comment.
This revision now requires changes to proceed.

This doesn't seem to be in line with the current idea behind `core` checkers. Turning them off is strongly disencouraged as they are responsible for essential modeling. If you use `--analyzer-no-default-checks`, i can only imagine that the expected behaviour is to turn them off for good despite the warning.

If we want to create a world where checkers are only responsible for report emission and not modeling (which we are working on!), then we //could// change the behaviour to turn off all **reporting** checkers, but not **default modeling** checkers. This is however pretty much impossible with how intertwined everything is. Yet.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75021