This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 05 Jan 2012 11:21:38 +0000
- Subject: [Bug middle-end/51761] [4.7 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4241
- Auto-submitted: auto-generated
- References: <bug-51761-4@http.gcc.gnu.org/bugzilla/>
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.