Re: Compile time checking of standards conformance

On 23/05/2024 16:18, olcott wrote:

On 5/23/2024 1:23 AM, Paavo Helde wrote:

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.
>
>

 I would think that syntactically non-conforming code could be
flagged by the parser.
 

Syntax errors and many types of constraint violations will be flagged by the parser.  But there are endless possibilities of non-conforming behaviour that cannot be seen at compile time.