Re: Problem with optimizations

["Albrecht Käfer" <albrecht_kaefer@yahoo.de>]

(see below) schrieb::
> 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.

Shouldn't that, you know, create a warning or something?


Albrecht