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

[Eli Zaretskii]

> From: Денис Редозубов <denis.redozubov@gmail.com>
> Date: Tue, 1 Aug 2017 21:22:55 +0300
> Cc: Eli Zaretskii <eliz@gnu.org>, 27761@debbugs.gnu.org, Glenn Morris 
> <rgm@gnu.org>
> 
> 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.