Path: csiph.com!news.mixmin.net!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups: comp.lang.c
Subject: Re: New features added into C23 standard
Date: Mon, 15 Aug 2022 22:52:55 -0700
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <867d38vio8.fsf@linuxsc.com>
References: <3093c98e-d014-47e4-bcf3-3f108d7c2c03n@googlegroups.com> <a500a595-29ee-47b2-a5c0-e725c76b5a39n@googlegroups.com> <fb562391-0bbe-488d-a89f-edc676e703b7n@googlegroups.com> <87mtcwzwt9.fsf@nosuchdomain.example.com> <a21a0f85-d913-4a8c-a20b-17606a125bc9n@googlegroups.com> <88293f89-5f19-4fb3-844b-20e3a063b65cn@googlegroups.com> <tc5h2p$83f9$1@dont-email.me> <GStFK.601320$J0r9.21383@fx11.iad> <87a68ox2fd.fsf@nosuchdomain.example.com> <ZQEFK.590355$ssF.118034@fx14.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader01.eternal-september.org; posting-host="327aa8f3763fd82bcbb1f30d2282ba71"; logging-data="4192965"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+neS0bB4rVGZEbQfYHSkVCXO983tlr1yk="
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Cancel-Lock: sha1:SgjZByhbLyE+XMJA16ozqX3PKT8= sha1:W4G+ReEhULLy4FDXlY+WVFRV+E0=
Xref: csiph.com comp.lang.c:167034

Richard Damon <Richard@Damon-Family.org> writes:

> A file scope decleration like
>
> int bomb = *(int*)0;
>
> might allow a compile time rejection for undefined behavior.

It's a constraint violation.  The program may be rejected
on that basis alone.