testsuite/tests/cps/cps021.cmm


1
2
3
4
5
6
7
8
9
10
11

// Verify jumping to the beginning of the current continuation
// is done with a branch and not a jump

foo() {
  bits32 x, y, z;
  x = x;
  (x) = foreign "C--" bar() "safe";
L:
  z = z;
  goto L;
}