Changeset b93a3de for src/tests/ctor-autogen.c

Timestamp:

Oct 19, 2017, 11:15:35 AM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

86f852b

Parents:

f232977

git-author:

Rob Schluntz <rschlunt@…> (10/13/17 16:07:34)

git-committer:

Rob Schluntz <rschlunt@…> (10/19/17 11:15:35)

Message:

Update ctor-autogen test case

File:

• src/tests/ctor-autogen.c (modified) (3 diffs)

src/tests/ctor-autogen.c

@@ -32 +32 @@
 };
 
+// managed type - defines a constructor - can't use field constructors
+struct Managed {
+        int x;
+};
+
+void ?{}(Managed & m) { m.x = 0; }
+
+// managed type since it contains a managed type - can't use field constructors
+struct InheritManaged {
+        Managed m;
+};
+
 forall(otype T)
 T identity(T x) { return x; }
@@ -49 +61 @@
         identity(s);  // S should be an otype
 
+        SimpleStruct ss;
+        SimpleUnion su;
+
+        identity(ss);
+        identity(su);
+
         PopulatedStruct ps;
         PopulatedUnion pu;
@@ -54 +72 @@
         identity(ps); // should recursively be an otype
         identity(pu); // should recursively be an otype
+
+#if ERR1
+        Managed x = { 123 }; // error
+        Managed y;           // okay
+
+        InheritManaged z = { y };  // error?
+#endif
+
 }