> @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
