It's required to properly handle attribute(([analyzer_]noreturn)) in checks.
See also https://reviews.llvm.org/D66042
zinovy.nis on Feb 23 2020, 9:14 AM.Authored by
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.