> > 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;