Re: Crash of Frama-C IDE with OCaml 4.02

On 2014/09/16 02:36, Adrien Nader wrote:

> 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.

Since the crash in Frama-C is a serious problem, I can do a release this week.
Does anyone have some changes waiting?

	Jacques