Package: why Version: 2.04.dfsg-1 Severity: normal Steps to reproduce:
------------------------------------------------------------
$ rm -f ~/.gwhyrc
$ touch test.mlw
$ gwhy test.mlw
[...] .gwhyrc : invalid value for window_width
[...] .gwhyrc : invalid value for window_height
[...] .gwhyrc : invalid value for font_size
Segmentation fault
------------------------------------------------------------
The warnings are probably not related to the crash, as by adding those
values to ~/.gwhyrc by hand I only get the segmentation fault. gwhy
also crashes on valid bigger .why files.
Here's first a C backtrace, illustrating the gtk side of the things:
------------------------------------------------------------
#0 gtk_text_view_set_attributes_from_style (text_view=0x930170, values=0x0,
style=0x932820) at /build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:5883
#1 0x00002b94f9b569d1 in gtk_text_view_style_set (widget=0x930170,
previous_style=0x932040) at /build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:3610
#2 0x00002b94fbbab92a in g_closure_invoke () from /usr/lib/libgobject-2.0.so.0
#3 0x00002b94fbbbba3d in ?? () from /usr/lib/libgobject-2.0.so.0
#4 0x00002b94fbbbca33 in g_signal_emit_valist () from
/usr/lib/libgobject-2.0.so.0
#5 0x00002b94fbbbcc03 in g_signal_emit () from /usr/lib/libgobject-2.0.so.0
#6 0x00002b94f9bb366e in gtk_widget_set_style_internal (widget=0x930170,
style=0x932820, initial_emission=0)
at /build/buildd/gtk+2.0-2.10.13/gtk/gtkwidget.c:5136
#7 0x00002b94f9bb3807 in reset_rc_styles_recurse (widget=0x930170, data=0x0)
at /build/buildd/gtk+2.0-2.10.13/gtk/gtkwidget.c:5343
#8 0x00002b94f9affb5f in gtk_scrolled_window_forall (container=0x9ae280,
include_internals=1, callback=0x2b94f9bb37c0 <reset_rc_styles_recurse>,
callback_data=0x0) at
/build/buildd/gtk+2.0-2.10.13/gtk/gtkscrolledwindow.c:986
#9 0x00002b94f9a6f21a in gtk_frame_forall (container=0x9ae1e0,
include_internals=<value optimized out>, callback=0x2b94f9bb37c0
<reset_rc_styles_recurse>,
callback_data=0x0) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkframe.c:270
#10 0x00002b94f99f1e70 in gtk_box_forall (container=0x94f0a0,
include_internals=<value optimized out>, callback=0x932820, callback_data=0x0)
at /build/buildd/gtk+2.0-2.10.13/gtk/gtkbox.c:670
#11 0x00002b94f9aedd54 in gtk_rc_reset_widgets (settings=0x95dc00) at
/build/buildd/gtk+2.0-2.10.13/gtk/gtkrc.c:1630
#12 0x00002b94f9aedf1e in _gtk_rc_context_get_default_font_name
(settings=0x95dc00) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkrc.c:1728
#13 0x00002b94f9b16361 in _gtk_style_init_for_settings (style=0x932430,
settings=0x0) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkstyle.c:383
#14 0x00002b94f9b21abd in gtk_style_init (style=0x932430) at
/build/buildd/gtk+2.0-2.10.13/gtk/gtkstyle.c:410
#15 0x00002b94fbbcadf0 in g_type_create_instance () from
/usr/lib/libgobject-2.0.so.0
#16 0x00002b94fbbb21bd in ?? () from /usr/lib/libgobject-2.0.so.0
#17 0x00002b94fbbb05f4 in g_object_newv () from /usr/lib/libgobject-2.0.so.0
#18 0x00002b94fbbb103c in g_object_new_valist () from
/usr/lib/libgobject-2.0.so.0
#19 0x00002b94fbbb1271 in g_object_new () from /usr/lib/libgobject-2.0.so.0
#20 0x00002b94f9aeed45 in gtk_rc_init_style (context=0x9778b0,
rc_styles=0x9c2890) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkrc.c:2377
#21 0x00002b94f9aef1f6 in IA__gtk_rc_get_style (widget=0x930170) at
/build/buildd/gtk+2.0-2.10.13/gtk/gtkrc.c:2018
#22 0x00002b94f9bb37a8 in gtk_widget_reset_rc_style (widget=0x930170) at
/build/buildd/gtk+2.0-2.10.13/gtk/gtkwidget.c:4809
#23 0x00002b94f9b593bb in gtk_text_view_ensure_layout (text_view=0x930170) at
/build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:5973
#24 0x00002b94f9b59a99 in gtk_text_view_update_layout_width
(text_view=0x930170) at /build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:1814
#25 0x00002b94f9b5a324 in gtk_text_view_value_changed (adj=0x0, text_view=0x0)
at /build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:6789
#26 0x00002b94fbbab92a in g_closure_invoke () from /usr/lib/libgobject-2.0.so.0
#27 0x00002b94fbbbbc08 in ?? () from /usr/lib/libgobject-2.0.so.0
#28 0x00002b94fbbbca33 in g_signal_emit_valist () from
/usr/lib/libgobject-2.0.so.0
#29 0x00002b94fbbbcc03 in g_signal_emit () from /usr/lib/libgobject-2.0.so.0
#30 0x00002b94f9bb2081 in IA__gtk_widget_set_scroll_adjustments
(widget=0x930170, hadjustment=0x9c20a0, vadjustment=0x9c20f0)
at /build/buildd/gtk+2.0-2.10.13/gtk/gtkwidget.c:3982
#31 0x00002b94f9b01265 in gtk_scrolled_window_add (container=0x9ae280,
child=0x930170) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkscrolledwindow.c:1560
#32 0x00002b94fbbab92a in g_closure_invoke () from /usr/lib/libgobject-2.0.so.0
#33 0x00002b94fbbbba3d in ?? () from /usr/lib/libgobject-2.0.so.0
#34 0x00002b94fbbbca33 in g_signal_emit_valist () from
/usr/lib/libgobject-2.0.so.0
#35 0x00002b94fbbbcc03 in g_signal_emit () from /usr/lib/libgobject-2.0.so.0
#36 0x00000000005a2248 in ?? ()
#37 0x00000000005c06f8 in ?? ()
[...]
#67 0x00000000005c074e in ?? ()
#68 0x0000000000000000 in ?? ()
------------------------------------------------------------
Unfortunately the (gtk?) libraries included seem to make ocaml level
debugging rather impossible:
------------------------------------------------------------
$ ocamldebug -I config -I src -I java -I jc -I ocamlgraph -I tools -I lib/hol4/
-I intf -I c -I mix bin/gwhy.byte ~/why/test.mlw
Objective Caml Debugger version 3.09.2
(ocd) goto 3067329
Loading program... done.
Time : 3067329 - pc : 133612 - module CamlinternalOO
374 <|b|>if inits <> [] then iter_f obj inits;
(ocd) bt
Backtrace:
#0 Pc : 133612 CamlinternalOO char 11138
(Encountered a function with no debugging information)
(ocd) s
Lost connection with process 16404 (active process)
between time 3067329 and time 3067330
Trying to recover...
------------------------------------------------------------
However I tried something:
------------------------------------------------------------
(ocd) break @ stat 764
Breakpoint 2 at 1414888 : file intf/stat.ml, line 763, characters 13-45
(ocd) run
Time : 3067302 - pc : 1414792 - module Stat
Breakpoint : 1
763 <|b|>let tv2 = GText.view ~packing:(sw2#add) () in
(ocd) break @ stat 765
Breakpoint 3 at 1414912 : file intf/stat.ml, line 764, characters 11-33
(ocd) r
Lost connection with process 21301 (active process)
between time 3067302 and time 3077302
------------------------------------------------------------
So it's that GText.view that's crashing (which seems consistent with
the gdb trace).
Architechture is amd64, but I also get the same bug on i386.
Sami
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.22.3-sli (PREEMPT)
Locale: LANG=C, [EMAIL PROTECTED] (charmap=ISO-8859-15)
Shell: /bin/sh linked to /bin/bash
Versions of packages why depends on:
ii libatk1.0-0 1.18.0-2 The ATK accessibility toolkit
ii libc6 2.6.1-1 GNU C Library: Shared libraries
ii libcairo2 1.4.10-1+b2 The Cairo 2D vector graphics libra
ii libfontconfig1 2.4.2-1.2 generic font configuration library
ii libglib2.0-0 2.14.0-2 The GLib library of C routines
ii libgtk2.0-0 2.10.13-1 The GTK+ graphical user interface
ii libpango1.0-0 1.16.5-1 Layout and rendering of internatio
ii libx11-6 2:1.0.3-7 X11 client-side library
ii libxcursor1 1:1.1.9-1 X cursor management library
ii libxext6 1:1.0.3-2 X11 miscellaneous extension librar
ii libxfixes3 1:4.0.3-2 X11 miscellaneous 'fixes' extensio
ii libxi6 2:1.1.2-1 X11 Input extension library
ii libxinerama1 1:1.0.2-1 X11 Xinerama extension library
ii libxrandr2 2:1.2.1-1 X11 RandR extension library
ii libxrender1 1:0.9.3-1 X Rendering Extension client libra
why recommends no packages.
-- no debconf information
signature.asc
Description: Digital signature
