[PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

[kugan]

On 23/07/16 05:26, Patrick Palka wrote:
> This patch teaches VRP to register along a default switch label
> assertions that corresponds to the anti range of each case label.

Hi Patrick,

In case of a larger switch statement with case values that cannot be 
combined, you could end up with very large number of ASSERT_EXPRs in the 
default basic block. I am not sure if this would have any impact on 
compile time/memory usage? If that is the case you might want to punt at 
some length?

Thanks,
Kugan