blob: fa7e809ee0c2dc7f307f94d7a87acb34e2176493 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// Verify jumping to the begining 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;
}
|