ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change
on this file since c6e6333 was
c6e6333,
checked in by Rob Schluntz <rschlunt@…>, 7 years ago
|
Update autogen test case
|
-
Property mode set to
100644
|
File size:
1.0 KB
|
Rev | Line | |
---|
[c6e6333] | 1 | // TODO: add error cases (e.g., use of field constructors for managed types, etc.) |
---|
| 2 | |
---|
[8e138da] | 3 | enum Color { R, G, B }; |
---|
| 4 | |
---|
| 5 | // empty struct/union should have generated ctor/dtors |
---|
| 6 | union U {}; |
---|
| 7 | struct S {}; |
---|
| 8 | |
---|
[c6e6333] | 9 | struct SimpleUnion { |
---|
| 10 | int x; |
---|
| 11 | double y; |
---|
| 12 | char z; |
---|
| 13 | }; |
---|
| 14 | |
---|
| 15 | struct SimpleStruct { |
---|
| 16 | int x; |
---|
| 17 | double y; |
---|
| 18 | char z; |
---|
| 19 | }; |
---|
| 20 | |
---|
[8e138da] | 21 | // struct/union with members with generated ctor/dtors should themselves have generated ctor/dtors |
---|
| 22 | union PopulatedUnion { |
---|
| 23 | Color c; |
---|
| 24 | U u; |
---|
| 25 | S s; |
---|
| 26 | }; |
---|
| 27 | |
---|
| 28 | struct PopulatedStruct { |
---|
[c6e6333] | 29 | Color c; |
---|
[8e138da] | 30 | U u; |
---|
| 31 | S s; |
---|
| 32 | }; |
---|
| 33 | |
---|
| 34 | forall(otype T) |
---|
| 35 | T identity(T x) { return x; } |
---|
| 36 | |
---|
[c6e6333] | 37 | // can identity e if only sized or only the assertion, but the combination breaks... |
---|
| 38 | // forall(dtype T | sized(T) | { void ?{}(T &); }) |
---|
| 39 | // void identity(T x) { } |
---|
| 40 | |
---|
[8e138da] | 41 | int main() { |
---|
| 42 | S s; |
---|
| 43 | U u; |
---|
[c6e6333] | 44 | Color e; |
---|
[8e138da] | 45 | |
---|
[c6e6333] | 46 | // identity(R); // Color should be an otype |
---|
| 47 | // identity((Color)e); |
---|
[8e138da] | 48 | identity(u); // U should be an otype |
---|
| 49 | identity(s); // S should be an otype |
---|
| 50 | |
---|
| 51 | PopulatedStruct ps; |
---|
| 52 | PopulatedUnion pu; |
---|
| 53 | |
---|
| 54 | identity(ps); // should recursively be an otype |
---|
| 55 | identity(pu); // should recursively be an otype |
---|
| 56 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.