From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22374 invoked by alias); 18 Feb 2006 07:43:32 -0000 Received: (qmail 22365 invoked by uid 48); 18 Feb 2006 07:43:29 -0000 Date: Sat, 18 Feb 2006 07:43:00 -0000 Subject: [Bug ada/26348] New: Ada gnatlib a-textio.o ICE because of too much RAM, tree-vrp? X-Bugzilla-Reason: CC Message-ID: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "laurent at guerby dot net" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2006-02/txt/msg02028.txt.bz2 List-Id: 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 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=, flags=, 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 , visit_phi=0x86009f0 ) 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 , visit_phi=0x86009f0 ) 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