test_deliverable/testcases/test_SWITCHDEF.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

int switchdef(int a)
{
    switch(a)
    {
    case 0:
	return 38;
    case 1:
	return 2;
    case 2:
	a = 64;
	a += 23;
	a %= 23;
    default:
	a -= 4;
	break;
    }

    return a;
}