gimplify.c (gimplify_modify_expr_rhs): Use simple test on the size.
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 1 Jun 2015 20:49:18 +0000 (20:49 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Mon, 1 Jun 2015 20:49:18 +0000 (20:49 +0000)
commite6a54b01852b536ce67c8a6639adc455f36f3891
tree83d3f1184dd0b41ae0e5c786c8add2d6cfd17d07
parent418dd5cefef6cd8d80de3997a0590503d653bc04
gimplify.c (gimplify_modify_expr_rhs): Use simple test on the size.

* gimplify.c (gimplify_modify_expr_rhs): Use simple test on the size.
* cgraph.c (cgraph_redirect_edge_call_stmt_to_callee): Do not remove
the LHS of a no-return call if its type has variable size.
* tree-cfgcleanup.c (fixup_noreturn_call): Likewise.
* tree-cfg.c (verify_gimple_call): Accept these no-return calls.

From-SVN: r223997
gcc/ChangeLog
gcc/cgraph.c
gcc/gimplify.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/specs/varsize_return2.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/specs/varsize_return2_pkg.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/specs/varsize_return2_pkg.ads [new file with mode: 0644]
gcc/tree-cfg.c
gcc/tree-cfgcleanup.c