gnat 4.9.2 on arm with rtems

[Arnaud Charlet]

> @Arnaud: I saw quite a lot of #pragma Debug-lines in the rts-code. Is there a
> simple way of activating them without having to recompile gnat?

No, you need to compile the runtime with -gnata to enable assertions and
enable support for pragma Debug. You can add gnata to GNATLIBFLAGS
in libada/Makefile.in for instance.

Note that enabling assertions may be enough to locate the early
error/inconsistency although since you likely have a memory corruption, this
isn't guaranteed.

Arno