Re: x86 in-kernel fpu bug

[Patrick Welche <prlw1%cam.ac.uk@localhost>]

On Mon, Jul 20, 2020 at 04:49:14PM +0000, Taylor R Campbell wrote:
> > Date: Mon, 20 Jul 2020 11:04:21 +0100
> > From: Patrick Welche <prlw1%cam.ac.uk@localhost>
> > 
> > After a -current/amd64 update, a sudden outbreak of floating point exceptions:
> > 
> > /usr/src/tools/gcc/../../external/gpl3/gcc/dist/gcc/tree-ssa-operands.c:1348:1: 
> > internal compiler error: Floating point exception                               
> > 
> > Fetching message headers...
> > Floating point exception (core dumped) mutt
> > 
> > Any guesses?
> 
> There's a good chance this has been fixed in sys/arch/x86/x86/fpu.c
> revision 1.72 -- can you update and try again with a new kernel?

Indeed!

Thanks,

Patrick