Re: A: a new bug to old plain C

LIU Hao via Gcc-help <[email protected]> Wed, 26 Nov 2025 18:03:59 +0800

Newsgroups	gmane.comp.gcc.help
Message-ID	<[email protected]>

在 2025-11-26 17:57, Александр Поваляев 写道:
> Your mentioned the following text snippet from C standard:
> "
> 6.7.4 Type qualifiers
>      6.7.4.1 General
> 
>      11 For two qualified types to be compatible, both shall have >>>>>>> the
>         identically qualified version <<<<<<< of a compatible type; the order of
>         type qualifiers within a list of specifiers or qualifiers does not affect the
>         specified type.
> ".
> 
> So, the last code sample does a conversion between "non compatible" types without any error or warning.
> 

Those types are not compatible. => This is correct.

But the conversion is allowed by the second quoted paragraph. Although those pointers point to 
incompatible types, the conversion happens as a simple assignment, so qualified compatible types are also 
allowed. (The left operand can't have fewer qualifiers than the right operand.)



-- 
Best regards,
LIU Hao

OpenPGP_signature.asc (application/pgp-signature, 840 B)