[Bug c/38140] New: ice for C code with -O2

[Bug c/38140] New: ice for C code with -O2

[dcb314 at hotmail dot com]

I just tried to compile Suse Linux package opensc-0.11.6-4.5
with the GNU gcc version 4.4.0 snapshot 20081114

It said

asn1.c: In function 'asn1_decode':
asn1.c:1148: internal compiler error: in gimple_call_return_type, at
gimple.h:1993
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flag -O2 required.


-- 
           Summary: ice for C code with -O2
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: suse-linux-x86_64


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

[Bug c/38140] ice for C code with -O2

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2008-11-15 21:37 -------
Created an attachment (id=16689)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16689&action=view)
C source code


-- 


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

[Bug c/38140] [4.4 Regression] ice for C code with -O2

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.4.0
      Known to work|                            |4.3.2
            Summary|ice for C code with -O2     |[4.4 Regression] ice for C
                   |                            |code with -O2
   Target Milestone|---                         |4.4.0


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

[Bug c/38140] [4.4 Regression] ice for C code with -O2

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2008-11-15 23:16 -------
The source is buggy,
*(void **)(&callback_func) = parm;
violates strict aliasing (with absolutely no reason, callback_func = parm;
would work perfectly).

That said, gcc shouldn't ICE on such code anyway.


-- 

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-15 23:16:41
               date|                            |


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

[Bug middle-end/38140] [4.4 Regression] ice for C code with -O2

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2008-11-16 12:33 -------
Shorter testcase:
int foo (void *x)
{
  int (*fn) (int);
  *(void **)&fn = x;
  return fn (6);
}


-- 


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

[Bug middle-end/38140] [4.4 Regression] ice for C code with -O2

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2008-11-17 08:48 -------
Created an attachment (id=16708)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16708&action=view)
gcc44-pr38140.patch

Patch I'm ATM bootstrapping/regtesting.  tree-ssa-forwprop.c was creating
invalid GIMPLE.


-- 


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

[Bug middle-end/38140] [4.4 Regression] ice for C code with -O2

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug middle-end/38140] [4.4 Regression] ice for C code with -O2

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2008-11-17 21:00 -------
Subject: Bug 38140

Author: jakub
Date: Mon Nov 17 20:58:52 2008
New Revision: 141949

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=141949
Log:
        PR middle-end/38140
        * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): If
        propagating x = &a into *x = b, add a cast if not useless
        type conversion or don't optimize if another stmt would be
        needed.

        * gcc.dg/pr38140.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr38140.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c


-- 


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

[Bug middle-end/38140] [4.4 Regression] ice for C code with -O2

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2008-11-17 21:00 -------
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=38140