https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114041
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #9) > Created attachment 57554 [details] > gcc14-pr114041.patch > > stmt_simple_for_scop_p tests for INTEGRAL_TYPE_P (it used to test > INTEGER_TYPE some years ago), so I think we should do the same here too. Yes, I think the test in add_conditions_to_domain should be an assert, we can, at that point, not simply "ignore" any constraint (and while we technically can fail this function isn't set up for that).
