[Bug c/119041] New: Please diagnose on _Noreturn calls within [[gnu::const]], [[gnu::pure]], [[reproducible]], [[unsequenced]]

[alx at kernel dot org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119041

            Bug ID: 119041
           Summary: Please diagnose on _Noreturn calls within
                    [[gnu::const]], [[gnu::pure]], [[reproducible]],
                    [[unsequenced]]
           Product: gcc
           Version: 14.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: alx at kernel dot org
  Target Milestone: ---

Please diagnose on _Noreturn calls within the body of a function with any of
these attributes: [[gnu::const]], [[gnu::pure]], [[reproducible]],
[[unsequenced]].

This is UB, and could be easily diagnosed. I'd put it in -Wextra for the
moment, to be careful.

Clang bug: <https://github.com/llvm/llvm-project/issues/129022>