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).