codeql/cpp/ql/test/query-tests/Critical/DeadCodeGoto/test.cpp at sauyon/java-spring-stringutils · ByteDecoder/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
int test1(int x) {
	goto label; // BAD
	x++;
	label: return x;
}

int test2(int x) {
	do {
		break; // BAD
		x++;
	} while(false);
	return x;
}

int test3(int x) {
	goto label; // GOOD
	label: x++;
	return x;
}

int test4(int x) {
	goto label; // GOOD
	do {
		label: x++;
	} while(false);
	return x;
}

int test5(int x, int y) {
	switch(y) {
	case 0:
		break; // GOOD
	case 1:
		goto label; // GOOD
		break;
	case 2:
		break; // BAD
		return x;
	case 3:
		return x;
		break; // GOOD
	case 4:
		goto label; // GOOD
	case 5:
		goto label;; // GOOD
	default:
		x++;
	}
	label:
	return x;
}

void test6(int x, int cond) {
	if (cond) {
		x++;
	} else goto end; // GOOD
	x++;
	end:
}

void test7(int x, int cond) {
	if (cond)
	{
		goto target;
	}
	goto somewhere_else; // GOOD
	while (x < 10) // not dead code
	{
	target:
		x++;
	}
	somewhere_else:
	switch (1)
	{
	  goto end;
	  while (x < 10) // not dead code
	  {
	case 1:
	    x++;
	  } break;
	}
	end:
}

#define CONFIG_DEFINE

void test8() {
	int x = 0;

#ifdef CONFIG_DEFINE
	goto skip; // GOOD (the `x++` is still reachable in some configurations)
#endif
	x++;

skip:
}

void test9() {
	int x = 0;

#ifdef CONFIG_NOTDEFINED
	goto mid;
#endif
	goto end; // GOOD (the `x++` is still reachable in some configurations)
mid:
	x++;

end:
}