Re: Different results with boost

Simon Frost wrote:

> Dear Philippe,
>
> Philippe Ribet wrote:
>
>> Simon Frost wrote:
>>
>>> Any suggestions on how to debug what boost is doing would be greatly 
>>> appreciated.
>>>
>> Hello,
>>
>> there are many steps between the default all_check and boost mode. 
>> You should at least try -no_check mode. Then, either try intermediate 
>> modes in all_check-no_check range or no_check-boost range.
>>
>> Send your results to get more specific help.
>
> Thanks for the pointers; if I choose no_check, I get the same results 
> as boost, whereas if I choose any of the checks, I get a different set 
> of results. In either case, I don't get any warnings, I was just 
> surprised that one would get different answers from different 
> optimizations. Profile doesn't work at all on this code, and I'm 
> currently staring at sedb to see where the code diverges.
>

Now, you found the exact checking level that changes the behaviour of 
your code. This means you know the type of check that have side effects, 
which restrict your explorations.

Hope this helps,

-- 

             Philippe Ribet


SmartEiffel:
one methodoology, one language,
highest quality kept secret.
Visit http://smarteiffel.loria.fr