[Bug ada/22212] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From laurent at guerby dot net  2005-06-28 10:43 -------
Also an ivopt SEGV during gnattools:

../../xgcc -c -I./ -I../rts -I. -I/home/guerby/work/gcc/version-head/gcc/ada
-B../../ -g -O2 -gnatpg -gnata -I-
/home/guerby/work/gcc/version-head/gcc/ada/vms_conv.adb

raised STORAGE_ERROR : stack overflow (or erroneous memory access)
gnatmake: "/home/guerby/work/gcc/version-head/gcc/ada/vms_conv.adb" compilation
error
make[3]: *** [../../gnat] Error 4
make[3]: Leaving directory
`/home/guerby/work/gcc/build/build-20050628T091109/gcc/ada/tools'
make[2]: *** [gnattools-native] Error 2

(gdb) r -I./ -I../rts -I. -I/home/guerby/work/gcc/version-head/gcc/ada -I-
-quiet -dumpbase vms_conv.adb -O2 -g -gnatpg -gnata -mtune=k8
/home/guerby/work/gcc/version-head/gcc/ada/vms_conv.adb -o /tmp/ccQaWUK3.s
Starting program: /home/guerby/work/gcc/build/build-20050628T091109/gcc/gnat1
-I./ -I../rts -I. -I/home/guerby/work/gcc/version-head/gcc/ada -I- -quiet
-dumpbase vms_conv.adb -O2 -g -gnatpg -gnata -mtune=k8
/home/guerby/work/gcc/version-head/gcc/ada/vms_conv.adb -o /tmp/ccQaWUK3.s
Program received signal SIGSEGV, Segmentation fault.
0x00000000007b1e92 in record_block_change (block=0x2a97115620) at
/home/guerby/work/gcc/version-head/gcc/function.c:5463
5463      last_block = VARRAY_TOP_TREE (cfun->ib_boundaries_block);
(gdb) bt
#0  0x00000000007b1e92 in record_block_change (block=0x2a97115620) at
/home/guerby/work/gcc/version-head/gcc/function.c:5463
#1  0x000000000077b281 in expand_expr_real (exp=0x2a973c4d20, target=0x0,
tmode=DImode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6423
#2  0x0000000000772d78 in expand_expr_real_1 (exp=0x2a97709b40,
target=0x2a959bc400, tmode=Variable "tmode" is not available.
) at expr.h:489
#3  0x000000000077b185 in expand_expr_real (exp=0x2a97709b40, target=0x0,
tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#4  0x000000000077ba05 in expand_operands (exp0=0x2a97709b40, exp1=0x2a97425770,
target=0x0, op0=0x7fbfffe488, op1=0x7fbfffe480, modifier=EXPAND_NORMAL)
    at expr.h:489
#5  0x00000000007726e6 in expand_expr_real_1 (exp=0x2a973c4e60,
target=0x2a959bc400, tmode=Variable "tmode" is not available.
) at /home/guerby/work/gcc/version-head/gcc/expr.c:8384
#6  0x000000000077b185 in expand_expr_real (exp=0x2a973c4e60, target=0x0,
tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#7  0x0000000000776aa4 in expand_expr_real_1 (exp=Variable "exp" is not available.
) at expr.h:489
#8  0x000000000077b185 in expand_expr_real (exp=0x2a97709d40, target=0x0,
tmode=DImode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#9  0x000000000077bdf3 in expand_expr_addr_expr_1 (exp=0x2a95bfccb0, target=0x0,
tmode=DImode, modifier=EXPAND_NORMAL) at expr.h:489
#10 0x0000000000773f6a in expand_expr_real_1 (exp=Variable "exp" is not available.
) at /home/guerby/work/gcc/version-head/gcc/expr.c:6318
#11 0x000000000077b185 in expand_expr_real (exp=0x2a97709a80, target=0x0,
tmode=SImode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#12 0x0000000000772d78 in expand_expr_real_1 (exp=0x2a97709a40,
target=0x2a959bc400, tmode=Variable "tmode" is not available.
) at expr.h:489
#13 0x000000000077b185 in expand_expr_real (exp=0x2a97709a40, target=0x0,
tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#14 0x000000000077ba1a in expand_operands (exp0=0x2a97709bc0, exp1=0x2a97709a40,
target=0x0, op0=0x7fbfffec88, op1=0x7fbfffec80, modifier=EXPAND_NORMAL)
    at expr.h:489
#15 0x00000000007726e6 in expand_expr_real_1 (exp=0x2a973c4d70,
target=0x2a959bc400, tmode=Variable "tmode" is not available.
) at /home/guerby/work/gcc/version-head/gcc/expr.c:8384
#16 0x000000000077b185 in expand_expr_real (exp=0x2a973c4d70, target=0x0,
tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#17 0x000000000077ba05 in expand_operands (exp0=0x2a973c4d70, exp1=0x2a97709b80,
target=0x0, op0=0x7fbfffee98, op1=0x7fbfffee90, modifier=EXPAND_NORMAL)
    at expr.h:489
#18 0x00000000007735e9 in expand_expr_real_1 (exp=Variable "exp" is not available.
) at /home/guerby/work/gcc/version-head/gcc/expr.c:7641
#19 0x000000000077b185 in expand_expr_real (exp=0x2a973c4dc0, target=0x0,
tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#20 0x000000000077ba05 in expand_operands (exp0=0x2a973c4dc0, exp1=0x2a9721fa80,
target=0x0, op0=0x7fbffff0a8, op1=0x7fbffff0a0, modifier=EXPAND_NORMAL)
    at expr.h:489
#21 0x00000000007735e9 in expand_expr_real_1 (exp=Variable "exp" is not available.
) at /home/guerby/work/gcc/version-head/gcc/expr.c:7641
#22 0x000000000077b185 in expand_expr_real (exp=0x2a973c4e10, target=0x0,
tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#23 0x0000000000776aa4 in expand_expr_real_1 (exp=Variable "exp" is not available.
) at expr.h:489
#24 0x000000000077b185 in expand_expr_real (exp=0x2a97709c40, target=0x0,
tmode=SImode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at /home/guerby/work/gcc/version-head/gcc/expr.c:6431
#25 0x00000000006d497d in computation_cost (expr=0x2a97709c40) at expr.h:489
#26 0x00000000006d9e7a in get_computation_cost_at (data=0x7fbffff570,
use=0x1476080, cand=0x144c0d0, address_p=0 '\0', depends_on=0x7fbffff450,
    at=0x2a97459d00) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:3847
#27 0x00000000006dabfd in determine_use_iv_cost (data=0x7fbffff570,
use=0x1476080, cand=0x144c0d0)
    at /home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:4167
#28 0x00000000006db243 in determine_use_iv_costs (data=0x7fbffff570) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:4222
#29 0x00000000006de3ca in tree_ssa_iv_optimize_loop (data=0x7fbffff570,
loop=Variable "loop" is not available.
) at /home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:5920
#30 0x00000000006debb5 in tree_ssa_iv_optimize (loops=0x13f5b70) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:5972
#31 0x0000000000649e56 in execute_one_pass (pass=0xcb0320) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:714
#32 0x0000000000649fac in execute_pass_list (pass=0xcb0320) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:751
#33 0x0000000000649fbe in execute_pass_list (pass=0xcaff60) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:752
#34 0x0000000000649fbe in execute_pass_list (pass=0xcaa1a0) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:752
#35 0x000000000064a235 in tree_rest_of_compilation (fndecl=0x2a96b9b1a0) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:914
#36 0x00000000009939c6 in cgraph_expand_function (node=0x2a962df340) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1033
---Type <return> to continue, or q <return> to quit---
#37 0x0000000000995966 in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1099
#38 0x000000000041b44a in gnat_parse_file (set_yydebug=Variable "set_yydebug" is
not available.
) at /home/guerby/work/gcc/version-head/gcc/ada/misc.c:245
#39 0x0000000000922633 in toplev_main (argc=Variable "argc" is not available.
) at /home/guerby/work/gcc/version-head/gcc/toplev.c:966
#40 0x0000002a957963c1 in __libc_start_main () from /lib/libc.so.6
#41 0x0000000000402d2a in _start () at ../sysdeps/x86_64/elf/start.S:96

Works at -O0 too.

-- 


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