Re: Problem with optimizations

[Olivier Scalbert <olivier.scalbert@algosyn.com>]

(see below) wrote:

> 
> There is no else part for the following if:
> 
>             if Is_Solved(Cube) then
>                 New_Line;
>                 Put("Solved !"); New_Line;
> 
>                 for i in 1..depth-1 loop
>                     Ada.Integer_Text_IO.Put(Integer(Moves(i)));
>                 end loop;
>                 Result := True;
>             end if;
> 
> So the procedure can exit with Result undefined. Since the program is
> incorrect, varying optimisation, or implementation details, is likely to
> give varying results. Some may co-incidentally be the results you expect.
> 
> P.S. I did not use gdb.
> 

You are right !

So an Ada compiler can compile incorrect programs !
;-)