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
|
/* run.config
OPT: -sparecode-debug 1 -sparecode-analysis -journal-disable -main main_top
OPT: -sparecode-debug 1 -sparecode-analysis -journal-disable -main main_call_top
OPT: -sparecode-debug 1 -sparecode-analysis -journal-disable -main main_top_not_used
*/
void print (int x);
int not_used_in_main_top (int x) {
print (x);
return x+2;
}
int f (int a) {
return a+1;
}
int main_top (int nb, ...) {
int x = 3;
int y = f (2);
return x;
}
int main_call_top (void) {
int x = main_top (2, 0, 1);
x = not_used_in_main_top (x);
return x;
}
int main_top_not_used (void) {
int a = main_top (2, 0, 1);
int x = f (2);
return x;
}
|
