On Sat, Jul 21, 2012 at 3:57 PM, Tom de Vries wrote:
> Jakub,
>
> this patch adds propagation of anti-ranges to switches.
>
> The test-case is this:
> ...
> void
> f3 (int s)
> {
> if (s >> 3 == -2)
> /* s in range [ -16, -9]. */
> ;
> else
> {
> /* s in range ~[-16, -9], so
Jakub,
this patch adds propagation of anti-ranges to switches.
The test-case is this:
...
void
f3 (int s)
{
if (s >> 3 == -2)
/* s in range [ -16, -9]. */
;
else
{
/* s in range ~[-16, -9], so none of the case labels can be taken. */
switch (s)
{
case
