Re: Abstract Interface - Assertion Error

["Mike.McNett" <michael.mcnett@usma.edu>]

On Oct 19, 1:46 pm, Georg Bauhaus <rm.tsoh+bauh...@maps.futureapps.de>
wrote:
> Mike.McNett wrote:
> >>> Which compiler/version are you using?- Hide quoted text -
> >> We are running 3.4.6 for GNAT GPL 2006.
> > And that's on Linux.
>
> With assertions enabled, nothing unusual is produced by
>
> with Matrix_Graph;
>
> procedure test_iface is
>     X: Matrix_Graph.Matrix_Graph_Type;
> begin
>     null;
> end;
>
> using the most recent GNAT GPL 2007-1 (Windows, this time).
> Does the Assert_Failure message point anywhere? To the
> runtime, or some line number?
>
> IIRC, the 2006 edition did have some support for Ada 2005,
> but wasn't fully supporting the new language yet. Perhaps a
> more recent compiler is worth a try.

This is rather odd....

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.
        in s-assert.adb

>From what I can tell, it seems like it's a bug in gcc.  What do you
think?

Mike