public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/26348]  New: Ada gnatlib a-textio.o ICE because of too much RAM, tree-vrp?
@ 2006-02-18  7:43 laurent at guerby dot net
  2006-02-18  8:37 ` [Bug ada/26348] ICE compiling a-textio.adb at -O1 -ftree-vrp ebotcazou at gcc dot gnu dot org
                   ` (16 more replies)
  0 siblings, 17 replies; 18+ messages in thread
From: laurent at guerby dot net @ 2006-02-18  7:43 UTC (permalink / raw)
  To: gcc-bugs

I'm seeing bootstrap failing on x86 and amd64-linux:
WORK Thu Feb 16 21:06:28 UTC 2006 (revision 111151)
FAIL Fri Feb 17 12:16:43 UTC 2006 (revision 111180)
FAIL Fri Feb 17 20:56:47 UTC 2006 (revision 111208)

...
/home/guerby/work/gcc/build/build-head-20060217T133449/./gcc/xgcc
-B/home/guerby/work/gcc/build/build-head-20060217T133449/./gcc/
-B/home/guerby/work/gcc/install/install-head-20060217T133449/x86_64-unknown-linux-gnu/bin/
-B/home/guerby/work/gcc/install/install-head-20060217T133449/x86_64-unknown-linux-gnu/lib/
-isystem
/home/guerby/work/gcc/install/install-head-20060217T133449/x86_64-unknown-linux-gnu/include
-isystem
/home/guerby/work/gcc/install/install-head-20060217T133449/x86_64-unknown-linux-gnu/sys-include
-c -g -O2 -fPIC      -W -Wall -gnatpg  a-textio.adb -o a-textio.o
xgcc: Internal error: Killed (program gnat1)
Please submit a full bug report.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
make[7]: *** [a-textio.o] Error 1
make[7]: Leaving directory
`/home/guerby/work/gcc/build/build-head-20060217T133449/gcc/ada/rts'
make[6]: *** [gnatlib] Error 2
make[6]: Leaving directory
`/home/guerby/work/gcc/build/build-head-20060217T133449/gcc/ada'
make[5]: *** [gnatlib-shared-default] Error 2
make[5]: Leaving directory
`/home/guerby/work/gcc/build/build-head-20060217T133449/gcc/ada'
make[4]: *** [gnatlib-shared-dual] Error 2
make[4]: Leaving directory
`/home/guerby/work/gcc/build/build-head-20060217T133449/gcc/ada'
make[3]: *** [gnatlib-shared] Error 2
make[3]: Leaving directory
`/home/guerby/work/gcc/build/build-head-20060217T133449/gcc/ada'
make[2]: *** [gnatlib-shared] Error 2
make[2]: Leaving directory
`/home/guerby/work/gcc/build/build-head-20060217T133449/x86_64-unknown-linux-gnu/libada'
make[1]: *** [all-target-libada] Error 2
make[1]: Leaving directory
`/home/guerby/work/gcc/build/build-head-20060217T133449'
make: *** [bootstrap] Error 2

gnat1 goes up in RAM until a SEGV. At 700MB here is a backtrace

0x085d480c in build_int_cst_wide (type=0x4016c284, low=1, hi=0) at
/home/guerby/work/gcc/version-head/gcc/tree.c:861
861           t = TREE_VEC_ELT (TYPE_CACHED_VALUES (type), ix);
(gdb) bt
#0  0x085d480c in build_int_cst_wide (type=0x4016c284, low=1, hi=0) at
/home/guerby/work/gcc/version-head/gcc/tree.c:861
#1  0x085d5140 in build_int_cst (type=0x0, low=1) at
/home/guerby/work/gcc/version-head/gcc/tree.c:695
#2  0x08664915 in instantiate_parameters_1 (loop=0x8eed060, chrec=<value
optimized out>, flags=<value optimized out>, cache=0xb78b058, size_expr=0)
    at tree-chrec.h:108
#3  0x0866585e in instantiate_parameters (loop=0x8eed060, chrec=0x410f1cf8) at
/home/guerby/work/gcc/version-head/gcc/tree-scalar-evolution.c:2209
#4  0x08604abe in vrp_visit_assignment (stmt=0x40f119b4, output_p=0xbfffec88)
at /home/guerby/work/gcc/version-head/gcc/tree-vrp.c:1970
#5  0x0834b996 in simulate_stmt (stmt=0x40f119b4) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-propagate.c:306
#6  0x0834bba7 in process_ssa_edge_worklist (worklist=0x8ce6e98) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-propagate.c:380
#7  0x0834bff2 in ssa_propagate (visit_stmt=0x86050a0 <vrp_visit_stmt>,
visit_phi=0x86009f0 <vrp_visit_phi_node>)
    at /home/guerby/work/gcc/version-head/gcc/tree-ssa-propagate.c:683
#8  0x086067e0 in execute_vrp () at
/home/guerby/work/gcc/version-head/gcc/tree-vrp.c:4569
#9  0x085f6369 in execute_one_pass (pass=0x8d8c710) at
/home/guerby/work/gcc/version-head/gcc/passes.c:854
#10 0x085f64ff in execute_pass_list (pass=0x8d8c710) at
/home/guerby/work/gcc/version-head/gcc/passes.c:898
#11 0x085f6512 in execute_pass_list (pass=0x88874e0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:899
#12 0x082f5272 in tree_rest_of_compilation (fndecl=0x4020c600) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:412
#13 0x080647e4 in gnat_expand_body (gnu_decl=0x4020c600) at
/home/guerby/work/gcc/version-head/gcc/ada/misc.c:653
#14 0x0864c392 in cgraph_expand_function (node=0x40f09380) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1101
#15 0x0864ecbd in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1166
#16 0x080651ef in gnat_parse_file (set_yydebug=0) at
/home/guerby/work/gcc/version-head/gcc/ada/misc.c:245
#17 0x085c3265 in toplev_main (argc=16, argv=0xbfffef74) at
/home/guerby/work/gcc/version-head/gcc/toplev.c:999
#18 0x082eb57f in main (argc=Cannot access memory at address 0x8
) at /home/guerby/work/gcc/version-head/gcc/main.c:35


At 900MB

fold_binary (code=PLUS_EXPR, type=0x4019e8fc, op0=0x7568fa68, op1=0x4020fdb0)
at /home/guerby/work/gcc/version-head/gcc/fold-const.c:7236
7236      enum tree_code_class kind = TREE_CODE_CLASS (code);
(gdb) bt
#0  fold_binary (code=PLUS_EXPR, type=0x4019e8fc, op0=0x7568fa68,
op1=0x4020fdb0) at /home/guerby/work/gcc/version-head/gcc/fold-const.c:7236
#1  0x08441777 in fold_build2_stat (code=PLUS_EXPR, type=0x4019e8fc,
op0=0x7568fa68, op1=0x4020fdb0)
    at /home/guerby/work/gcc/version-head/gcc/fold-const.c:10781
#2  0x086c0db0 in scev_probably_wraps_p (type=0x4019e8fc, base=0x7568fa44,
step=0x4020fdb0, at_stmt=0x4114c0d8, loop=0x8eed060,
    init_is_max=0xbfffec4b "", unknown_max=0xbfffec4a "") at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-niter.c:1926
#3  0x08604cb5 in vrp_visit_assignment (stmt=0x4114c0d8, output_p=0xbfffec88)
at /home/guerby/work/gcc/version-head/gcc/tree-vrp.c:1984
#4  0x0834b996 in simulate_stmt (stmt=0x4114c0d8) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-propagate.c:306
#5  0x0834bba7 in process_ssa_edge_worklist (worklist=0x8ce6e98) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-propagate.c:380
#6  0x0834bff2 in ssa_propagate (visit_stmt=0x86050a0 <vrp_visit_stmt>,
visit_phi=0x86009f0 <vrp_visit_phi_node>)
    at /home/guerby/work/gcc/version-head/gcc/tree-ssa-propagate.c:683
#7  0x086067e0 in execute_vrp () at
/home/guerby/work/gcc/version-head/gcc/tree-vrp.c:4569
#8  0x085f6369 in execute_one_pass (pass=0x8d8c710) at
/home/guerby/work/gcc/version-head/gcc/passes.c:854
#9  0x085f64ff in execute_pass_list (pass=0x8d8c710) at
/home/guerby/work/gcc/version-head/gcc/passes.c:898
#10 0x085f6512 in execute_pass_list (pass=0x88874e0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:899
#11 0x082f5272 in tree_rest_of_compilation (fndecl=0x4020c600) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:412
#12 0x080647e4 in gnat_expand_body (gnu_decl=0x4020c600) at
/home/guerby/work/gcc/version-head/gcc/ada/misc.c:653
#13 0x0864c392 in cgraph_expand_function (node=0x40f09380) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1101
#14 0x0864ecbd in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1166
#15 0x080651ef in gnat_parse_file (set_yydebug=0) at
/home/guerby/work/gcc/version-head/gcc/ada/misc.c:245
#16 0x085c3265 in toplev_main (argc=16, argv=0xbfffef74) at
/home/guerby/work/gcc/version-head/gcc/toplev.c:999
#17 0x082eb57f in main (argc=Cannot access memory at address 0x0
) at /home/guerby/work/gcc/version-head/gcc/main.c:35

At -O1 the compilation is successfull, at -O1 -ftree-vrp it doesn't.

The only explicit VRP change in the revision range is:

r111175 | law | 2006-02-17 05:15:32 +0100 (Fri, 17 Feb 2006) | 33 lines


        * tree-vrp.c (set_value_range_to_nonnegative): New function.
        (vrp_expr_computes_nonnegative, ssa_name_nonnegative_p): Likewise.
        (ssa_name_nonzero_p): Likewise.
        (get_value_range): Return NULL if VRP is not running.
...


-- 
           Summary: Ada gnatlib a-textio.o ICE because of too much RAM,
                    tree-vrp?
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, build
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26348


^ permalink raw reply	[flat|nested] 18+ messages in thread
end of thread, other threads:[~2006-03-04 18:30 UTC | newest]

Thread overview: 18+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-02-18  7:43 [Bug ada/26348] New: Ada gnatlib a-textio.o ICE because of too much RAM, tree-vrp? laurent at guerby dot net
2006-02-18  8:37 ` [Bug ada/26348] ICE compiling a-textio.adb at -O1 -ftree-vrp ebotcazou at gcc dot gnu dot org
2006-02-18 11:09 ` schwab at suse dot de
2006-02-18 11:15 ` laurent at guerby dot net
2006-02-18 14:47 ` law at redhat dot com
2006-02-18 16:41 ` danglin at gcc dot gnu dot org
2006-02-18 17:02 ` [Bug ada/26348] [4.2 Regression] " pinskia at gcc dot gnu dot org
2006-02-18 21:36 ` law at redhat dot com
2006-02-18 21:50 ` law at redhat dot com
2006-02-19  0:16 ` law at redhat dot com
2006-02-19  0:23 ` laurent at guerby dot net
2006-02-25 17:08 ` pinskia at gcc dot gnu dot org
2006-02-28 16:54 ` law at redhat dot com
2006-02-28 17:29 ` law at redhat dot com
2006-02-28 17:29 ` rguenth at gcc dot gnu dot org
2006-02-28 17:39 ` ebotcazou at gcc dot gnu dot org
2006-02-28 18:47 ` law at redhat dot com
2006-03-04 18:30 ` pinskia at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).