Как получить сообщение об исключении Ada при отлове из обработчика C ++?

Используя GNAT Ada и Gnu C ++, я связываю кусок кода Ada с оболочкой c ++ и хотел бы правильно перехватывать исключения Ada при выполнении этого (глупого) кода:

with ada.text_io;

package body ada_throw is

procedure ada_throw is
begin
ada.text_io.put_line ("hello");
raise program_error;
end ada_throw;

end ada_throw;

соответствующий код спецификации:

package ada_throw is

procedure ada_throw;
pragma export (convention => C, entity => ada_throw, external_name => "ada_throw");

end ada_throw;

Делая это на стороне C ++:

#include <iostream>

extern "C"{
void ada_throw();
void adainit();
}

int main()
{
adainit();
ada_throw();
std::cout << "end of program" << std::endl;
return 0;
}

Я получаю это:

hello

raised PROGRAM_ERROR : ada_throw.adb:8 explicit raise

Так что механизм исключений работает, я не получаю последний отпечаток моей программы на C ++, и код возврата не равен нулю.

Теперь хочу ловить исключение. Если я использую catch(...) это работает, но я больше не могу получить явное сообщение об ошибке, поэтому я попробовал это:

#include <iostream>
#include <cxxabi.h>
extern "C"{
void ada_throw();
void adainit();
}

int main()
{
adainit();

try
{
ada_throw();
}
catch (abi::__foreign_exception const &e)
{
std::cout << "exception" << std::endl;
}

std::cout << "end of program" << std::endl;
return 0;
}

работает нормально, получаю:

hello
exception
end of program

Единственный улов в том, что abi::__foreign_exception не имеет what() метод, поэтому я не могу получить осмысленное сообщение об ошибке.

И отладка программы, чтобы попытаться взломать e это также тупик, так как это просто нулевой указатель с правильным типом:

(gdb) p &e
$2 = (const __cxxabiv1::__foreign_exception *) 0x0

Есть ли способ получить его из C ++?