On Sun, 16 Jun 2024, Martin Uecker wrote:

> 
> 
> I am trying to understand what check_qualified_type
> does exactly. The direct comparison of TYPE_NAMES seems incorrect
> for C and its use is c_update_type_canonical then causes
> PR114930 and PR115502.  In the later function I think
> it is not really needed and I guess one could simply remove
> it, but I wonder if it works incorrectly in other cases 
> too?

TYPE_NAMES is compared because IIRC typedefs are recorded as variants
and 'const T' isn't the same as 'const int' with typedef int T.

Richard.