[m-rev.] for review: add a workaround for Mantis bug #492

[Peter Wang]

On Thu, 16 Jan 2020 22:27:33 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> 
> > The bug is supposed to be fixed but the fix didn't make it into
> > gcc 9.2, so maybe limit the workaround to gcc 9.1 and gcc 9.2.
> 
> Done.
> 
> > I'll try verify a gcc snapshot tomorrow.
> 
> Thanks.

Well, the patch isn't on the gcc-9 branch (yet?) so maybe it won't make
it to the gcc 9 series after all.

Peter