This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Bug tree-optimization/16705] ICE inverify_flow_insensitive_alias_info
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 28 Jul 2004 10:47:29 -0400
- Subject: Re: [Bug tree-optimization/16705] ICE inverify_flow_insensitive_alias_info
- Organization: Red Hat Canada
- References: <10407281440.AA02008@vlsi1.ultra.nyu.edu>
On Wed, 2004-07-28 at 10:40, Richard Kenner wrote:
> Ironically, that patch went on to cause an ICE in a non-ada file. I'll
> commit this version of the patch if I get through a bootstrap cycle.
>
> I saw that too. I'm rerunning with your latst.
>
OK. I got as far as building stage3. It fails with:
stage2/xgcc -Bstage2/ -B/home/dnovillo/gcc.ada/native/i686-pc-linux-gnu/bin/ -c -g -O2 -gnatpg -gnata -I- -I. -Iada -I/home/dnovillo/gcc.ada/src/gcc/ada /home/dnovillo/gcc.ada/src/gcc/ada/ada.ads -o ada/ada.o
+===========================GNAT BUG DETECTED==============================+
| 3.5.0 20040728 (experimental) (i686-pc-linux-gnu) Storage_Error stack overflow (or erroneous memory access)|
| Error detected at :1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1:1 [:1
[ ... ]
And goes on printing garbage until I stop it. But this is not related
to the verifier failure, so I'll commit the patch after doing a default
bootstrap.
Diego.