[Bug debug/118790] [15 Regression] ICE when building fiat (crash in loc_list_from_tree_1)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118790

--- Comment #24 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
So
--- gcc/tree-ssa-live.cc.jj     2025-01-02 11:23:05.915664859 +0100
+++ gcc/tree-ssa-live.cc        2025-02-11 14:44:33.940178150 +0100
@@ -369,9 +369,17 @@ mark_all_vars_used_1 (tree *tp, int *wal
     {
       /* When a global var becomes used for the first time also walk its
          initializer (non global ones don't have any).  */
-      if (set_is_used (t) && is_global_var (t)
-         && DECL_CONTEXT (t) == current_function_decl)
-       mark_all_vars_used (&DECL_INITIAL (t));
+      if (set_is_used (t))
+       {
+         if (is_global_var (t)
+             && DECL_CONTEXT (t) == current_function_decl)
+           mark_all_vars_used (&DECL_INITIAL (t));
+         if (DECL_HAS_VALUE_EXPR_P (t))
+           {
+             tree dve = DECL_VALUE_EXPR (t);
+             mark_all_vars_used (&dve);
+           }
+       }
     }
   /* remove_unused_scope_block_p requires information about labels
      which are not DECL_IGNORED_P to tell if they might be used in the IL.  */
?  Except this doesn't work, that new code isn't encountered on the testcase,
so it must be something else that removes the vars.