[Bug tree-optimization/16705] ICE in verify_flow_insensitive_alias_info

[Laurent GUERBY]

I confirm that I get the same ICE on x86_64-linux
with a clean HEAD checkout.

Laurent

On Wed, 2004-07-28 at 07:20, Richard Kenner wrote:
>     This patches fixes this problem.  Essentially, we should always
>     consider .GLOBAL_VAR as potentially aliased.  This may have been
>     related to the Ada bootstrap problems.  Kenner, could you check?
> 
> It indeed fixed it in that file, but now a similar thing happens
> in another one:
> 
> stage1/xgcc -Bstage1/ -B/usr/local/x86_64-unknown-linux-gnu/bin/ -c -g -O2
> -gnatpg -gnata -I- -I. -Iada -I/gcc/gcc/gcc-head/gcc/ada /gcc/gcc/gcc-head/gcc/a
> da/sprint.adb -o ada/sprint.o
> /gcc/gcc/gcc-head/gcc/ada/sprint.adb: In function `Sprint.Sprint_Node_Actual':
> /gcc/gcc/gcc-head/gcc/ada/sprint.adb:615: error: Addressable variable that is an
>  alias tag but is not in any alias set.
> .GLOBAL_VAR, UID 1581, is an alias tag, is static, call clobbered, default def:
> .GLOBAL_VAR_396
> +===========================GNAT BUG DETECTED==============================+
> | 5.03h (20040725) (x86_64-unknown-linux-gnu) GCC error:                   |
> | verify_flow_insensitive_alias_info failed.
> 
> Peculiar that it would move like that.
>