Your message dated Tue, 11 Oct 2016 19:52:14 +0000 with message-id <E1bu35y-0003oN-Gb@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 owner@bugs.debian.org immediately.) -- 440469: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=440469 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: gwhy crashes on startup
- From: Sami Liedes <sliedes@cc.hut.fi>
- Date: Sat, 1 Sep 2007 23:16:47 +0300
- Message-id: <20070901201647.GA23859@nun4.kyla.fi>
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 informationAttachment: signature.asc
Description: Digital signature
--- End Message ---
--- Begin Message ---
- To: 440469-close@bugs.debian.org
- Subject: Bug#440469: fixed in why 2.36-1
- From: Ralf Treinen <treinen@debian.org>
- Date: Tue, 11 Oct 2016 19:52:14 +0000
- Message-id: <E1bu35y-0003oN-Gb@franck.debian.org>
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 440469@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ralf Treinen <treinen@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 ftpmaster@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 <treinen@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 ---