Your message dated Tue, 11 Oct 2016 19:52:14 +0000
with message-id <e1bu35y-0003on...@franck.debian.org>
and subject line Bug#440469: fixed in why 2.36-1
has caused the Debian Bug report #440469,
regarding gwhy crashes on startup
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
440469: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=440469
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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, LC_CTYPE=fi_FI@euro (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
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.36-1
We believe that the bug you reported is fixed in the latest version of
why, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 440...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <trei...@debian.org> (supplier of updated why package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 11 Oct 2016 21:28:06 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool for C and Java
Closes: 440469 807051 815684
Changes:
why (2.36-1) unstable; urgency=medium
.
* New upstream release. This version compiles with coq 8.5
and drops the gwhy binary (Closes: #440469).
- refreshed patches bprintf and edge
- dropped patch makefile as ocaml warning options are now set
by configure
- dropped patch atp-versions which is now obsolete
* Due to disappearance of the why binary:
- drop why-cpulimit manpage since this binary is no longer build:
(files d/why-cpulimit.1 and d/why.manpages)
- remove d/why.links as upstream does not ship the why manpage any more
- add build-dependency on why3 and why3-coq
- package why: add dependency on why3
- d/tests/frama-c+jessie+alt-ergo: adapt to why3
- package why: remove Recommends of SMT solvers
- remove tests why+{alt-ergo,coq,cvc3}
- rewrite package description
- add why.NEWS entry about the transition to why3
* Due to disappearance of doc/manual.ps and ocamlgraph/ from upstream:
- remove d/purify-source
- drop filter from d/gbp.conf
* Due to disappearance of examples from upstream: don't build binary
package why-examples
* Patch reproducible_build: remove timestamps (closes: #807051).
Thanks to Valentin Lorentz for the patch!
* debian/control:
- Dropped build-dependency on libfloat-coq (closes: #815684)
- Bumped build-dependency on frama-c to magnesium.
- Standards-Version 3.9.8 (no change)
- d/control remove redundant XS-Testsuite field
- Vcs-{Browser,Git}: use secure URI
* debian/watch:
- format version 4
- get link to newest version from the krakatoa home page (instead of
trying to read the download/ directory).
* debhelper-compatibility level 10:
- bump value in d/compat
- build-depends on debhelper (>=10)
- invocation of dh in d/rules: sequence argument before options
* update homepage to krakatoa.lri.fr
* create manpages, based on the output of help2man, for jessie and krakatoa
* drop autoconf from d/rules and from build-dependencies
* d/rules: disable upstream tests
* d/rules: create bin directory before invoking dh_auto_build
* d/tests: add test krakato+alt-ergo
* remove d/README.source which is obsolete.
Checksums-Sha1:
7cfc3d196cd8340442e083634f7c55e4a155ecc1 2305 why_2.36-1.dsc
c243c7415cd803c3c871951fb1b582024a4842dc 1769606 why_2.36.orig.tar.gz
d09e6132d3f6f1c5e69da40e02b550ffbda57d3c 11276 why_2.36-1.debian.tar.xz
Checksums-Sha256:
df953808e8b7890c82447594c253ac96c12d964e2fad75fdc55d73bac5e7dcf3 2305
why_2.36-1.dsc
7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7 1769606
why_2.36.orig.tar.gz
6a73f8e99658a54e09826f9a8bb6c5b3640601fe0aea769db8e9ba35e446b096 11276
why_2.36-1.debian.tar.xz
Files:
6f84cbb4763ea91d64b31ab15c6ce1d5 2305 math optional why_2.36-1.dsc
31a7c2fc14657124179e4f970c2f56f5 1769606 math optional why_2.36.orig.tar.gz
86bbbe84d6e05ae955c574b27640dc0c 11276 math optional why_2.36-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJX/UEEAAoJEHRcR2bUys3/QsEP/Rw+p69n5AbSoCqwdD2i/SyE
NMD8LxxzgAtiLIAP6NLmL8KETDQ8clvtDH4Ro0ut6Cf78JXAo2/pLwGyp9wmIT6p
kVdfGiEyByJYuYmts2N5E6Jw8j8qKVD/k9PvMF4NZtzEnGZzkzXtoo8jukVo3ijc
NX68/Fu4GYUCVElezhzmjwocRF/T7wLjqbE4X/2pWnPEN8uKkkDF8YFxsz2CTI0r
eMH/uAq8KjZwIYxfRfyF8uLjxGrfrOjcqBLDUVcVsN2zF9o6jIN4+RQnwxvyw/EC
RdrHj3SLQLh4JnL9X/8KvWZaDda2hkbS6eKEogJ7JEwCQU0gluWKb/qnRa7s0Aji
GRTdLEA/MfxSijkqHSTHdQt950UNTE5EOjEwPUQTfCbVGh8pyKbYR4YSL9cfVy6n
QcZq57O8Ov0EeBlXYcu1QhOyLKimTVzRofHasepvPdopKhUaIi5OS0G96PDdpR3o
5K1aH+OljbVeFyWYkZ94zAxsY2OBzmv4GJ5+tjJiIyCdvHSQ7lxYWrbWZGWxnQpN
qH8Uvi9yrryS9TL+JwXyKw2woflSY1XtkW+U23KtjnOHAKAvIJXCpB3ZQCRG0rcs
WFC9vgJyjlwbw+Aw7c1MvAyaPFR7PBWI1ikboxDaciq4rNNvhH+AY/j4NA8BgP7Z
iopu1QqQUv3XiFa8DuYa
=aDTk
-----END PGP SIGNATURE-----
--- End Message ---
