Re: [PATCH] [gdb/tui] Fix crash with debuginfod query

[Tom de Vries <tdevries@suse.de>]

On 1/15/26 2:13 PM, Tom de Vries wrote:
> Ok, I'll see if I can implement this approach in a more polished 
> fashion.  Please let me know if you prefer to work on it your self.

FYI, sofar I got this, passes all TUI test-cases.

Thanks,
- Tom

...
diff --git a/gdb/tui/tui-layout.c b/gdb/tui/tui-layout.c
index 272f5134d85..9280ce2a0fa 100644
--- a/gdb/tui/tui-layout.c
+++ b/gdb/tui/tui-layout.c
@@ -268,6 +268,23 @@ tui_remove_some_windows ()
    tui_apply_current_layout (true);
  }

+extern bool defer_rerender;
+bool defer_rerender = false;
+
+static std::vector<std::function<void ()>> deferred_rerender;
+
+extern void do_deferred_rerender ();
+
+void
+do_deferred_rerender ()
+{
+  for (auto f: deferred_rerender)
+    {
+      f ();
+    }
+  deferred_rerender.clear ();
+}
+
  void
  tui_win_info::resize (int height_, int width_,
  		      int origin_x_, int origin_y_)
@@ -296,7 +313,13 @@ tui_win_info::resize (int height_, int width_,
    if (handle == nullptr)
      make_window ();

-  rerender ();
+  if (defer_rerender)
+    deferred_rerender.push_back ([this] ()
+      {
+	rerender ();
+      });
+  else
+    rerender ();
  }



diff --git a/gdb/tui/tui.c b/gdb/tui/tui.c
index fb94823f0fe..21e8838fa44 100644
--- a/gdb/tui/tui.c
+++ b/gdb/tui/tui.c
@@ -393,6 +393,9 @@ gdb_getenv_term (void)
    return "<unset>";
  }

+extern bool defer_rerender;
+extern void do_deferred_rerender ();
+
  /* Enter in the tui mode (curses).
     When in normal mode, it installs the tui hooks in gdb, redirects
     the gdb output, configures the readline to work in tui mode.
@@ -493,6 +496,7 @@ tui_enable (void)
        def_prog_mode ();

        tui_show_frame_info (deprecated_safe_get_selected_frame ());
+      defer_rerender = true;
        tui_set_initial_layout ();
        tui_set_win_focus_to (tui_src_win ());
        keypad (tui_cmd_win ()->handle.get (), TRUE);
@@ -516,6 +520,9 @@ tui_enable (void)

    tui_setup_io (1);

+  do_deferred_rerender ();
+  defer_rerender = false;
+
    /* Resize windows before anything might display/refresh a
       window.  */
    if (tui_win_resized ())