[clang] Diagnose noreturn calls from a const or pure function (PR #206134)

Nikita Popov via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 30 05:58:03 PDT 2026


nikic wrote:

Yes, passing a null pointer to that would be UB. But you don't know whether null will be passed or not, so it can be well-defined. (Esp. if you consider an argument-independent assert. Like an assert that all switch cases were covered, which is actually unreachable.)

https://github.com/llvm/llvm-project/pull/206134


More information about the cfe-commits mailing list