Bug#662738: frama-c: segfault when running frama-c-gui

[Raphael Geissert <geissert@debian.org>]

Package: frama-c
Version: 20111001+nitrogen+dfsg-3

Hi Mehdi,

I just found out about frama-c and wanted to give it a try. However:

$ frama-c-gui
Segmentation fault

The backtrace goes all the way to libQtGui.so.4 (I use the libqt4 gtk 
engine) from the following:

#67 0xb7df61a2 in gtk_widget_show () from /usr/lib/libgtk-x11-2.0.so.0
#68 0x0858e787 in ml_gtk_widget_show ()
#69 0x084eb431 in camlGWindow__method_show_3683 ()
#70 0xb6690270 in ?? ()
Backtrace stopped: previous frame inner to this frame (corrupt stack?)

The rest is probably not very relevant, so I'm omitting it.

Cheers,
--
Raphael Geissert - Debian Developer
www.debian.org - get.debian.net