Re: [V5] [C PATCH 1/4] c23: tag compatibility rules for struct and unions

2023-12-19 Thread Joseph Myers
On Sun, 17 Dec 2023, Martin Uecker wrote: > Here is the revised series. The first three patches only > have changes in the tests as well as the return value > changes.   The fourth patch was now also revised, > with changes and tests to make sure that the composite > type works correctly for bit-

[V5] [C PATCH 1/4] c23: tag compatibility rules for struct and unions

2023-12-17 Thread Martin Uecker
Here is the revised series. The first three patches only have changes in the tests as well as the return value changes.   The fourth patch was now also revised, with changes and tests to make sure that the composite type works correctly for bit-fields, anonymous structs/unions, alignment, packed

Re: [V4] [C PATCH 1/4] c23: tag compatibility rules for struct and unions

2023-12-14 Thread Joseph Myers
On Mon, 27 Nov 2023, Martin Uecker wrote: > Note that there is an additional change in parser_xref_tag > to address the issue regarding completeness in redefinition > which affects also structs / unions. The test c23-tag-6.c > was changed accordingly. > > > c23: tag compatibility rules for stru

[V4] [C PATCH 1/4] c23: tag compatibility rules for struct and unions

2023-11-27 Thread Martin Uecker
Note that there is an additional change in parser_xref_tag to address the issue regarding completeness in redefinition which affects also structs / unions. The test c23-tag-6.c was changed accordingly. c23: tag compatibility rules for struct and unions Implement redeclaration and compatibilit

Re: [PATCH 1/4] c23: tag compatibility rules for struct and unions

2023-11-23 Thread Joseph Myers
On Thu, 16 Nov 2023, Martin Uecker wrote: > * c-decl.cc (previous_tag): New function. > (get_parm_info): Turn off warning for C2X. C23 now, not C2X. > (comptypes_internal): Activate comparison of tagged > types (convert_for_assignment): Ingore qualifiers. This still has

[PATCH 1/4] c23: tag compatibility rules for struct and unions

2023-11-16 Thread Martin Uecker
Implement redeclaration and compatibility rules for structures and unions in C23. gcc/c/: * c-decl.cc (previous_tag): New function. (get_parm_info): Turn off warning for C2X. (start_struct): Allow redefinitons. (finish_struct): Diagnose conflicts. * c-tre