diff options
| author | Richard Biener <rguenther@suse.de> | 2022-11-16 13:57:14 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-11-16 17:07:39 +0100 |
| commit | 8a5f3663f8de45b7030dfe7ce962783dc1a19885 (patch) | |
| tree | 278e82f75e7f5ddc9d2e6dc3070a4c1e0fd67497 /gcc | |
| parent | 7026d0455dce1092975d4884f450a12a6ed205c7 (diff) | |
| download | gcc-8a5f3663f8de45b7030dfe7ce962783dc1a19885.zip gcc-8a5f3663f8de45b7030dfe7ce962783dc1a19885.tar.gz gcc-8a5f3663f8de45b7030dfe7ce962783dc1a19885.tar.bz2 | |
middle-end/107679 - fix SSA rewrite of clobber of parameter
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gfortran.dg/pr107679.f90 | 9 | ||||
| -rw-r--r-- | gcc/tree-into-ssa.cc | 8 |
2 files changed, 15 insertions, 2 deletions
diff --git a/gcc/testsuite/gfortran.dg/pr107679.f90 b/gcc/testsuite/gfortran.dg/pr107679.f90 new file mode 100644 index 0000000..33a52fb --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr107679.f90 @@ -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 diff --git a/gcc/tree-into-ssa.cc b/gcc/tree-into-ssa.cc index d13fb72..f21ed2b 100644 --- a/gcc/tree-into-ssa.cc +++ b/gcc/tree-into-ssa.cc @@ -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 { |