Re: Compile time checking of standards conformance

From	Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups	comp.lang.c, comp.lang.c++
Subject	Re: Compile time checking of standards conformance
Date	2024-05-23 15:32 -0700
Organization	None to speak of
Message-ID	<87a5kg40t5.fsf@nosuchdomain.example.com> (permalink)
References	<v2m01g$1dcof$1@dont-email.me> <v2mndf$1kk52$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

Paavo Helde <eesnimi@osa.pri.ee> writes:
> On 23.05.2024 02:44, olcott wrote:
>> Does enables conformance mean: Flags non conformance?
>
> No. Enabling conformance means enabling support for the conforming features.
>
> Flagging non-conformance is not possible in general as there are more
> creative fools out there than there are compiler writers.
>
> There are zillions of ways to write non-conforming code, for example
> an endless loop is not conforming in C++. The compiler is not obliged
> to diagnose it, but it is allowed for the compiler to silently
> optimize the non-conforming code away, assuming it is never called. At
> least that's what g++ folks think.

A conforming C compiler must produce a diagnostic for any violation of
any syntax rule or constraint.  Many C constructs (for example signed
integer overflow) have *undefined behavior*, which need not be
diagnosed.

C++ has similar rules.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */

Back to comp.lang.c | Previous | Next — Previous in thread | Find similar

Thread

Compile time checking of standards conformance olcott <polcott333@gmail.com> - 2024-05-22 18:44 -0500
  Re: Compile time checking of standards conformance James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-23 14:13 -0400
    Re: Compile time checking of standards conformance Paavo Helde <eesnimi@osa.pri.ee> - 2024-05-24 17:39 +0300
      Re: Compile time checking of standards conformance James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-24 11:59 -0400
  Re: Compile time checking of standards conformance olcott <polcott333@gmail.com> - 2024-05-23 10:14 -0500
    Re: Compile time checking of standards conformance David Brown <david.brown@hesbynett.no> - 2024-05-23 22:13 +0200
  Re: Compile time checking of standards conformance David Brown <david.brown@hesbynett.no> - 2024-05-23 16:43 +0200
  Re: Compile time checking of standards conformance Paavo Helde <eesnimi@osa.pri.ee> - 2024-05-23 09:23 +0300
    Re: Compile time checking of standards conformance olcott <polcott333@gmail.com> - 2024-05-23 09:18 -0500
    Re: Compile time checking of standards conformance olcott <polcott333@gmail.com> - 2024-05-23 08:05 -0500
    Re: Compile time checking of standards conformance Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-23 15:32 -0700

csiph-web