192
|
1 // $HeadURL$
|
|
2 // $Date$
|
|
3 // $Author$
|
|
4
|
|
5 module dstress.run.return_03;
|
|
6
|
|
7 int status;
|
|
8
|
|
9 int test(char[][] args){
|
|
10 try{
|
|
11 try{
|
|
12 if(args.length==1){
|
|
13 return -1;
|
|
14 }
|
|
15 }finally{
|
|
16 assert(status==0);
|
|
17 status+=2;
|
|
18 }
|
|
19
|
|
20 try{
|
|
21 assert(0);
|
|
22 }finally{
|
|
23 assert(0);
|
|
24 }
|
|
25 }finally{
|
|
26 assert(status==2);
|
|
27 status+=3;
|
|
28 }
|
|
29 assert(0);
|
|
30 return 0;
|
|
31 }
|
|
32
|
|
33 int main(char[][] args){
|
|
34 assert(status == 0);
|
|
35 assert(args.length == 1);
|
|
36 assert(test(args) == -1);
|
|
37 assert(status == 5);
|
|
38 return 0;
|
|
39 }
|