From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?=D0=94=D0=B5=D0=BD=D0=B8=D1=81_?= =?UTF-8?Q?=D0=A0=D0=B5=D0=B4=D0=BE=D0=B7=D1=83=D0=B1=D0=BE=D0=B2?= Newsgroups: gmane.emacs.bugs Subject: bug#27761: Crash while using proof-general/company-coq on OS X Date: Wed, 19 Jul 2017 15:03:37 -0400 Message-ID: References: <83wp74bbvg.fsf@gnu.org> <29A99649-8E46-4ED8-88EE-000F5926400C@gmail.com> <83pocwb8qx.fsf@gnu.org> <83mv80b78w.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="001a1130c0764a8e320554b04b52" X-Trace: blaine.gmane.org 1500491423 32103 195.159.176.226 (19 Jul 2017 19:10:23 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 19 Jul 2017 19:10:23 +0000 (UTC) Cc: 27761@debbugs.gnu.org, John Wiegley To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Jul 19 21:10:15 2017 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dXuML-0007mR-N6 for geb-bug-gnu-emacs@m.gmane.org; Wed, 19 Jul 2017 21:10:09 +0200 Original-Received: from localhost ([::1]:34694 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dXuMR-0001B2-Dz for geb-bug-gnu-emacs@m.gmane.org; Wed, 19 Jul 2017 15:10:15 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:60458) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dXuMI-00015i-LH for bug-gnu-emacs@gnu.org; Wed, 19 Jul 2017 15:10:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dXuME-0003JW-S1 for bug-gnu-emacs@gnu.org; Wed, 19 Jul 2017 15:10:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:45460) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dXuME-0003JL-O6 for bug-gnu-emacs@gnu.org; Wed, 19 Jul 2017 15:10:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dXuME-00022X-1K for bug-gnu-emacs@gnu.org; Wed, 19 Jul 2017 15:10:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: =?UTF-8?Q?=D0=94=D0=B5=D0=BD=D0=B8=D1=81_?= =?UTF-8?Q?=D0=A0=D0=B5=D0=B4=D0=BE=D0=B7=D1=83=D0=B1=D0=BE=D0=B2?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 19 Jul 2017 19:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 27761 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 27761-submit@debbugs.gnu.org id=B27761.15004913557780 (code B ref 27761); Wed, 19 Jul 2017 19:10:01 +0000 Original-Received: (at 27761) by debbugs.gnu.org; 19 Jul 2017 19:09:15 +0000 Original-Received: from localhost ([127.0.0.1]:48137 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dXuLT-00021Q-8Y for submit@debbugs.gnu.org; Wed, 19 Jul 2017 15:09:15 -0400 Original-Received: from mail-ua0-f181.google.com ([209.85.217.181]:35602) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dXuGS-0001tG-Dq for 27761@debbugs.gnu.org; Wed, 19 Jul 2017 15:04:04 -0400 Original-Received: by mail-ua0-f181.google.com with SMTP id 64so6772390uae.2 for <27761@debbugs.gnu.org>; Wed, 19 Jul 2017 12:04:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=t4jx8KBBbwsywalV4+janO0sv1GuqvhI0GjJoWkEQ88=; b=G8/L1iVFpErF9wSt+VosTOgx5gBZyNT98Z6nbLQbzNnXEgDg0Zka5TI0MZH8kceZMP yR/agd7f1uf3O4/9lYIL27yh8h8086AKi1oEFU7UN6arUwmSeIMJU/UzNJeeTS9K+aTL QXJO8EVsFSlhzLfQGPZ3c5+pd4yeL7wprBsVgXs2vlAzYJJTqIuGVlt8gAW1PDFlE9Kr a7slJ1ErjBedD+XGhtFF9l8AnDFbNn/FCq8xpJqJ3TE3+1JuYFBcqZZOFmoziFkdmaD1 doR9qR8UbEMprYkWKcp69HfS6JJluuYlfqhzhUDsF4BZTNBvDzPuahFhzOgsRIpCvxwv BDIg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc; bh=t4jx8KBBbwsywalV4+janO0sv1GuqvhI0GjJoWkEQ88=; b=toEB7Kkl42YT6NxQhOtX8p1QWZuY1N674Fw6uOlo/TytJutMdudYj1chCCJkv2xFMV K8UvOHI6cl/c2OF7u6Sr1bfbgZ5ZwNdCSIvJdoqlzNErmFQFR/jrsY3odYt2wrYA+/fK XpjkdQ0YKfWhouSapqD1IWjFE2mvecFSAho+xWxC03HRAQRyQSsBdAy8Kqaxqdfd/JEx wQH0O5c5bigP6ZAWT0Y/pIsDhxfc7T0lRCrFwAQ+GIzP7QJE8vrKe7d/X457Q0fwkRmm v/BNC4POHHiUPYXk5XVOv1BSptV3bLyNDTqSd9uib0M0bXExogLQnvfcHmP+8aGdZ/K9 yDkQ== X-Gm-Message-State: AIVw1120nkFpoUFn1lzMSRwzQLjJ4xILsBSJw3mJD8mVP+7Ie1ei1z9E xZbv1DKif1io6P1QPnqN9996I7uswQ== X-Received: by 10.31.33.20 with SMTP id h20mr523795vkh.190.1500491037705; Wed, 19 Jul 2017 12:03:57 -0700 (PDT) Original-Received: by 10.159.33.150 with HTTP; Wed, 19 Jul 2017 12:03:37 -0700 (PDT) In-Reply-To: <83mv80b78w.fsf@gnu.org> X-Google-Sender-Auth: fE8yNwbCnlgaCl0xEsu-Ke-yTS4 X-Mailman-Approved-At: Wed, 19 Jul 2017 15:09:13 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:134761 Archived-At: --001a1130c0764a8e320554b04b52 Content-Type: text/plain; charset="UTF-8" I think it's reasonable to do both, but maybe it makes more sense to me to start with the latter. I'll need some help from John though. We'll keep you posted. 2017-07-19 14:40 GMT-04:00 Eli Zaretskii : > > From: John Wiegley > > Cc: denis.redozubov@gmail.com, 27761@debbugs.gnu.org > > Date: Wed, 19 Jul 2017 14:34:15 -0400 > > > > >>>>> Eli Zaretskii writes: > > > > >> This may be hard, but we'll try. It's 100% reproducible in both 25.1 > and > > >> 25.2, but involves company-coq, Proof General, and some particular > source > > >> files. > > > > > Aren't those available for reproducing on another machine? > > > > Sure, if you're willing to install them, we can send the source files > and the > > exact steps. > > Please go ahead. > > > > Alternatively, I could guide you through debugging the recursion, but > I'll > > > need you to use GDB, not the macOS debugger. > > > > Sadly, only lldb is possible here. :( > > Then I cannot help you with specific commands, but if you could step > through that code in get_next_display_element which recurses, and tell > me why it does so, what is the character where this happens, and what > is the value of it->method there, it could give some hints. > --001a1130c0764a8e320554b04b52 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I think it's reasonable to do both, but maybe=C2=A0it = makes more sense to me to start with the latter. I'll need some help fr= om John though. We'll keep you posted.
=
2017-07-19 14:40 GMT-04:00 Eli Zaretskii <eliz@g= nu.org>:
> From: John Wi= egley <jwiegley@gmail.com><= br> > Cc: denis.redozubov@gmail= .com,=C2=A0 27761@debbugs.gnu.= org
> Date: Wed, 19 Jul 2017 14:34:15 -0400
>
> >>>>> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> This may be hard, but we'll try. It's 100% reproducib= le in both 25.1 and
> >> 25.2, but involves company-coq, Proof General, and some parti= cular source
> >> files.
>
> > Aren't those available for reproducing on another machine? >
> Sure, if you're willing to install them, we can send the source fi= les and the
> exact steps.

Please go ahead.

> > Alternatively, I could guide you through debugging the recursion,= but I'll
> > need you to use GDB, not the macOS debugger.
>
> Sadly, only lldb is possible here. :(

Then I cannot help you with specific commands, but if you could step=
through that code in get_next_display_element which recurses, and tell
me why it does so, what is the character where this happens, and what
is the value of it->method there, it could give some hints.

--001a1130c0764a8e320554b04b52--