https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252
--- Comment #13 from Roger Orr <rogero at howzatt dot demon.co.uk> --- The patch sadly does not appear to fix the (very similar looking) valgrind compilation failure I posted in pr71269. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71269#c7
