Skip to content
  • Xavier Roirand's avatar
    (Ada) New command to stop at start of exception handler. · 9f757bf7
    Xavier Roirand authored
    When using gdb for debugging Ada source code, there are several catchpoint
    types you can define in order to stop upon certain conditions.  Let's
    use this small example:
    
    procedure Foo is
    begin
       begin
          raise Constraint_Error;
       exception
          when Program_Error =>
             null;
          when Constraint_Error =>
             null;
          when others =>
             null;
       end;
    end Foo;
    
    One can stop when the exception is being raised by using the exception
    catchpoint like below:
    
    (gdb) catch exception
    Catchpoint 1: all Ada exceptions
    (gdb)
    
    In that case, when running Foo, gdb will stop at the line where the exception
    was raised:
    
       begin
    >>>   raise Constraint_Error;
       exception
    
    This patch introduces new type of catchpoint, when the user wants to stop
    at the location of the exception handling.
    Imagine we want to stop on any exception handled by the program, we can do:
    
    (gdb) catch handlers
    Catchpoint 1: all Ada exceptions handlers
    (gdb) r
    Starting program: /tmp/foo
    
    By doing so, when running Foo, gdb will stop here:
    
    Catchpoint 1, exception at 0x000000000040255a in foo () at foo.adb:25
    25          when Constraint_Error =>
    (gdb)
    
    It is also possible to stop when the Constraint_Error exception is being
    handled in this program.  With this patch, we can use:
    
    (gdb) catch handlers Constraint_Error
    Catchpoint 1: `Constraint_Error' Ada exception handlers
    (gdb)
    
    Like for other catchpoint, you can set a condition when adding a catchpoint
    on exception handlers.
    Here the handlers catchpoint checks Global_Var:
    
    (gdb) catch handlers Constraint_Error if Global_Var /= 0
    
    gdb/ChangeLog:
    
            * ada-lang.h (ada_exception_catchpoint_kind) <ada_catch_handlers>:
            Add field.
            * ada-lang.c (struct exception_support_info) <catch_handlers_sym>:
            Add field.
            (default_exception_support_info) <catch_handlers_sym>: Add field.
            (exception_support_info_fallback) <catch_handlers_sym>: Add field.
            (ada_exception_name_addr_1): Add "catch handlers" handling.
            (ada_exception_catchpoint_cond_string) <ex>: New parameter.
            Update all callers.
            (create_excep_cond_exprs) <ex>: Add parameter.
            (re_set_exception): Update create_excep_cond_exprs call.
            (print_it_exception, print_one_exception, print_mention_exception)
            (print_recreate_exception): Add "catch handler" handling.
            (allocate_location_catch_handlers, re_set_catch_handlers)
            (check_status_catch_handlers, print_it_catch_handlers)
            (print_one_catch_handlers, print_mention_catch_handlers)
            (print_recreate_catch_handlers): New function.
            (catch_handlers_breakpoint_ops): New variable.
            (catch_ada_exception_command_split) <is_catch_handlers_cmd>:
            Add parameter.  Add "catch handler" handling.
            (ada_exception_sym_name, ada_exception_breakpoint_ops):
            Add "catch handler" handling.
            (ada_exception_catchpoint_cond_string): Add "catch handler"
            handling.
            (create_ada_exception_catchpoint): Update create_excep_cond_exprs
            call.
            (catch_ada_handlers_command): New function.
            (initialize_ada_catchpoint_ops): Initialize "catch handlers"
            operations structure.
            (_initialize_ada_language): Add "catch handlers" command entry.
            * NEWS: Document "catch handlers" feature.
    
    gdb/doc/ChangeLog:
    
            * gdb.texinfo (Set Catchpoints): Add documentation for new
            "catch handlers" action.
    
    gdb/testsuite/ChangeLog:
    
            * gdb.ada/excep_handle.exp: New testcase.
            * gdb.ada/excep_handle/foo.adb: New file.
            * gdb.ada/excep_handle/pck.ads: New file.
    
    Tested on x86_64-linux.
    9f757bf7
To find the state of this project's repository at the time of any of these versions, check out the tags.