Re: Problem with optimizations

["(see below)" <yaldnif.w@blueyonder.co.uk>]

On 28/04/2009 20:06, in article 49f753b9$0$2861$ba620e4c@news.skynet.be,
"Olivier Scalbert" <olivier.scalbert@algosyn.com> wrote:

> (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 !
> ;-)

It has no alternative, thanks to Turing.
8-) | 8-(

-- 
Bill
"To explain the unknown by the known is a logical procedure; to explain
the known by the unknown is a form of theological lunacy." David Brooks