On Wed, 11 May 2016, Marc Glisse wrote:

> We could also use set_range_info and make simplify_conversion_using_ranges 
> use get_range_info instead of get_value_range.

Something like this seems to fix the testcase. I'll try to submit it 
properly, but I don't know when. (I also added the ~X&C transform to my 
TODO-list)

-- 
Marc Glisse