https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109695
--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I think even 4080 bytes for int_range_max was quite a lot. I know it perhaps simplifies stuff a little bit and hopefully copy construction/assignments only copy the actual ranges and not the whole thing, but still.
