https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116989
sandra at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sandra at gcc dot gnu.org --- Comment #2 from sandra at gcc dot gnu.org --- I think this is blocked on PR111280? I know what "undefined behavior" is, but the proposed "and is reached" wording has me scratching my head. Unless you mean that GCC will never diagnose an error or ICE if it encounters a call with a zero argument, but that if you execute the code the target might interpret it as a halt and catch fire instruction.