1int main(int a, int b) {
2 int r;
3
4 if (a < b) {
5 if (a < 5) {
6 return 3;
7 } else {
8 return 2;
9 }
10 } else {
11 return 1;
12 }
13}
A symbolic executor for the QBE intermediate language
git clone https://git.8pit.net/qsym.git
1int main(int a, int b) {
2 int r;
3
4 if (a < b) {
5 if (a < 5) {
6 return 3;
7 } else {
8 return 2;
9 }
10 } else {
11 return 1;
12 }
13}