Subject: bug#27761: Crash while using proof-general/company-coq on OS X

From: Eli Zaretskii <[email-masked]>
Date: Tue, 01 Aug 2017 22:12:19 +0300

> From: Денис Редозубов <[email-masked]>
> Date: Tue, 1 Aug 2017 21:22:55 +0300
> Cc: Eli Zaretskii <[email-masked]>, [email-masked], Glenn Morris <[email-masked]>
> 
> I'm finally ready to continue with this. I've installed the gdb on os x(with nix) and built emacs as described in
> etc/DEBUG document.

Thank you.  Please start Emacs under GDB, using the "run" command,
then perform your reproduction recipe and see that Emacs crashes and
GDB takes control.  Then type

  (gdb) bt

and show here the results.