early_return.cvc 338 B

123456789101112131415161718192021222324
  1. extern void printInt(int val);
  2. extern void printNewlines(int num);
  3. void foo(int p) {
  4. int i = 1;
  5. if (p < 2)
  6. return;
  7. i = -p;
  8. printInt(i);
  9. printNewlines(1);
  10. }
  11. void bar() {
  12. return;
  13. printInt(1);
  14. printNewlines(1);
  15. }
  16. export int main() {
  17. foo(0);
  18. foo(2); // prints -2
  19. bar();
  20. return 0;
  21. }