This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: -fstrict-aliasing fixes 5/6: make type system independent of flag_strict_aliasing


> > Bootstrapped/regtested x86_64-linux and also lto-bootstraped. Looks OK?
> > 
> > 	* alias.c (alias_set_subset_of, alias_sets_conflict_p,
> > 	objects_must_conflict_p): Short circuit for !flag_strict_aliasing
> > 	(get_alias_set): Remove flag_strict_aliasing check.
> > 	(new_alias_set): Likewise.
> 
> Not clear whether it's this patch specifically or another one in the series, 
> but the compiler now hangs on simple Ada code it used to compile instantly.
> 
> A couple of testcases is attached.  It looks like the compiler is now stuck in 
> get_alias_set endlessly pushing references onto a vector.
uhm, sorry. I will take a look.

Honza
> 
> -- 
> Eric Botcazou

> package Access1 is
> 
>    type R;
>    type S is access R;
>    type R is new S;
> 
> end Access1;

> package Access2 is
> 
>     type Priv;
>     type Inc is access Priv;
>     type Priv is access Inc;
>     C : constant Priv := new Inc;
> 
> end Access2;


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]