Re: Add missing int_cst_rangeN checks to tree-vrp.c

2017-09-20 Thread Richard Biener
On Wed, Sep 20, 2017 at 2:09 PM, Richard Sandiford wrote: > The BIT_AND_EXPR handling in extract_range_from_binary_expr_1 > was using value_range_constant_singleton without first checking > whether the range was a constant. The earlier handling was correctly > guarded: > > /* If either

Add missing int_cst_rangeN checks to tree-vrp.c

2017-09-20 Thread Richard Sandiford
The BIT_AND_EXPR handling in extract_range_from_binary_expr_1 was using value_range_constant_singleton without first checking whether the range was a constant. The earlier handling was correctly guarded: /* If either input range contains only non-negative values we can trun