[Bug middle-end/36125] New: FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[Bug middle-end/36125] New: FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[danglin at gcc dot gnu dot org]

Executing on host: /test/gnu/gcc/objdir/./gcc/g++ -shared-libgcc
-B/test/gnu/gcc
/objdir/./gcc -nostdinc++
-L/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libstdc++
-v3/src -L/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libstdc++-v3/src/.libs
-B/o
pt/gnu/gcc/gcc-4.4.0/hppa2.0w-hp-hpux11.11/bin/
-B/opt/gnu/gcc/gcc-4.4.0/hppa2.0
w-hp-hpux11.11/lib/ -isystem
/opt/gnu/gcc/gcc-4.4.0/hppa2.0w-hp-hpux11.11/includ
e -isystem /opt/gnu/gcc/gcc-4.4.0/hppa2.0w-hp-hpux11.11/sys-include -g -O2
-D_GL
IBCXX_ASSERT -fmessage-length=0 -g -O2 -g -O2   -DLOCALEDIR="." -nostdinc++
-I/t
est/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libstdc++-v3/include/hppa2.0w-hp-hpux11
.11 -I/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libstdc++-v3/include
-I/test/gn
u/gcc/gcc/libstdc++-v3/libsupc++
-I/test/gnu/gcc/gcc/libstdc++-v3/include/backwa
rd -I/test/gnu/gcc/gcc/libstdc++-v3/testsuite/util
/test/gnu/gcc/gcc/libstdc++-v
3/testsuite/26_numerics/complex/13450.cc    -include bits/stdc++.h
./libtestc++.
a  -lm   -o ./13450.exe    (timeout = 600)
/test/gnu/gcc/gcc/libstdc++-v3/testsuite/26_numerics/complex/13450.cc: In
functi
on 'void test01_do(T, T) [with T = long double]':
/test/gnu/gcc/gcc/libstdc++-v3/testsuite/26_numerics/complex/13450.cc:71:  
inst
antiated from here
/test/gnu/gcc/gcc/libstdc++-v3/testsuite/26_numerics/complex/13450.cc:28:
intern
al compiler error: in verify_gimple_expr, at tree-cfg.c:3962


-- 
           Summary: FAIL: 26_numerics/complex/13450.cc: ICE in
                    verify_gimple_expr, at tree-cfg.c:3962
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
 GCC build triplet: hppa2.0w-hp-hpux11.11
  GCC host triplet: hppa2.0w-hp-hpux11.11
GCC target triplet: hppa2.0w-hp-hpux11.11


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

[Bug middle-end/36125] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[danglin at gcc dot gnu dot org]

------- Comment #1 from danglin at gcc dot gnu dot org  2008-05-04 17:15 -------
27_io/basic_istream/extractors_arithmetic/char/9555-ia.cc and
27_io/basic_istream/extractors_arithmetic/wchar_t/9555-ia.cc
also fail with the same error.


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[danglin at gcc dot gnu dot org]

------- Comment #2 from danglin at gcc dot gnu dot org  2008-05-04 18:03 -------
Breakpoint 1, verify_gimple_expr (expr=0x7ae94318)
    at ../../gcc/gcc/tree-cfg.c:3962
3962          gcc_unreachable ();
(gdb) bt
#0  verify_gimple_expr (expr=0x7ae94318) at ../../gcc/gcc/tree-cfg.c:3962
#1  0x003cf16c in verify_gimple_2 (stmts=0x20) at ../../gcc/gcc/tree-cfg.c:4041
#2  0x003cf47c in verify_gimple_1 (stmts=0x833800)
    at ../../gcc/gcc/tree-cfg.c:4139
#3  0x00346df4 in gimplify_body (body_p=0x7ae6d138, fndecl=0x7ae90fc8, 
    do_parms=60 '<') at ../../gcc/gcc/gimplify.c:6536
#4  0x0034731c in gimplify_function_tree (fndecl=0x7ae6d0e0)
    at ../../gcc/gcc/gimplify.c:6576
#5  0x001f5fc0 in c_genericize (fndecl=0x7ae6d0e0)
    at ../../gcc/gcc/c-gimplify.c:105
#6  0x001ae814 in cp_genericize (fndecl=0x7ae6d0e0)
    at ../../gcc/gcc/cp/cp-gimplify.c:774
#7  0x00060ec0 in finish_function (flags=0) at ../../gcc/gcc/cp/decl.c:11932
#8  0x000a7500 in instantiate_decl (d=0x1d, defer_ok=34, 
    expl_inst_class_mem_p=224 '?') at ../../gcc/gcc/cp/pt.c:15146
#9  0x000baf70 in instantiate_pending_templates (retries=8599552)
    at ../../gcc/gcc/cp/pt.c:15231
#10 0x000e9198 in cp_write_global_declarations ()
    at ../../gcc/gcc/cp/decl2.c:3273
#11 0x003c153c in toplev_main (argc=1073972576, argv=0x4006005c)
    at ../../gcc/gcc/toplev.c:971
#12 0x002065cc in main (argc=8599552, argv=0x2) at ../../gcc/gcc/main.c:35

(gdb) p debug_tree (expr)
 <var_decl 7ae94318 a.143
    type <real_type 60340e80 long double sizes-gimplified type_6 TF
        size <integer_cst 60a4af00 constant 128>
        unit size <integer_cst 60a4af40 constant 16>
        align 64 symtab 20 alias set 29 canonical type 60340e80 precision 128
        pointer_to_this <pointer_type 602a5a48> reference_to_this
<reference_type 60326250>>
    addressable used TF file
/test/gnu/gcc/gcc/libstdc++-v3/testsuite/26_numerics/complex/13450.cc line 28
col 26 size <integer_cst 60a4af00 128> unit size <integer_cst 60a4af40 16>
    align 64 context <function_decl 7ae6d0e0 test01_do> chain <var_decl
7ae94370 b.144>>


-- 

danglin at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|FAIL:                       |[4.4 Regression] FAIL:
                   |26_numerics/complex/13450.cc|26_numerics/complex/13450.cc
                   |: ICE in verify_gimple_expr,|: ICE in verify_gimple_expr,
                   |at tree-cfg.c:3962          |at tree-cfg.c:3962


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[danglin at gcc dot gnu dot org]

------- Comment #3 from danglin at gcc dot gnu dot org  2008-05-04 21:43 -------
(gdb) p debug_tree (rhs)
 <parm_decl 7ae89a00 a
    type <real_type 60340e80 long double sizes-gimplified type_6 TF
        size <integer_cst 60a4af00 constant 128>
        unit size <integer_cst 60a4af40 constant 16>
        align 64 symtab 20 alias set 29 canonical type 60340e80 precision 128
        pointer_to_this <pointer_type 602a5a48> reference_to_this
<reference_type 60326250>>
    addressable used TF file
/test/gnu/gcc/gcc/libstdc++-v3/testsuite/26_numerics/complex/13450.cc line 28
col 26 size <integer_cst 60a4af00 128> unit size <integer_cst 60a4af40 16>
    align 64 context <function_decl 7ae6d0e0 test01_do> initial <real_type
60340e80 long double> arg-type <real_type 60340e80 long double>
    value-expr <var_decl 7ae94318 a.143 type <real_type 60340e80 long double>
        addressable used TF file
/test/gnu/gcc/gcc/libstdc++-v3/testsuite/26_numerics/complex/13450.cc line 28
col 26 size <integer_cst 60a4af00 128> unit size <integer_cst 60a4af40 16>
        align 64 context <function_decl 7ae6d0e0 test01_do>
        chain <var_decl 7ae94370 b.144 type <real_type 60340e80 long double>
            addressable used TF file
/test/gnu/gcc/gcc/libstdc++-v3/testsuite/26_numerics/complex/13450.cc line 28
col 26 size <integer_cst 60a4af00 128> unit size <integer_cst 60a4af40 16>
            align 64 context <function_decl 7ae6d0e0 test01_do> chain <var_decl
7ae943c8 D.53716>>> chain <parm_decl 7ae89a50 b>>
$2 = void
(gdb) p debug_tree (lhs)
 <var_decl 7ae94318 a.143
    type <real_type 60340e80 long double sizes-gimplified type_6 TF
        size <integer_cst 60a4af00 constant 128>
        unit size <integer_cst 60a4af40 constant 16>
        align 64 symtab 20 alias set 29 canonical type 60340e80 precision 128
        pointer_to_this <pointer_type 602a5a48> reference_to_this
<reference_type 60326250>>
    addressable used TF file
/test/gnu/gcc/gcc/libstdc++-v3/testsuite/26_numerics/complex/13450.cc line 28
col 26 size <integer_cst 60a4af00 128> unit size <integer_cst 60a4af40 16>
    align 64 context <function_decl 7ae6d0e0 test01_do> chain <var_decl
7ae94370 b.144>>


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.4.0


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2008-05-05 00:12 -------
Both a and a.143 are marked as addressable.  Interesting. 


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
           Priority|P3                          |P2


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[danglin at gcc dot gnu dot org]

------- Comment #5 from danglin at gcc dot gnu dot org  2008-05-20 15:23 -------
This was introduced in r133479.


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2008-11-10 14:52 -------
Can you attach preprocessed source, if it is still reproduceable?


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #7 from dave at hiauly1 dot hia dot nrc dot ca  2008-11-10 23:52 -------
Subject: Re:  [4.4 Regression] FAIL:
        26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at
        tree-cfg.c:3962

> Can you attach preprocessed source, if it is still reproduceable?

Attached.

Dave


------- Comment #8 from dave at hiauly1 dot hia dot nrc dot ca  2008-11-10 23:52 -------
Created an attachment (id=16648)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16648&action=view)


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[jakub at gcc dot gnu dot org]

------- Comment #9 from jakub at gcc dot gnu dot org  2008-11-11 10:04 -------
Short testcase:
extern void bar (long double *);

void
foo (long double x)
{
  bar (&x);
}

fails also with C.  The problem is that gimplify_parameters for
reference_callee_copied copies the long double PARM_DECL into a local VAR_DECL
copy.  But as the PARM_DECL was marked as TREE_ADDRESSABLE by the FE (the body
of the function takes address of the argument) and the local copy is marked
addressable during gimplification (again, the body takes address of the
parameter, which is now DECL_VALUE_EXPRed to the local VAR_DECL), this triggers
verification failure, as one addressable var is assigned into another one.

I think either we should if parm is TREE_ADDRESSABLE move that flag over to
local (i.e. parm would be no longer TREE_ADDRESSABLE, local would be) in
gimplify_parameters, or we'd need to add another temporary in between.
I'll attach the first solution soon.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-11-11 10:04:15
               date|                            |


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[jakub at gcc dot gnu dot org]

------- Comment #10 from jakub at gcc dot gnu dot org  2008-11-11 10:14 -------
Created an attachment (id=16650)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16650&action=view)
gcc44-pr36125.patch

Patch that cures this for me.  Can you please bootstrap/regtest it on hppa?


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #11 from dave at hiauly1 dot hia dot nrc dot ca  2008-11-12 17:14 -------
Subject: Re:  [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in
verify_gimple_expr, at tree-cfg.c:3962

> Created an attachment (id=16650)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16650&action=view)
>  --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16650&action=view)
> gcc44-pr36125.patch
> 
> Patch that cures this for me.  Can you please bootstrap/regtest it on hppa?

Tested on hppa2.0w-hp-hpux11.11.  It fixes PR.  Testsuite for libstdc++
is now clean.

Currently, testing on hppa64-hp-hpux11.11.

Dave


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #12 from dave at hiauly1 dot hia dot nrc dot ca  2008-11-14 02:13 -------
Subject: Re:  [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in
verify_gimple_expr, at tree-cfg.c:3962

> Currently, testing on hppa64-hp-hpux11.11.

There were no regressions on hppa64-hp-hpux11.11.

Dave


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[jakub at gcc dot gnu dot org]

------- Comment #13 from jakub at gcc dot gnu dot org  2008-11-14 07:52 -------
Subject: Bug 36125

Author: jakub
Date: Fri Nov 14 07:50:52 2008
New Revision: 141848

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=141848
Log:
        PR middle-end/36125
        * function.c (gimplify_parameters): For callee copies parameters,
        move TREE_ADDRESSABLE flag from the PARM_DECL to the local copy.

        * gcc.c-torture/compile/pr36125.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr36125.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/function.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/36125] [4.4 Regression] FAIL: 26_numerics/complex/13450.cc: ICE in verify_gimple_expr, at tree-cfg.c:3962

[jakub at gcc dot gnu dot org]

------- Comment #14 from jakub at gcc dot gnu dot org  2008-11-14 07:52 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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