Re: Crash of Frama-C IDE with OCaml 4.02

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 ?

On Mon, Sep 15, 2014 at 3:39 PM, Adrien Nader <[email protected]> wrote:
>
> Hi,
>
> On Mon, Sep 15, 2014, Boris Yakobowski wrote:
>> Hi all,
>>
>> Frama-C's IDE is segfaulting when compiled with OCaml 4.02, typically
>> using the version of Lablgtk present in Opam
>> (https://bts.frama-c.com/view.php?id=1919, in particular for the
>> backtrace). The problem disappears when we deactive all calls to the
>> method #set_bounds on GData#adjustment.
>>
>> Interestingly, the GIT version of Lablgtk seems to correct this
>> problem, although no commit is identified as fixing such a crash. Does
>> anyone have an idea on what happens, and would it be possible to get a
>> new release of Lablgtk so that we could depend on it ?
>
> The last two patches are probably related:
>   Make Float_val an alias for Double_val
>   (iirc, adjustments all use that)
>
>   Use properties in GtkAdjustment, rather than direct accessors
>   (that one is clearly related to adjustments but I can't tell if it
>   could avoid a segfault :) )
>
> --
> Adrien Nader
>



-- 
Boris