https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67607
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> --- Created attachment 36362 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36362&action=edit shortening The shortening case seems much easier and does not require VRP information. Calling get_range_info from match.pd is not done now (not sure if it would be a good idea or not), so the widening case may have to be written separately in VRP.