https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121101
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 61883 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61883&action=edit patch for the gimple verifier I had this patch for the GIMPLE verifier but it requires more refactoring around reference/address verification (and general TLC would be good, we're still only rejecting invalid stuff rather than only accepting valid things).