[Bug tree-optimization/71104] [7 Regression] ICE: verify_ssa failed (with vfork / error: definition in block 3 does not dominate use in block 7 )

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71104

--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Jul 13 08:03:04 2016
New Revision: 238287

URL: https://gcc.gnu.org/viewcvs?rev=238287&root=gcc&view=rev
Log:
2016-07-13  Richard Biener  <rguenther@suse.de>

        PR middle-end/71104
        * gimplify.c (gimplify_modify_expr): Gimplify the RHS before
        gimplifying the LHS.  Make sure to gimplify a returning twice
        call LHS without using SSA names.

        * gcc.dg/pr71104-1.c: New testcase.
        * gcc.dg/pr71104-2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/pr71104-1.c
    trunk/gcc/testsuite/gcc.dg/pr71104-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog