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, 2 Aug 2017 01:48:36 +0300 Message-ID: References: <83y3riapq2.fsf@gnu.org> <94196959-2ede-273d-6bc3-a8f214b128e0@aurox.ch> <83lgnha9kv.fsf@gnu.org> <83pocp7ope.fsf@gnu.org> <127db243-cb9b-c89b-ad40-35feb7a513bf@aurox.ch> <68f0bd6c-1ad8-3c52-c5cc-2655600cef4d@aurox.ch> <83379g4bso.fsf@gnu.org> <837eyq3bch.fsf@gnu.org> <5ddb802a-7c0c-bf0b-ec85-6ed19e5ea7df@aurox.ch> <83mv7jyuek.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="001a1141dd54dd2b690555b8f3af" X-Trace: blaine.gmane.org 1501627827 14093 195.159.176.226 (1 Aug 2017 22:50:27 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 1 Aug 2017 22:50:27 +0000 (UTC) Cc: 27761@debbugs.gnu.org, "Charles A. Roelli" To: John Wiegley Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Aug 02 00:50:22 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 1dcfzP-0002on-0R for geb-bug-gnu-emacs@m.gmane.org; Wed, 02 Aug 2017 00:50:11 +0200 Original-Received: from localhost ([::1]:44792 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dcfzU-0006wy-QM for geb-bug-gnu-emacs@m.gmane.org; Tue, 01 Aug 2017 18:50:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:60346) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dcfzK-0006u1-1Y for bug-gnu-emacs@gnu.org; Tue, 01 Aug 2017 18:50:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dcfzH-0004xX-0C for bug-gnu-emacs@gnu.org; Tue, 01 Aug 2017 18:50:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:34764) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dcfzG-0004xG-Hf for bug-gnu-emacs@gnu.org; Tue, 01 Aug 2017 18:50:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dcfzG-000792-B3 for bug-gnu-emacs@gnu.org; Tue, 01 Aug 2017 18:50: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: Tue, 01 Aug 2017 22:50:02 +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.150162774527377 (code B ref 27761); Tue, 01 Aug 2017 22:50:02 +0000 Original-Received: (at 27761) by debbugs.gnu.org; 1 Aug 2017 22:49:05 +0000 Original-Received: from localhost ([127.0.0.1]:37438 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dcfyL-00077P-4P for submit@debbugs.gnu.org; Tue, 01 Aug 2017 18:49:05 -0400 Original-Received: from mail-vk0-f53.google.com ([209.85.213.53]:33411) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dcfyI-00076d-Q1 for 27761@debbugs.gnu.org; Tue, 01 Aug 2017 18:49:04 -0400 Original-Received: by mail-vk0-f53.google.com with SMTP id x10so11844804vkd.0 for <27761@debbugs.gnu.org>; Tue, 01 Aug 2017 15:49:02 -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=lv28+lqWzLMuZQdTB/Mo9ToSRtMWUFaJ2LxjbdHVAqo=; b=isNWkjPoTspv6Ri+8PkjI9KpXN12kT7RwqQCbZCJfcdCktWFipcEOILI9TJQLm4SPs L9ZX7Lm1P3Ez/rNGWDAkkUXp1yNxL6FHReoKVOHw2ym5xatdJqGnP7HkFzV+1fR6wLM4 z5Qlo6rVPHWhYjMP1zWaezzbaWZjuXDZZkAoZ66VX54TxQBdxFfokGRALo4+ApsBApnp 89mWZr3jDBlcpUCSiyWA81M8ct7cZpAnOKgnTaXvkNF1HNssnNyvnbaTelmdFX+siIB4 cLFyyQ+btNIH6nneQXJgSd5fqcEQu6jpfh0HBr6W6pvdqHY5Twe7OaZ1Du3dvxbLRv/t R+dg== 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=lv28+lqWzLMuZQdTB/Mo9ToSRtMWUFaJ2LxjbdHVAqo=; b=YU+8pZJLPWJjGk8yhJNvlvqazBqMEnoE1hFfaVUXcZoSb8pcFHFCg8u96FV67wgaiY Eoivni2SL3tVbVtv3sOcHndgpRuXnd0rOBHpGM5AECDDICQ7SmVeceKypdyKsu3jhbUR UoWN5893rTHJP2s9xcHhSNK/ZidvkLqFYQMU4Z6IQG8tyPaiJDxaaX8LHIphwVG8N/f+ pjik1eNTTFIcC6+3INoCa3mscOG6AbdfIrjmZ0CuuLJkXYIPWKLdLuCxnyJaZPG1HCWZ nL9vaZkRN6ktypJaGyeAjoov1SreK8M+NZ1rzGu48nQsMPdnBm5ArhzcNAhN36EmqQrE A/ow== X-Gm-Message-State: AIVw112nzUWWtwYrh9Ei4f89gvuHAFm+dvObkyWhNWk1Y8uNKZy/33oM fPAEZPTXWfiCHLOn6EK5bJxhlpK1Tg== X-Received: by 10.31.26.133 with SMTP id a127mr13758949vka.94.1501627737253; Tue, 01 Aug 2017 15:48:57 -0700 (PDT) Original-Received: by 10.159.33.150 with HTTP; Tue, 1 Aug 2017 15:48:36 -0700 (PDT) In-Reply-To: X-Google-Sender-Auth: RuC3kmjVP52vGzrajY0tsM-nm8A 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:135234 Archived-At: --001a1141dd54dd2b690555b8f3af Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable (gdb) tb Temporary breakpoint 1 at 0x1000377c5: file xdisp.c, line 6922. > Also, does it also happen with Emacs master? I haven't tried it yet, it's emacs-25 branch. Should I switch to master? 2017-08-02 1:27 GMT+03:00 John Wiegley : > >>>>> "=D0=94=D0=A0" =3D=3D =D0=94=D0=B5=D0=BD=D0=B8=D1=81 =D0=A0=D0=B5= =D0=B4=D0=BE=D0=B7=D1=83=D0=B1=D0=BE=D0=B2 writ= es: > > =D0=94=D0=A0> (gdb) tb > > Thank you, Denis! > > Also, does it also happen with Emacs master? > > -- > John Wiegley GPG fingerprint =3D 4710 CF98 AF9B 327B B80= F > http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 > --001a1141dd54dd2b690555b8f3af Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
(gdb) tb
Temporary breakpoint 1 at 0x100037= 7c5: file xdisp.c, line 6922.

>=C2=A0Also, does it also happen with Emacs m= aster?

=
I haven= 9;t tried it yet, it's emacs-25 branch. Should I switch to master?

201= 7-08-02 1:27 GMT+03:00 John Wiegley <jwiegley@gmail.com>:
>>>>> &quo= t;=D0=94=D0=A0" =3D=3D =D0=94=D0=B5=D0=BD=D0=B8=D1=81 =D0=A0=D0=B5=D0= =B4=D0=BE=D0=B7=D1=83=D0=B1=D0=BE=D0=B2 <denis.redozubov@gmail.com> writes:

=D0=94=D0=A0> (gdb) tb

Thank you, Denis!

Also, does it also happen with Emacs master?

--
John Wiegley=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = GPG fingerprint =3D 4710 CF98 AF9B 327B B80F
htt= p://newartisans.com=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 60E1 46C4 BD1A 7AC1 4BA2

--001a1141dd54dd2b690555b8f3af--