;
}
- //
- // Bug 59867
- //
- static void test39 (out int a)
+ static int test40 (int stop)
{
- int x_0 = 0;
- int ll_1 = 0;
-
- switch (0) {
- default:
- switch (x_0) {
- default:
- if (ll_1 == 0)
- break;
- else
- goto k_1;
- }
- a = 5;
- break;
- k_1:
+ int service;
+
+ int pos = 0;
+ do {
+ service = 1;
break;
- }
+ } while (pos < stop);
+
+ return service;
}
}