https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109564
--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 54892 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54892&action=edit patch I am testing This is the patch I am testing which XFAILs the four testcases. It would be nice to somehow recover the unexecutable edge cases and somehow distinguish them from UNDEFINED arguments. I'm not sure if ranger has anything to track that besides relying on UNDEFINED being propagated as range across such edges?
