https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90273
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
I also see
# DEBUG D#1 => {CLOBBER}
# DEBUG grayWordD.71258 => D#1
that looks pointless. Results from removing
grayWord_57(D) ={v} {CLOBBER};
during into-SSA rewrite. That should instead be
# DEBUG grayWord => NULL
saving one debug-temp. Testing
Index: gcc/tree-ssa.c
===================================================================
--- gcc/tree-ssa.c (revision 270643)
+++ gcc/tree-ssa.c (working copy)
@@ -358,6 +358,11 @@ insert_debug_temp_for_var_def (gimple_st
else if (value == error_mark_node)
value = NULL;
}
+ else if (gimple_clobber_p (def_stmt))
+ /* We can end up here when rewriting a decl into SSA and coming
+ along a clobber for the original decl. Turn that into
+ # DEBUG decl => NULL */
+ value = NULL;
else if (is_gimple_assign (def_stmt))
{
bool no_value = false;