source: src/tests/raii/ctor-autogen.c@ aee472e

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum with_gc
Last change on this file since aee472e was 80e8582, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

Move constructor/destructor tests to raii subdirectory
  • Property mode set to 100644
File size: 2.9 KB
Line 
1// TODO: add error cases (e.g., use of field constructors for managed types, etc.)
2
3enum Color { R, G, B };
4
5// empty struct/union should have generated ctor/dtors
6union U {};
7struct S {};
8
9struct SimpleUnion {
10 int x;
11 double y;
12 char z;
13};
14
15struct SimpleStruct {
16 int x;
17 double y;
18 char z;
19};
20
21// struct/union with members with generated ctor/dtors should themselves have generated ctor/dtors
22union PopulatedUnion {
23 Color c;
24 U u;
25 S s;
26};
27
28struct PopulatedStruct {
29 Color c;
30 U u;
31 S s;
32};
33
34// dtype-static generic type is otype
35forall(dtype T)
36struct DtypeStaticStruct {
37 T * data;
38 short size;
39};
40
41forall(dtype T)
42union DtypeStaticUnion {
43 T * data;
44 short size;
45};
46
47// dynamic generic type is otype
48forall(otype T)
49struct DynamicStruct {
50 T x;
51};
52
53forall(otype T)
54union DynamicUnion {
55 T x;
56};
57
58// struct/union that contains a generic type is
59struct GenericContainingStruct {
60 DynamicStruct(int) dsi;
61 DynamicStruct(double) dsd;
62 DynamicUnion(int) dui;
63 DynamicUnion(double) dud;
64 DtypeStaticStruct(int) dssi;
65 DtypeStaticStruct(float) dssf;
66 DtypeStaticUnion(int) dsui;
67 DtypeStaticUnion(float) dsuf;
68};
69
70union GenericContainingUnion {
71 DynamicStruct(int) dsi;
72 DynamicStruct(double) dsd;
73 DynamicUnion(int) dui;
74 DynamicUnion(double) dud;
75 DtypeStaticStruct(int) dssi;
76 DtypeStaticStruct(float) dssf;
77 DtypeStaticUnion(int) dsui;
78 DtypeStaticUnion(float) dsuf;
79};
80
81
82forall(otype T)
83T identity(T x) { return x; }
84
85// can identity e if only sized or only the assertion, but the combination breaks...
86// forall(dtype T | sized(T) | { void ?{}(T &); })
87// void identity(T x) { }
88
89#if ERR1
90// managed type - defines a constructor - can't use field constructors
91struct Managed {
92 int x;
93};
94
95void ?{}(Managed & m) { m.x = 0; }
96
97// managed type since it contains a managed type - can't use field constructors
98struct InheritManaged {
99 Managed m;
100};
101
102Managed x = { 123 }; // error
103Managed y; // okay
104
105InheritManaged z = { y }; // error?
106#endif
107
108int main() {
109 S s;
110 U u;
111 Color e;
112
113 // identity(R); Color constant should be Color which is otype
114 identity(e); // Color should be an otype
115 identity(u); // U should be an otype
116 identity(s); // S should be an otype
117
118 SimpleStruct ss;
119 SimpleUnion su;
120
121 identity(ss);
122 identity(su);
123
124 PopulatedStruct ps;
125 PopulatedUnion pu;
126
127 identity(ps); // should recursively be an otype
128 identity(pu); // should recursively be an otype
129
130 DynamicStruct(int) dsi;
131 DynamicStruct(double) dsd;
132 DynamicUnion(int) dui;
133 DynamicUnion(double) dud;
134 DtypeStaticStruct(int) dssi;
135 DtypeStaticStruct(float) dssf;
136 DtypeStaticUnion(int) dsui;
137 DtypeStaticUnion(float) dsuf;
138
139 identity(dsi);
140 identity(dsd);
141 // identity(dui); // xxx - codegen errors in generated thunk _temp3 (Box-pass-generated assignment return-temporary)
142 // identity(dud);
143 identity(dssi);
144 identity(dssf);
145 identity(dsui);
146 identity(dsuf);
147
148 GenericContainingStruct gcs;
149 GenericContainingUnion gcu;
150
151 identity(gcs);
152 identity(gcu);
153}
Note: See TracBrowser for help on using the repository browser.