The following patch fixes https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88317   The patch was successfully bootstrapped and tested on x86/x86-64.   I think the test is too big to add it to GCC testsuite.  If Richard implements bitmap poisoning, it would be possible to find a smaller test.   Committed as rev. 266803.