This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Bug tree-optimization/16705] ICE in verify_flow_insensitive_alias_info
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: dnovillo at redhat dot com
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Wed, 28 Jul 04 01:20:26 EDT
- Subject: Re: [Bug tree-optimization/16705] ICE in verify_flow_insensitive_alias_info
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.