https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102560
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- + int_range<2> invalid_range (build_int_cst (size_type_node, 0), + build_int_cst (size_type_node, max_size), r.intersect (invalid_range); is there no way to .intersect with a wide_int instead?