public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
@ 2005-06-28 7:02 laurent at guerby dot net
2005-06-28 10:43 ` [Bug ada/22212] " laurent at guerby dot net
` (13 more replies)
0 siblings, 14 replies; 15+ messages in thread
From: laurent at guerby dot net @ 2005-06-28 7:02 UTC (permalink / raw)
To: gcc-bugs
As of LAST_UPDATED Tue Jun 28 05:54:07 UTC 2005 on x86_64-linux:
...
../../xgcc -B../../ -c -g -O2 -fPIC -W -Wall -gnatpg a-strfix.adb -o
a-strfix.o
raised STORAGE_ERROR : stack overflow (or erroneous memory access)
make[7]: *** [a-strfix.o] Error 1
make[7]: Leaving directory
`/home/guerby/work/gcc/build/build-20050628T075528/gcc/ada/rts'
make[6]: *** [gnatlib] Error 2
(gdb) r -quiet -dumpbase a-strfix.adb -O2 -W -Wall -fPIC -g -gnatpg -mtune=k8
-gnatO a-strfix.o a-strfix.adb -o /tmp/ccm3U70P.s
Starting program: /home/guerby/work/gcc/build/build-20050628T075528/gcc/gnat1
-quiet -dumpbase a-strfix.adb -O2 -W -Wall -fPIC -g -gnatpg -mtune=k8 -gnatO
a-strfix.o a-strfix.adb -o /tmp/ccm3U70P.s
Program received signal SIGSEGV, Segmentation fault.
is_gimple_variable (t=0x0) at
/home/guerby/work/gcc/version-head/gcc/tree-gimple.c:239
239 return (TREE_CODE (t) == VAR_DECL
(gdb) bt
#0 is_gimple_variable (t=0x0) at
/home/guerby/work/gcc/version-head/gcc/tree-gimple.c:239
#1 0x000000000064b4b9 in is_gimple_val (t=0x0) at
/home/guerby/work/gcc/version-head/gcc/tree-gimple.c:357
#2 0x0000000000652b80 in force_gimple_operand (expr=0x0, stmts=0x7fbffff378,
simple=0 '\0', var=0x2a960ee340)
at /home/guerby/work/gcc/version-head/gcc/gimplify.c:4843
#3 0x00000000006d947d in rewrite_use_nonlinear_expr (data=0x7fbffff5c0,
use=0x1361e10, cand=Variable "cand" is not available.
)
at /home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:5359
#4 0x00000000006dccce in rewrite_uses (data=0x7fbffff5c0) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:5711
#5 0x00000000006de53e in tree_ssa_iv_optimize_loop (data=0x7fbffff5c0,
loop=Variable "loop" is not available.
) at /home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:5935
#6 0x00000000006debb5 in tree_ssa_iv_optimize (loops=0x1294970) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-loop-ivopts.c:5972
#7 0x0000000000649e56 in execute_one_pass (pass=0xcb0320) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:714
#8 0x0000000000649fac in execute_pass_list (pass=0xcb0320) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:751
#9 0x0000000000649fbe in execute_pass_list (pass=0xcaff60) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:752
#10 0x0000000000649fbe in execute_pass_list (pass=0xcaa1a0) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:752
#11 0x000000000064a235 in tree_rest_of_compilation (fndecl=0x2a95a7a410) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:914
#12 0x00000000009939c6 in cgraph_expand_function (node=0x2a95df6c30) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1033
#13 0x0000000000995966 in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1099
#14 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
#15 0x0000000000922633 in toplev_main (argc=Variable "argc" is not available.
) at /home/guerby/work/gcc/version-head/gcc/toplev.c:966
#16 0x0000002a957963c1 in __libc_start_main () from /lib/libc.so.6
#17 0x0000000000402d2a in _start () at ../sysdeps/x86_64/elf/start.S:96
Works at -O0, fails at -O1 and -O2.
It also works on x86-linux.
--
Summary: SEGV in is_gimple_variable during loop-ivopts while
building Ada RTS
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code, build
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: laurent at guerby dot net
CC: gcc-bugs at gcc dot gnu dot org,rakdver at atrey dot
karlin dot mff dot cuni dot cz
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug ada/22212] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
@ 2005-06-28 10:43 ` laurent at guerby dot net
2005-06-28 12:43 ` [Bug ada/22212] [4.1 Regression] " belyshev at depni dot sinp dot msu dot ru
` (12 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: laurent at guerby dot net @ 2005-06-28 10:43 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug ada/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
2005-06-28 10:43 ` [Bug ada/22212] " laurent at guerby dot net
@ 2005-06-28 12:43 ` belyshev at depni dot sinp dot msu dot ru
2005-06-28 21:12 ` [Bug tree-optimization/22212] " belyshev at depni dot sinp dot msu dot ru
` (11 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: belyshev at depni dot sinp dot msu dot ru @ 2005-06-28 12:43 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From belyshev at depni dot sinp dot msu dot ru 2005-06-28 12:43 -------
-- Testcase for segfault in is_gimple_variable, compile with -O1:
procedure Bug is
package B is
function "*" (L : Natural; R : String) return String;
end B;
package body B is
function "*" (L : Natural; R : String) return String
is
Result : String (1 .. L * R'Length);
P : Integer := 1;
begin
for J in 1 .. L loop
Result (P .. P + R'Length - 1) := R;
P := P + R'Length;
end loop;
return Result;
end "*";
end B;
use B;
S : String := "";
begin
S := 1 * "";
end Bug;
--
Confirmed on x86_64.
--
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |critical
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-06-28 12:43:30
date| |
Summary|SEGV in is_gimple_variable |[4.1 Regression] SEGV in
|during loop-ivopts while |is_gimple_variable during
|building Ada RTS |loop-ivopts while building
| |Ada RTS
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
2005-06-28 10:43 ` [Bug ada/22212] " laurent at guerby dot net
2005-06-28 12:43 ` [Bug ada/22212] [4.1 Regression] " belyshev at depni dot sinp dot msu dot ru
@ 2005-06-28 21:12 ` belyshev at depni dot sinp dot msu dot ru
2005-06-28 22:09 ` pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: belyshev at depni dot sinp dot msu dot ru @ 2005-06-28 21:12 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From belyshev at depni dot sinp dot msu dot ru 2005-06-28 21:12 -------
segfault in is_gimple_variable caused by this patch:
2005-06-07 Sebastian Pop <pop@cri.ensmp.fr>
PR 18403 and meta PR 21861.
* Makefile.in (tree-chrec.o): Depend on CFGLOOP_H and TREE_FLOW_H.
...
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (2 preceding siblings ...)
2005-06-28 21:12 ` [Bug tree-optimization/22212] " belyshev at depni dot sinp dot msu dot ru
@ 2005-06-28 22:09 ` pinskia at gcc dot gnu dot org
2005-06-29 6:13 ` laurent at guerby dot net
` (9 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-28 22:09 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-28 22:08 -------
Hmm, I cannot reproduce this with a cross compiler but that might be because I am using powerpc-
darwin7.9.0's ada includes.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (3 preceding siblings ...)
2005-06-28 22:09 ` pinskia at gcc dot gnu dot org
@ 2005-06-29 6:13 ` laurent at guerby dot net
2005-06-29 21:47 ` pinskia at gcc dot gnu dot org
` (8 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: laurent at guerby dot net @ 2005-06-29 6:13 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-06-29 06:13 -------
Disabling wrapv also enables a successfull Ada bootstrap.
Index: misc.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/ada/misc.c,v
retrieving revision 1.104
diff -u -r1.104 misc.c
--- misc.c 28 Jun 2005 19:51:26 -0000 1.104
+++ misc.c 29 Jun 2005 06:12:29 -0000
@@ -339,6 +339,8 @@
/* Uninitialized really means uninitialized in Ada. */
flag_zero_initialized_in_bss = 0;
+ flag_wrapv = 1;
+
return CL_Ada;
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (4 preceding siblings ...)
2005-06-29 6:13 ` laurent at guerby dot net
@ 2005-06-29 21:47 ` pinskia at gcc dot gnu dot org
2005-06-30 12:31 ` rakdver at gcc dot gnu dot org
` (7 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-29 21:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-29 21:47 -------
Some discussion about this problem:
http://gcc.gnu.org/ml/gcc/2005-06/msg01276.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (5 preceding siblings ...)
2005-06-29 21:47 ` pinskia at gcc dot gnu dot org
@ 2005-06-30 12:31 ` rakdver at gcc dot gnu dot org
2005-06-30 18:09 ` giovannibajo at libero dot it
` (6 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: rakdver at gcc dot gnu dot org @ 2005-06-30 12:31 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From rakdver at gcc dot gnu dot org 2005-06-30 12:30 -------
The is_gimple_variable segfault seems as a duplicate of PR 21963 to me; could
someone please check whether the patch for that PR fixes the problem (I cannot
access x86_64 machine just now)?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (6 preceding siblings ...)
2005-06-30 12:31 ` rakdver at gcc dot gnu dot org
@ 2005-06-30 18:09 ` giovannibajo at libero dot it
2005-06-30 21:04 ` laurent at guerby dot net
` (5 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: giovannibajo at libero dot it @ 2005-06-30 18:09 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2005-06-30 18:09 -------
It does.
--
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn| |21963
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (7 preceding siblings ...)
2005-06-30 18:09 ` giovannibajo at libero dot it
@ 2005-06-30 21:04 ` laurent at guerby dot net
2005-06-30 23:04 ` laurent at guerby dot net
` (4 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: laurent at guerby dot net @ 2005-06-30 21:04 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-06-30 21:04 -------
For the record, after twenty hours of compilation on an Athlon 64 3000+
(x86_64-linux), a build with --enable-checking=all,gcac,fold,rtl detects
something wrong in fold. I'm attaching the .i.
LAST_UPDATED Wed Jun 29 19:44:45 UTC 2005
stage1/xgcc -Bstage1/
-B/home/guerby/work/gcc/install/install-20050629T214650/x86_64-unknown-linux-gnu/bin/
-c -g -O2 -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes -Werror -fno-common -DHAVE_CONFIG_H -I. -Iada
-I/home/guerby/work/gcc/version-head/gcc
-I/home/guerby/work/gcc/version-head/gcc/ada
-I/home/guerby/work/gcc/version-head/gcc/../include
-I/home/guerby/work/gcc/version-head/gcc/../libcpp/include
/home/guerby/work/gcc/version-head/gcc/ada/adaint.c -o ada/adaint.o
/home/guerby/work/gcc/version-head/gcc/ada/adaint.c: In function
'__gnat_locate_exec':
/home/guerby/work/gcc/version-head/gcc/ada/adaint.c:2031: internal compiler
error: fold check: original tree changed by fold
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
make[2]: *** [ada/adaint.o] Error 1
make[2]: Leaving directory `/home/guerby/work/gcc/build/build-20050629T214650/gcc'
make[1]: *** [stage2_build] Error 2
make[1]: Leaving directory `/home/guerby/work/gcc/build/build-20050629T214650/gcc'
make: *** [bootstrap] Error 2
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |kenner at vlsi1 dot ultra
| |dot nyu dot edu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (8 preceding siblings ...)
2005-06-30 21:04 ` laurent at guerby dot net
@ 2005-06-30 23:04 ` laurent at guerby dot net
2005-07-02 13:08 ` laurent at guerby dot net
` (3 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: laurent at guerby dot net @ 2005-06-30 23:04 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-06-30 23:04 -------
Hmm, unless I made a mistake the strfix problem is indeed fixed, but
gcc/ada/vms_conv.adb one is still there.
LAST_UPDATED Thu Jun 30 21:09:27 UTC 2005 + Zdenek patch.
../../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-20050630T235156/gcc/ada/tools'
The backtrace is the same ( tree_ssa_iv_optimize )
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (9 preceding siblings ...)
2005-06-30 23:04 ` laurent at guerby dot net
@ 2005-07-02 13:08 ` laurent at guerby dot net
2005-07-02 16:04 ` kenner at vlsi1 dot ultra dot nyu dot edu
` (2 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: laurent at guerby dot net @ 2005-07-02 13:08 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-07-02 13:08 -------
cxa4006 and cxa4017 fail the same way (STORAGE_ERROR) as vms_conv.adb.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (10 preceding siblings ...)
2005-07-02 13:08 ` laurent at guerby dot net
@ 2005-07-02 16:04 ` kenner at vlsi1 dot ultra dot nyu dot edu
2005-07-06 8:16 ` rakdver at gcc dot gnu dot org
2005-07-06 9:13 ` belyshev at depni dot sinp dot msu dot ru
13 siblings, 0 replies; 15+ messages in thread
From: kenner at vlsi1 dot ultra dot nyu dot edu @ 2005-07-02 16:04 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From kenner at vlsi1 dot ultra dot nyu dot edu 2005-07-02 16:04 -------
Subject: Re: [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
cxa4006 and cxa4017 fail the same way (STORAGE_ERROR) as vms_conv.adb.
See the email I sent to the GCC list about cxa4006.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (11 preceding siblings ...)
2005-07-02 16:04 ` kenner at vlsi1 dot ultra dot nyu dot edu
@ 2005-07-06 8:16 ` rakdver at gcc dot gnu dot org
2005-07-06 9:13 ` belyshev at depni dot sinp dot msu dot ru
13 siblings, 0 replies; 15+ messages in thread
From: rakdver at gcc dot gnu dot org @ 2005-07-06 8:16 UTC (permalink / raw)
To: gcc-bugs
--
Bug 22212 depends on bug 21963, which changed state.
Bug 21963 Summary: [4.1 Regression] ICE (seg fault) with -m64 (in IV-OPTS)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21963
What |Old Value |New Value
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/22212] [4.1 Regression] SEGV in is_gimple_variable during loop-ivopts while building Ada RTS
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
` (12 preceding siblings ...)
2005-07-06 8:16 ` rakdver at gcc dot gnu dot org
@ 2005-07-06 9:13 ` belyshev at depni dot sinp dot msu dot ru
13 siblings, 0 replies; 15+ messages in thread
From: belyshev at depni dot sinp dot msu dot ru @ 2005-07-06 9:13 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From belyshev at depni dot sinp dot msu dot ru 2005-07-06 09:13 -------
Fixed by patch for PR 21963, thanks Zdenek!
*** This bug has been marked as a duplicate of 21963 ***
--
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn|21963, 22236 |
Status|NEW |RESOLVED
Resolution| |DUPLICATE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
^ permalink raw reply [flat|nested] 15+ messages in thread
end of thread, other threads:[~2005-07-06 9:13 UTC | newest]
Thread overview: 15+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-06-28 7:02 [Bug ada/22212] New: SEGV in is_gimple_variable during loop-ivopts while building Ada RTS laurent at guerby dot net
2005-06-28 10:43 ` [Bug ada/22212] " laurent at guerby dot net
2005-06-28 12:43 ` [Bug ada/22212] [4.1 Regression] " belyshev at depni dot sinp dot msu dot ru
2005-06-28 21:12 ` [Bug tree-optimization/22212] " belyshev at depni dot sinp dot msu dot ru
2005-06-28 22:09 ` pinskia at gcc dot gnu dot org
2005-06-29 6:13 ` laurent at guerby dot net
2005-06-29 21:47 ` pinskia at gcc dot gnu dot org
2005-06-30 12:31 ` rakdver at gcc dot gnu dot org
2005-06-30 18:09 ` giovannibajo at libero dot it
2005-06-30 21:04 ` laurent at guerby dot net
2005-06-30 23:04 ` laurent at guerby dot net
2005-07-02 13:08 ` laurent at guerby dot net
2005-07-02 16:04 ` kenner at vlsi1 dot ultra dot nyu dot edu
2005-07-06 8:16 ` rakdver at gcc dot gnu dot org
2005-07-06 9:13 ` belyshev at depni dot sinp dot msu dot ru
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).