[v4,8/8] Forced quit cases handled by resetting sync_quit_force_run

Message ID 20230112015630.32999-9-kevinb@redhat.com
State New
Headers
Series Fix gdb.base/gdb-sigterm.exp failure/error |

Commit Message

Kevin Buettner Jan. 12, 2023, 1:56 a.m. UTC
  During my audit of the use of gdb_exception with regard to QUIT
processing, I found a try/catch in the scoped_switch_fork_info
destructor.

Static analysis found this call path from the destructor to
maybe_quit():

  scoped_switch_fork_info::~scoped_switch_fork_info()
    -> remove_breakpoints()
    -> remove_breakpoint(bp_location*)
    -> remove_breakpoint_1(bp_location*, remove_bp_reason)
    -> memory_validate_breakpoint(gdbarch*, bp_target_info*)
    -> target_read_memory(unsigned long, unsigned char*, long)
    -> target_read(target_ops*, target_object, char const*, unsigned char*, unsigned long, long)
    -> maybe_quit()

Since it's not safe to do a 'throw' from a destructor, we simply
call set_quit_flag and, for gdb_exception_forced_quit, also
set sync_quit_force_run.  This will cause the appropriate
exception to be rethrown at the next QUIT check.

Another case is the try / catch in tui_getc() in tui-io.c.  The
existing catch swallows the exception.  I've added a catch for
'gdb_exception_forced_quit', which also swallows the exception,
but also sets sync_quit_force_run and calls set_quit_flag in
order to restart forced quit processing at the next QUIT check.
This is required because it isn't safe to throw into/through
readline.

Thanks to Pedro Alves for suggesting this idea.

Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=26761
---
 gdb/linux-fork.c | 13 +++++++++++++
 gdb/tui/tui-io.c |  9 +++++++++
 2 files changed, 22 insertions(+)
  

Comments

Pedro Alves Jan. 30, 2023, 7:02 p.m. UTC | #1
On 2023-01-12 1:56 a.m., Kevin Buettner wrote:
> During my audit of the use of gdb_exception with regard to QUIT
> processing, I found a try/catch in the scoped_switch_fork_info
> destructor.
> 
> Static analysis found this call path from the destructor to
> maybe_quit():
> 
>   scoped_switch_fork_info::~scoped_switch_fork_info()
>     -> remove_breakpoints()
>     -> remove_breakpoint(bp_location*)
>     -> remove_breakpoint_1(bp_location*, remove_bp_reason)
>     -> memory_validate_breakpoint(gdbarch*, bp_target_info*)
>     -> target_read_memory(unsigned long, unsigned char*, long)
>     -> target_read(target_ops*, target_object, char const*, unsigned char*, unsigned long, long)
>     -> maybe_quit()
> 
> Since it's not safe to do a 'throw' from a destructor, we simply
> call set_quit_flag and, for gdb_exception_forced_quit, also
> set sync_quit_force_run.  This will cause the appropriate
> exception to be rethrown at the next QUIT check.
> 
> Another case is the try / catch in tui_getc() in tui-io.c.  The
> existing catch swallows the exception.  I've added a catch for
> 'gdb_exception_forced_quit', which also swallows the exception,
> but also sets sync_quit_force_run and calls set_quit_flag in
> order to restart forced quit processing at the next QUIT check.
> This is required because it isn't safe to throw into/through
> readline.
> 
> Thanks to Pedro Alves for suggesting this idea.
> 
> Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=26761
> ---
>  gdb/linux-fork.c | 13 +++++++++++++
>  gdb/tui/tui-io.c |  9 +++++++++
>  2 files changed, 22 insertions(+)
> 
> diff --git a/gdb/linux-fork.c b/gdb/linux-fork.c
> index 61545b859ea..fc2f00d0766 100644
> --- a/gdb/linux-fork.c
> +++ b/gdb/linux-fork.c
> @@ -430,6 +430,19 @@ class scoped_switch_fork_info
>  	    fork_load_infrun_state (m_oldfp);
>  	    insert_breakpoints ();
>  	  }
> +	catch (const gdb_exception_quit &ex)
> +	  {
> +	    /* We can't throw from a destructor, so re-set the quit flag
> +	      for later QUIT checking.  */
> +	    set_quit_flag ();
> +	  }
> +	catch (const gdb_exception_forced_quit &ex)
> +	  {
> +	    /* Like above, but (eventually) cause GDB to terminate by
> +	       setting sync_quit_force_run.  */
> +	    sync_quit_force_run = 1;
> +	    set_quit_flag ();

I think it'd be nice if we had a function that did both of these for us.
Something like "set_force_quit_flag()".

> +	  }
>  	catch (const gdb_exception &ex)
>  	  {
>  	    warning (_("Couldn't restore checkpoint state in %s: %s"),
> diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c
> index 2f39e34df2f..ac3c7296499 100644
> --- a/gdb/tui/tui-io.c
> +++ b/gdb/tui/tui-io.c
> @@ -1275,6 +1275,15 @@ tui_getc (FILE *fp)
>      {
>        return tui_getc_1 (fp);
>      }
> +  catch (const gdb_exception_forced_quit &ex)
> +    {
> +      /* As noted below, it's not safe to let an exception escape
> +         to newline, so, for this case,  reset the quit flag for

Spurious double space before "reset".

> +	 later QUIT checking.  */
> +      sync_quit_force_run = 1;
> +      set_quit_flag ();
> +      return 0;
> +    }
>    catch (const gdb_exception &ex)
>      {
>        /* Just in case, don't ever let an exception escape to readline.
>
  

Patch

diff --git a/gdb/linux-fork.c b/gdb/linux-fork.c
index 61545b859ea..fc2f00d0766 100644
--- a/gdb/linux-fork.c
+++ b/gdb/linux-fork.c
@@ -430,6 +430,19 @@  class scoped_switch_fork_info
 	    fork_load_infrun_state (m_oldfp);
 	    insert_breakpoints ();
 	  }
+	catch (const gdb_exception_quit &ex)
+	  {
+	    /* We can't throw from a destructor, so re-set the quit flag
+	      for later QUIT checking.  */
+	    set_quit_flag ();
+	  }
+	catch (const gdb_exception_forced_quit &ex)
+	  {
+	    /* Like above, but (eventually) cause GDB to terminate by
+	       setting sync_quit_force_run.  */
+	    sync_quit_force_run = 1;
+	    set_quit_flag ();
+	  }
 	catch (const gdb_exception &ex)
 	  {
 	    warning (_("Couldn't restore checkpoint state in %s: %s"),
diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c
index 2f39e34df2f..ac3c7296499 100644
--- a/gdb/tui/tui-io.c
+++ b/gdb/tui/tui-io.c
@@ -1275,6 +1275,15 @@  tui_getc (FILE *fp)
     {
       return tui_getc_1 (fp);
     }
+  catch (const gdb_exception_forced_quit &ex)
+    {
+      /* As noted below, it's not safe to let an exception escape
+         to newline, so, for this case,  reset the quit flag for
+	 later QUIT checking.  */
+      sync_quit_force_run = 1;
+      set_quit_flag ();
+      return 0;
+    }
   catch (const gdb_exception &ex)
     {
       /* Just in case, don't ever let an exception escape to readline.