Anyone noticed strange signals (segfaults?) delivered to processes in latest Rawhide in Koji?

[Richard W.M. Jones]

On Fri, Jul 27, 2012 at 02:22:09PM -0600, Jerry James wrote:
> On Fri, Jul 27, 2012 at 11:45 AM, Jerry James <loganjerry at gmail.com> wrote:
> > No, I never filed one.  I've never been sure whether it was a coq
> > problem, an ocaml problem, or something else.  I also haven't tried
> > building for awhile.  I'm going to fire off a scratch build and see
> > what happens.
> 
> Same as before; the binaries are created successfully, but coqdoc
> eventually segfaults on 32-bit x86 after some apparently random number
> of runs:
> 
> http://koji.fedoraproject.org/koji/taskinfo?taskID=4336975
> 
> The coq build may be a good one for tripping over whatever is wrong
> because of the sheer number of times coqdoc is invoked during the
> build.

Seth got me the IP addr where ocamlopt.opt was segfaulting,
which is a good start:

https://bugzilla.redhat.com/show_bug.cgi?id=843731#c4

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://et.redhat.com/~rjones/virt-df/