GNU bug report logs - #27761
Crash while using proof-general/company-coq on OS X

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: John Wiegley <jwiegley <at> gmail.com>
Cc: 27761 <at> debbugs.gnu.org, denis.redozubov <at> gmail.com
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Wed, 19 Jul 2017 21:07:50 +0300

> From: John Wiegley <jwiegley <at> gmail.com>
> Date: Wed, 19 Jul 2017 13:47:49 -0400
> Cc: denis.redozubov <at> gmail.com, 27761 <at> debbugs.gnu.org
> 
> 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?

> If I gave you a Docker image within which we can reproduce the problem, could you run that?

I'd prefer not to.

Alternatively, I could guide you through debugging the recursion, but
I'll need you to use GDB, not the macOS debugger.

Thanks.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.