On Jul 30, 2019, Alexandre Oliva wrote:
> This was regstrapped on x86_64-linux-gnu, and tested internally on
> various other platforms. I intend to install it after the corresponding
> GDB changes, that I'm about to post, are in.
https://sourceware.org/ml/gdb-patches/2019-07/msg00671.html is no
Introduce exception handler ABI #1 to ensure single release, no access
after release of reraised Machine_Occurrences, and no failure to
re-reraise a Machine_Occurrence.
Unlike Ada exceptions, foreign exceptions do not get a new
Machine_Occurrence upon reraise, but each handler would delete the
exc
