Re: Abstract Interface - Assertion Error

[Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>]

On Fri, 2007-10-19 at 12:45 -0700, Mike.McNett wrote:

> When I build the project with Assertions enabled, I get an assertion
> error.  If I turn off the Assertions and rebuild all, I don't get the
> assertion error and everything runs as expected.  When I re-enable
> Assertions and rebuild, the assertion error comes back.
> 
> The assertion I get (shown in the debugger) is:
> ... in system.assertions.raise_assert_failure (msg=(null)) at s-
> assert.adb:44
> 44      s-assert.adb: No such file or directory.

(Adding the GNAT source directory (gcc/..../adainclude/)
to GDBs search path should make the location be known to it.)

>         in s-assert.adb
> 

The next best thing to do that I can think of (other than asking
the library producers if this is a bug) is to try tracing
this. E.g., using a dummy program main_unit that will deliberately
trigger an exception in library code,

$ gnatmake -s -a -g -gnata main_unit.adb -bargs -E

$ ./main_unit
Execution terminated by unhandled exception
Exception name: PROGRAM_ERROR
Message: a-cohama.adb:198 explicit raise
Call stack traceback locations:
0x805f4bc 0x805d03b 0x805df9a 0x805cfa4 0x80498ca 0xb7e25eba

$  addr2line -e trigger_af 0x805f4bc 0x805d03b 0x805df9a \
	0x805cfa4 0x80498ca 0xb7e25eba