https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102560
--- Comment #6 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- (In reply to Richard Biener from comment #5) > + 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? Patch is posted upstream, so you can respond there. But no, the intersect() method is from irange to irange. I suppose when we get rid of trees and go back to faster wide-ints for the internal representation, we could add such a method.