https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92096
--- Comment #5 from Roger Orr <rogero at howzatt dot demon.co.uk> --- Hello Jakub, I've checked; I no longer see this fault.
rogero at howzatt dot demon.co.uk Tue, 10 Mar 2020 14:23:11 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92096
--- Comment #5 from Roger Orr <rogero at howzatt dot demon.co.uk> --- Hello Jakub, I've checked; I no longer see this fault.