On Thu, 2020-06-04 at 16:35 -0400, Alvaro Herrera wrote:
> If it is something worth worrying about, let's discuss what's a good
> fix for it.
While making a minimal test case for the GCC bug report, I found
another surprisingly-small workaround. Patch attached.
Regards,
Jeff Davis