|
431
|
1 // $HeadURL$
|
|
|
2 // $Date$
|
|
|
3 // $Author$
|
|
|
4
|
|
|
5 // @author@ Sean Kelly <sean@f4.ca>
|
|
|
6 // @date@ 2005-04-14
|
|
1489
|
7 // @uri@ http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=3645
|
|
431
|
8
|
|
|
9 module dstress.run.auto_07;
|
|
|
10
|
|
|
11 int status;
|
|
|
12
|
|
|
13 auto class Parent{
|
|
|
14 }
|
|
|
15
|
|
|
16 auto class Child : Parent{
|
|
|
17 this(){
|
|
1559
|
18 if(0 != status){
|
|
|
19 assert(0);
|
|
|
20 }
|
|
431
|
21 status=1;
|
|
|
22 }
|
|
|
23
|
|
|
24 ~this(){
|
|
1559
|
25 if(1 != status){
|
|
|
26 assert(0);
|
|
|
27 }
|
|
431
|
28 status=2;
|
|
|
29 }
|
|
|
30 }
|
|
|
31
|
|
|
32 void test(){
|
|
|
33 auto Parent o = new Child();
|
|
1559
|
34 if(1 != status){
|
|
|
35 assert(0);
|
|
|
36 }
|
|
431
|
37 }
|
|
|
38
|
|
|
39 int main(){
|
|
|
40 test();
|
|
799
|
41
|
|
|
42 if(status==2){
|
|
|
43 return 0;
|
|
|
44 }
|
|
|
45
|
|
|
46 assert(0);
|
|
431
|
47 }
|
|
|
48
|
