[Bug middle-end/67857] noreturn + volatile results in wrong code

[pinskia at gcc dot gnu.org]

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I think you are invoking undefined behavior with overflow on signed integers.