https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102446
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I think PR23567 is quite different, that was about stores to a place that might not be writable, this is about making a possibly trapping conditional load being unconditional.