[Bug middle-end/80926] [7/8 Regression] longjmp not treated as noreturn during CFG build

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic,
                   |                            |missed-optimization
           Priority|P3                          |P2
                 CC|                            |ebotcazou at gcc dot gnu.org
   Target Milestone|---                         |7.2

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Caused by r239092 (in itself a good change).

We do have __builtin_longjmp/setjmp but those are not 1:1 longjmp/setjmp so
adding a standard C builtin for longjmp and setjmp is difficult...  Eric, is
that correct?