+2007-01-05 Joel Brobecker <brobecker@adacore.com>
+
+ * gdb.texinfo (Set Catchpoints): Add documentation for the new
+ catch exception, catch exception unhandled, and catch assert
+ commands.
+
2007-01-04 Daniel Jacobowitz <dan@codesourcery.com>
* gdb.texinfo (Debugging Output): Document "set debug xml"
@item catch
The catching of a C@t{++} exception.
+@item exception
+@cindex Ada exception catching
+@cindex catch Ada exceptions
+An Ada exception being raised. If an exception name is specified
+at the end of the command (eg @code{catch exception Program_Error}),
+the debugger will stop only when this specific exception is raised.
+Otherwise, the debugger stops execution when any Ada exception is raised.
+
+@item exception unhandled
+An exception that was raised but is not handled by the program.
+
+@item assert
+A failed Ada assertion.
+
@item exec
@cindex break on fork/exec
A call to @code{exec}. This is currently only available for HP-UX.