[Bug c/54103] New: ICE at gimplify.c:7790 on current trunk

[Bug c/54103] New: ICE at gimplify.c:7790 on current trunk

[merkil at savhon dot org]

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

             Bug #: 54103
           Summary: ICE at gimplify.c:7790 on current trunk
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: merkil@savhon.org


Hello !
Joseph on PR53418 suggested me to file this as a different bug, so here it is.
GCC as of 4.8-20120722, 4.7-20120721, 4.6-20120720, and 4.5-20120628 (thanks to
Mikael Pettersson for testing all those versions) appears to trigger an ICE
while compiling the following testcase :

$ cat ice.c

void f(void)
{
    0 || 0 / 0 ? : 0;
}

$ gcc -w ice.c

ice.c: In function ‘f’:
ice.c:3:12: internal compiler error: in gimplify_expr, at gimplify.c:7790
     0 || 0 / 0 ? : 0;
            ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c/54103] ICE at gimplify.c:7790 on current trunk

[jsm28 at gcc dot gnu.org]

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

--- Comment #1 from Joseph S. Myers <jsm28 at gcc dot gnu.org> 2012-09-14 16:59:21 UTC ---
Author: jsm28
Date: Fri Sep 14 16:59:10 2012
New Revision: 191304

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191304
Log:
c:
    PR c/54103
    * c-typeck.c (build_unary_op): Pass original argument of
    TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove
    any C_MAYBE_CONST_EXPR, if it has integer operands.
    (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR,
    TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR
    to c_objc_common_truthvalue_conversion, then remove any
    C_MAYBE_CONST_EXPR, if they have integer operands.  Use
    c_objc_common_truthvalue_conversion not
    c_common_truthvalue_conversion.
    (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and
    call note_integer_operands for arguments with integer operands
    that are not integer constants.

testsuite:
    * gcc.c-torture/compile/pr54103-1.c,
    gcc.c-torture/compile/pr54103-2.c,
    gcc.c-torture/compile/pr54103-3.c,
    gcc.c-torture/compile/pr54103-4.c,
    gcc.c-torture/compile/pr54103-5.c,
    gcc.c-torture/compile/pr54103-6.c: New tests.
    * gcc.dg/c90-const-expr-8.c: Update expected column number.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr54103-1.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr54103-2.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr54103-3.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr54103-4.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr54103-5.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr54103-6.c
Modified:
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-typeck.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/c90-const-expr-8.c

[Bug c/54103] [4.6/4.7 Regression] ICE at gimplify.c:7790 on current trunk

[jsm28 at gcc dot gnu.org]

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

Joseph S. Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-09-14
   Target Milestone|---                         |4.7.2
            Summary|ICE at gimplify.c:7790 on   |[4.6/4.7 Regression] ICE at
                   |current trunk               |gimplify.c:7790 on current
                   |                            |trunk
     Ever Confirmed|0                           |1

--- Comment #2 from Joseph S. Myers <jsm28 at gcc dot gnu.org> 2012-09-14 17:02:00 UTC ---
Fixed so far for trunk, pending testing fix for 4.7 and 4.6.

[Bug c/54103] [4.6/4.7 Regression] ICE at gimplify.c:7790 on current trunk

[jsm28 at gcc dot gnu.org]

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

--- Comment #3 from Joseph S. Myers <jsm28 at gcc dot gnu.org> 2012-09-15 00:28:08 UTC ---
Author: jsm28
Date: Sat Sep 15 00:28:05 2012
New Revision: 191336

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191336
Log:
    PR c/54103
    * c-typeck.c (build_unary_op): Pass original argument of
    TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove
    any C_MAYBE_CONST_EXPR, if it has integer operands.
    (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR,
    TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR
    to c_objc_common_truthvalue_conversion, then remove any
    C_MAYBE_CONST_EXPR, if they have integer operands.  Use
    c_objc_common_truthvalue_conversion not
    c_common_truthvalue_conversion.
    (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and
    call note_integer_operands for arguments with integer operands
    that are not integer constants.

testsuite:
    * gcc.c-torture/compile/pr54103-1.c,
    gcc.c-torture/compile/pr54103-2.c,
    gcc.c-torture/compile/pr54103-3.c,
    gcc.c-torture/compile/pr54103-4.c,
    gcc.c-torture/compile/pr54103-5.c,
    gcc.c-torture/compile/pr54103-6.c: New tests.
    * gcc.dg/c90-const-expr-8.c: Update expected column number.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-1.c
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-2.c
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-3.c
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-4.c
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-5.c
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-6.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/c-typeck.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/c90-const-expr-8.c

[Bug c/54103] [4.7 Regression] ICE at gimplify.c:7790 on current trunk

[jsm28 at gcc dot gnu.org]

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

Joseph S. Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.6/4.7 Regression] ICE at |[4.7 Regression] ICE at
                   |gimplify.c:7790 on current  |gimplify.c:7790 on current
                   |trunk                       |trunk

--- Comment #4 from Joseph S. Myers <jsm28 at gcc dot gnu.org> 2012-09-15 00:30:51 UTC ---
Fixed for 4.6.4, 4.7 branch fix to follow after 4.7.2 is released.

[Bug c/54103] [4.7 Regression] ICE at gimplify.c:7790 on current trunk

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.2                       |4.7.3

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-20 10:18:43 UTC ---
GCC 4.7.2 has been released.

[Bug c/54103] [4.7 Regression] ICE at gimplify.c:7790 on current trunk

[jsm28 at gcc dot gnu.org]

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

--- Comment #6 from Joseph S. Myers <jsm28 at gcc dot gnu.org> 2012-09-20 20:49:10 UTC ---
Author: jsm28
Date: Thu Sep 20 20:49:06 2012
New Revision: 191589

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191589
Log:
    PR c/54103
    * c-typeck.c (build_unary_op): Pass original argument of
    TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove
    any C_MAYBE_CONST_EXPR, if it has integer operands.
    (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR,
    TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR
    to c_objc_common_truthvalue_conversion, then remove any
    C_MAYBE_CONST_EXPR, if they have integer operands.  Use
    c_objc_common_truthvalue_conversion not
    c_common_truthvalue_conversion.
    (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and
    call note_integer_operands for arguments with integer operands
    that are not integer constants.

testsuite:
    * gcc.c-torture/compile/pr54103-1.c,
    gcc.c-torture/compile/pr54103-2.c,
    gcc.c-torture/compile/pr54103-3.c,
    gcc.c-torture/compile/pr54103-4.c,
    gcc.c-torture/compile/pr54103-5.c,
    gcc.c-torture/compile/pr54103-6.c: New tests.
    * gcc.dg/c90-const-expr-8.c: Update expected column number.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-1.c
    branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-2.c
    branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-3.c
    branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-4.c
    branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-5.c
    branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/compile/pr54103-6.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
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/c90-const-expr-8.c

[Bug c/54103] [4.7 Regression] ICE at gimplify.c:7790 on current trunk

[jsm28 at gcc dot gnu.org]

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

Joseph S. Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.7.3                       |4.6.4

--- Comment #7 from Joseph S. Myers <jsm28 at gcc dot gnu.org> 2012-09-20 20:54:35 UTC ---
Fixed for 4.6.4, 4.7.3, 4.8.0.