Viewing file:  switch.c (4.07 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-additional-options "-fanalyzer-transitivity" } */
#include "analyzer-decls.h"
void test (int i)
{
switch (i)
{
case 0:
__analyzer_eval (i == 0); /* { dg-warning "TRUE" } */
__analyzer_eval (i != -1); /* { dg-warning "TRUE" } */
__analyzer_eval (i != 0); /* { dg-warning "FALSE" } */
__analyzer_eval (i != 1); /* { dg-warning "TRUE" } */
break;
case 3 ... 5:
__analyzer_eval (i != 0); /* { dg-warning "TRUE" } */
__analyzer_eval (i > 1); /* { dg-warning "TRUE" } */
__analyzer_eval (i > 2); /* { dg-warning "TRUE" } */
__analyzer_eval (i >= 2); /* { dg-warning "TRUE" } */
__analyzer_eval (i >= 3); /* { dg-warning "TRUE" } */
__analyzer_eval (i <= 5); /* { dg-warning "TRUE" } */
__analyzer_eval (i < 6); /* { dg-warning "TRUE" } */
__analyzer_eval (i <= 6); /* { dg-warning "TRUE" } */
__analyzer_eval (i < 7); /* { dg-warning "TRUE" } */
__analyzer_eval (i != 6); /* { dg-warning "TRUE" } */
__analyzer_eval (i != 3); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i != 4); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i != 5); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i >= 4); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i >= 5); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i <= 3); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i <= 4); /* { dg-warning "UNKNOWN" } */
break;
default:
__analyzer_eval (i == -1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i == 0); /* { dg-warning "FALSE" } */
__analyzer_eval (i == 2); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i == 3); /* { dg-warning "FALSE" } */
__analyzer_eval (i == 4); /* { dg-warning "FALSE" } */
__analyzer_eval (i == 5); /* { dg-warning "FALSE" } */
__analyzer_eval (i == 6); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i != 0); /* { dg-warning "TRUE" } */
__analyzer_eval (i != 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i != 3); /* { dg-warning "TRUE" } */
__analyzer_eval (i != 4); /* { dg-warning "TRUE" } */
__analyzer_eval (i != 5); /* { dg-warning "TRUE" } */
__analyzer_eval (i != 6); /* { dg-warning "UNKNOWN" } */
break;
}
}
/* Verify that the analyzer follows the correct paths on a
switch statement guarded by an if, using noinline to defeat
optimizations. */
static void __attribute__((noinline))
__analyzer_called_by_test_2 (int y)
{
switch (y)
{
case 0:
__analyzer_dump_path (); /* { dg-bogus "path" } */
break;
case 1:
__analyzer_dump_path (); /* { dg-message "path" } */
break;
case 2:
__analyzer_dump_path (); /* { dg-bogus "path" } */
break;
default:
__analyzer_dump_path (); /* { dg-bogus "path" } */
break;
}
}
void test_2 (int x)
{
if (x == 1)
__analyzer_called_by_test_2 (x);
}
void test_3 (int x, int y)
{
if (y == 3)
switch (x)
{
case 0 ... 9:
case 20 ... 29:
if (x == y)
__analyzer_dump_path (); /* { dg-message "path" } */
else
__analyzer_dump_path (); /* { dg-message "path" } */
}
}
struct s4
{
unsigned char level:3;
unsigned char key_id_mode:2;
unsigned char reserved:3;
};
void test_4 (struct s4 *p)
{
switch (p->key_id_mode)
{
case 0:
__analyzer_dump_path (); /* { dg-message "path" } */
break;
case 1:
__analyzer_dump_path (); /* { dg-message "path" } */
break;
case 2:
__analyzer_dump_path (); /* { dg-message "path" } */
break;
case 3:
__analyzer_dump_path (); /* { dg-message "path" } */
break;
}
__analyzer_dump_path (); /* { dg-message "path" } */
}
int test_5 (unsigned v)
{
switch (v)
{
case 0:
return 7;
break;
case 1:
return 23;
break;
default:
return v * 2;
}
}
int test_6 (unsigned v)
{
switch (v)
{
case 0:
return 3;
case -1:
return 22;
}
return -3;
}
int g7 = -1;
int test_7 ()
{
switch (g7++) {
case 0:
return 32;
case 100:
return 42;
}
return 0;
}
|
