1int main(int a, int b) {2 int r;34 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;34 if (a < b) {5 if (a < 5) {6 return 3;7 } else {8 return 2;9 }10 } else {11 return 1;12 }13}