https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92131
--- Comment #15 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > We cannot really add range bounds to symbolics because those bounds > are not added in the IL and thus those adds are prone to overflowing. Yes, the issue is very likely in the way we use combine_bound.
