[Bug middle-end/51761] New: [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[Bug middle-end/51761] New: [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[rguenth at gcc dot gnu.org]

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

             Bug #: 51761
           Summary: [4.7 Regression] ICE in verify_gimple_stmt, at
                    tree-cfg.c:4241
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rguenth@gcc.gnu.org
                CC: matz@gcc.gnu.org
            Target: i?86-*-*


Created attachment 26247
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26247
preprocessed source

Building strongswan reveals:

> ./cc1 -quiet chunk.i -O -m32
chunk.c: In function 'chunk_printable':
chunk.c:558:7: internal compiler error: in verify_gimple_stmt, at
tree-cfg.c:4314
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

#1  0x0000000000b57d26 in verify_gimple_stmt (stmt=0x7ffff58bbf28)
    at /space/rguenther/src/svn/trunk/gcc/tree-cfg.c:4314
4314          gcc_unreachable ();
(gdb) call debug_gimple_stmt (stmt)
<<< Unknown GIMPLE statement: gimple_with_cleanup_expr >>>

[Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-01-05
                 CC|                            |jakub at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-05 11:08:25 UTC ---
Started with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181332
Reducing...

[Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-05 11:21:38 UTC ---
Reduced testcase (-O -m32):

struct S { unsigned int len; };
struct S foo (struct S);

struct S
bar (struct S x)
{
  return ({ struct S a = x; foo (a); });
}

The C FE isn't inserting CLEANUP_POINT_EXPRs everywhere, so I wonder if the
r181332 change to add the clobber must not be limited to C++ or if e.g.
gimplify_cleanup_point_expr shouldn't set some (new) flag in *gimplify_ctxp for
the duration of the embedded gimplify_stmt call (and restore it from previous
value afterwards) and use this flag to decide whether to add the cleanup or
not.

[Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[jakub at gcc dot gnu.org]

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

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 #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-05 12:02:13 UTC ---
Created attachment 26249
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26249
gcc47-pr51761.patch

Untested fix.  With the exception of C++/Obj-C++ FEs I'm afraid other FEs don't
add all the needed CPEs.

[Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[jason at redhat dot com]

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

--- Comment #4 from Jason Merrill <jason at redhat dot com> 2012-01-05 14:03:22 UTC ---
OK.

Jason

[Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-05 15:10:36 UTC ---
Author: jakub
Date: Thu Jan  5 15:10:26 2012
New Revision: 182914

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182914
Log:
    PR middle-end/51761
    * gimple.h (struct gimplify_ctx): Add in_cleanup_point_expr
    field.
    * gimplify.c (gimplify_cleanup_point_expr): Save and set
    in_cleanup_point_expr before gimplify_stmt call and restore it
    afterwards.
    (gimplify_target_expr): Don't add {CLOBBER} cleanup if
    in_cleanup_point_expr is false.

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

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr51761.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple.h
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241

[jakub at gcc dot gnu.org]

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

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-01-05 15:20:17 UTC ---
Fixed.