Re: My first compiler bug: work around or redesign?

[Natasha Kerensikova <lithiumcat@gmail.com>]

On 2012-03-23, Robert A Duff <bobduff@shell01.TheWorld.com> wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> First, make sure your code is legal. In some cases GNAT crashes when
>> detects an error in the program. One method to find the problem is to
>> comment offending source code lines until it compiles and then twist it
>> this or that way.
>
> It's easier to use the -gnatdO switch, which is documented
> in debug.adb.

I tried compiling my code with that extra flag, and I got exactly the
same error output.

I don't know really know what conclusion to draw from there.
Documentation says it makes the compiler fail faster, I guess minimizing
the surface for potential other errors.

Anyway, I tend to believe my code to be legal, since it's very close to
the previous version that did compile and run correctly. But then again,
even small differences can affect legality...



Thanks for your help,
Natasha