bug#23522: 25.0.93; SEGFAULT when displaying HELLO

[Eli Zaretskii]

> From: Michael Welsh Duggan <mwd@cert.org>
> Date: Thu, 12 May 2016 13:23:38 -0400
> Cc: 23522@debbugs.gnu.org
> 
> > HELLO crash plus "old" RHEL makes me think of
> >
> > https://bugzilla.redhat.com/show_bug.cgi?id=844776
> >
> > Could you be getting libotf from openmpi instead?
> 
> Unlikely.  This system does not have openmpi installed.  No openmpi
> packages, and no files with openmpi in the filename found by locate.
> 
> Also, the error is a segfault, rather than a "symbol lookup error".

Please rebuild without optimizations, with --enable-checking, and with
"-g3" in the compiler switches, reproduce the problem, and post the
backtrace you get then.

Thanks.