1#include "stub.h"
2
3int inc(int x) {
4 switch (x) {
5 case 0: puts(s: "0"); return 1;
6 case 1: puts(s: "1"); return 2;
7 case 2: puts(s: "2"); return 3;
8 case 3: puts(s: "3"); return 4;
9 case 4: puts(s: "4"); return 5;
10 case 5: puts(s: "5"); return 6;
11 default: return x + 1;
12 }
13}
14
15int inc_dup(int x) {
16 switch (x) {
17 case 0: puts(s: "0"); return 1;
18 case 1: puts(s: "1"); return 2;
19 case 2: puts(s: "2"); return 3;
20 case 3: puts(s: "3"); return 4;
21 case 4: puts(s: "4"); return 5;
22 case 5: puts(s: "5"); return 6;
23 default: return x + 1;
24 }
25}
26
27int main() {
28 return inc(x: 5) - 2*inc_dup(x: 2);
29}
30

source code of bolt/test/Inputs/icf-jump-tables.c