Disallow redefinition of variably modified typedefs

Jakub Jelinek jakub@redhat.com
Sat Mar 19 12:27:00 GMT 2011


On Sat, Mar 19, 2011 at 01:20:41PM +0100, Richard Guenther wrote:
> On Sat, Mar 19, 2011 at 12:29 AM, Joseph S. Myers
> <joseph@codesourcery.com> wrote:
> > This week's London WG14 meeting decided that typedef redefinition
> > should not be allowed in the case of variably modified types.  This
> > patch implements this, giving an error for such redefinitions.
> >
> > Bootstrapped with no regressions on x86_64-unknown-linux-gnu.  Applied
> > to mainline.  Any comments from other RMs about whether this should go
> > in 4.6 as well, to avoid 4.6.0 being more lenient in this area than
> > both 4.5 and 4.7?  This is much the same issue as for anonymous
> > structs and unions, but for a much more obscure case.
> >
> > (These two patches cover the only two cases of C1X features that were
> > fully implemented for 4.6 according to the pre-London draft, and then
> > changed in London.  The post-London document will be going to
> > enquiry-stage ITTF/JTC1 ballot so if that passes there should be no
> > more technical changes before publication.)
> 
> I think it should go into 4.6.0 as well.

Seconded.

	Jakub



More information about the Gcc-patches mailing list