blob: 7799de618ee666d4813a48aa9eca7108da6bc251 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#include <stdio.h>
#include <stdlib.h>
#define YCF_YIELD()
int fun(char x){
int y = 10;
int i = 0;
printf("BEFORE YCF_YIELD()\n");
y = y + x;/*y == 11*/
for (i = 0; i < 100; i++){
printf("ITER %d\n", i);
y = y + x;
YCF_YIELD();
}
printf("AFTER YCF_YIELD()\n");/*y == 111*/
y = y*3;
return y;/*y == 333*/
}
int main( int argc, const char* argv[] )
{
#ifdef YCF_YIELD_CODE_GENERATED
void* wb = NULL;
#endif
int ret = 0;
#ifdef YCF_YIELD_CODE_GENERATED
do{
ret = fun(1,&wb,1);
if(wb != NULL){
printf("TRAPPED\n");
}
}while(wb != NULL);
#else
fun(1);
#endif
printf("RETURNED %d\n", ret);
return 0;
}
|
