This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: -fstrict-aliasing fixes 5/6: make type system independent of flag_strict_aliasing
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: Jan Hubicka <hubicka at ucw dot cz>, gcc-patches at gcc dot gnu dot org, rguenther at suse dot de
- Date: Mon, 7 Dec 2015 19:54:08 +0100
- Subject: Re: -fstrict-aliasing fixes 5/6: make type system independent of flag_strict_aliasing
- Authentication-results: sourceware.org; auth=none
- References: <20151202080716 dot GV5527 at kam dot mff dot cuni dot cz> <4833565 dot b9m1IQmy3c at polaris>
> > 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;