Re: Crash of Frama-C IDE with OCaml 4.02

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