-fstrict-aliasing fixes 5/6: make type system independent of flag_strict_aliasing
Jan Hubicka
hubicka@ucw.cz
Mon Dec 7 18:54:00 GMT 2015
> > 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;
More information about the Gcc-patches
mailing list