mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-21 15:40:55 +08:00
Code Issues Packages Projects Releases Wiki Activity

middle-end/107679 - fix SSA rewrite of clobber of parameter

Browse Source 
When the frontend clobbers a parameter and that parameter gets
rewritten into SSA then we ICE because we didn't expect this.  Avoid
using the parameter decl to create a SSA default def in this case.

	PR middle-end/107679
	* tree-into-ssa.cc (maybe_register_def): Use new temporary if
	we require an uninitialized value for a parameter decl.

	* gfortran.dg/pr107679.f90: New testcase.
This commit is contained in:
Richard Biener 2022-11-16 13:57:14 +01:00
parent 7026d0455d
commit 8a5f3663f8
2 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/testsuite/gfortran.dg/pr107679.f90 Normal file
View File

@ -0,0 +1,9 @@
! { dg-do compile }
subroutine s1(x)
integer, intent(out) :: x
end
subroutine s2(z)
integer, value :: z
call s1(z)
end

8
gcc/tree-into-ssa.cc
View File

@ -1911,13 +1911,17 @@ maybe_register_def (def_operand_p def_p, gimple *stmt,
{
if (gimple_clobber_p (stmt) && is_gimple_reg (sym))
{
gcc_checking_assert (VAR_P (sym));
tree defvar;
if (VAR_P (sym))
defvar = sym;
else
defvar = create_tmp_reg (TREE_TYPE (sym));
/* Replace clobber stmts with a default def. This new use of a
default definition may make it look like SSA_NAMEs have
conflicting lifetimes, so we need special code to let them
coalesce properly. */
to_delete = true;
def = get_or_create_ssa_default_def (cfun, sym);
def = get_or_create_ssa_default_def (cfun, defvar);
}
else
{