Re: Crash of Frama-C IDE with OCaml 4.02

On Mon, Sep 15, 2014, Boris Yakobowski wrote:
> Hi Adrien,
> 
> Thanks for you answer.
> 
> We also noticed those commits, and surmised that they were probably
> related. What I do not understand is, what change in OCaml 4.02
> transforms the bug from a silent one into a crash ?

I can't really tell. As was mentionned on the caml-list, 4.02 has a
number of optimizations and different behaviours that might trigger bugs
more easily.

I wasn't able to look at the backtrace since it requires a log in but I
can also imagine that repeated API abuse through the use of floats while
believing doubles are at use could trigger a crash.

As for a release, I don't see anything against having one. Not many
changes but almost one year has passed since the last one. It's
typically Jacques how's doing them so it's better to leave the last word
to him probably. Nice thing is that with few changes it's easier to
test.

-- 
Adrien Nader