[Bug middle-end/54559] New: [4.7 Regression], ICE in gimplify_expr, at gimplify.c:7592

[Bug middle-end/54559] New: [4.7 Regression], ICE in gimplify_expr, at gimplify.c:7592

[doko at gcc dot gnu.org]

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

             Bug #: 54559
           Summary: [4.7 Regression], ICE in gimplify_expr, at
                    gimplify.c:7592
    Classification: Unclassified
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: doko@gcc.gnu.org


fails with r191092, worked with r190380 on the 4.7 branch, taken from a cython
testcase, with -O[0-3]:

$ gcc -c -g -O0 -I/usr/include/python2.7 pyx.c
pyx.c: In function '__pyx_t_long_double_complex_from_parts':
pyx.c:14:16: internal compiler error: in gimplify_expr, at gimplify.c:7592
Please submit a full bug report,
with preprocessed source if appropriate.

typedef struct {
    double real;
    double imag;
} Py_complex;

typedef struct _object {
    unsigned int refcnt;
} PyObject;

typedef long double _Complex __pyx_t_long_double_complex;

static __inline__ __pyx_t_long_double_complex
__pyx_t_long_double_complex_from_parts(long double x, long double y)
{
    return x + y*(__pyx_t_long_double_complex)(__extension__ 1.0iF);
}

static __pyx_t_long_double_complex
__Pyx_PyComplex_As___pyx_t_long_double_complex(PyObject* o) {
    Py_complex cval;
    return __pyx_t_long_double_complex_from_parts(
               (long double)cval.real,
               (long double)cval.imag);
}

[Bug middle-end/54559] [4.7 Regression], ICE in gimplify_expr, at gimplify.c:7592

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-09-13
                 CC|                            |jakub at redhat dot com
   Target Milestone|---                         |4.7.2
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2012-09-13 03:42:17 UTC ---
It was caused by revision 190899:

http://gcc.gnu.org/ml/gcc-cvs/2012-09/msg00056.html

[Bug c/54559] [4.7 Regression], ICE in gimplify_expr, at gimplify.c:7592

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-13 09:31:34 UTC ---
Created attachment 28185
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28185
gcc48-pr54559.patch

Untested fix.

[Bug c/54559] [4.7/4.8 Regression], ICE in gimplify_expr, at gimplify.c:7592

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
      Known to work|4.8.0                       |
            Summary|[4.7 Regression], ICE in    |[4.7/4.8 Regression], ICE
                   |gimplify_expr, at           |in gimplify_expr, at
                   |gimplify.c:7592             |gimplify.c:7592
      Known to fail|                            |4.8.0

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-09-13 09:33:43 UTC ---
Trunk also fails for me.  P1.

[Bug c/54559] [4.7/4.8 Regression], ICE in gimplify_expr, at gimplify.c:7592

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-13 16:57:31 UTC ---
Author: jakub
Date: Thu Sep 13 16:57:15 2012
New Revision: 191270

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191270
Log:
    PR c/54559
    * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or
    COMPLEX_TYPE with in_late_binary_op set temporarily to true.

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

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr54559.c
Modified:
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-typeck.c
    trunk/gcc/testsuite/ChangeLog

[Bug c/54559] [4.7/4.8 Regression], ICE in gimplify_expr, at gimplify.c:7592

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-13 17:04:59 UTC ---
Author: jakub
Date: Thu Sep 13 17:04:44 2012
New Revision: 191271

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191271
Log:
    PR c/54559
    * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or
    COMPLEX_TYPE with in_late_binary_op set temporarily to true.

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

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/compile/pr54559.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/c-typeck.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug c/54559] [4.7/4.8 Regression], ICE in gimplify_expr, at gimplify.c:7592

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-14 06:11:50 UTC ---
Fixed.