From: Alexandre Oliva <oliva@adacore.com>
Date: Thu, 29 Dec 2022 17:32:54 +0000 (-0300)
Subject: tree-inline decl_map: skip mapping result's NULL default def
X-Git-Tag: basepoints/gcc-14~2284
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a7d397bf6fa23c5d88bf0dbb32ce8247831c3bf4;p=thirdparty%2Fgcc.git

tree-inline decl_map: skip mapping result's NULL default def

If a result doesn't have a default def, don't attempt to remap it.


for  gcc/ChangeLog

	* tree-inline.cc (declare_return_variable): Don't remap NULL
	default def of result.
---

diff --git a/gcc/tree-inline.cc b/gcc/tree-inline.cc
index bfea1cc11822..4556256dc32b 100644
--- a/gcc/tree-inline.cc
+++ b/gcc/tree-inline.cc
@@ -3851,10 +3851,11 @@ declare_return_variable (copy_body_data *id, tree return_slot, tree modify_dest,
 	 it's default_def SSA_NAME.  */
       if (gimple_in_ssa_p (id->src_cfun)
 	  && is_gimple_reg (result))
-	{
-	  temp = make_ssa_name (temp);
-	  insert_decl_map (id, ssa_default_def (id->src_cfun, result), temp);
-	}
+	if (tree default_def = ssa_default_def (id->src_cfun, result))
+	  {
+	    temp = make_ssa_name (temp);
+	    insert_decl_map (id, default_def, temp);
+	  }
       insert_init_stmt (id, entry_bb, gimple_build_assign (temp, var));
     }
   else