https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109564
--- Comment #16 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Richard Biener from comment #15) > Created attachment 54892 [details] > patch I am testing Bootstrapped and tested on x86_64-unknown-linux-gnu, the XFAILs of gcc.dg/pr102648.c and gcc.dg/pr103359.c are not necessary. > 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?
