Changeset c6e6333

Timestamp:

Oct 19, 2017, 11:13:11 AM (6 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:

eaa2edaa

Parents:

8e138da

git-author:

Rob Schluntz <rschlunt@…> (10/06/17 16:16:35)

git-committer:

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

Message:

Update autogen test case

File:

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

src/tests/ctor-autogen.c

@@ +1 @@
+// TODO: add error cases (e.g., use of field constructors for managed types, etc.)
+
 enum Color { R, G, B };
 
@@ -4 +6 @@
 union U {};
 struct S {};
+
+struct SimpleUnion {
+        int x;
+        double y;
+        char z;
+};
+
+struct SimpleStruct {
+        int x;
+        double y;
+        char z;
+};
 
 // struct/union with members with generated ctor/dtors should themselves have generated ctor/dtors
@@ -13 +27 @@
 
 struct PopulatedStruct {
-        Color state;
+        Color c;
         U u;
         S s;
@@ -21 +35 @@
 T identity(T x) { return x; }
 
+// can identity e if only sized or only the assertion, but the combination breaks...
+// forall(dtype T | sized(T) | { void ?{}(T &); })
+// void identity(T x) {  }
+
 int main() {
         S s;
         U u;
+        Color e;
 
-        identity(R);  // Color should be an otype
+        // identity(R);  // Color should be an otype
+        // identity((Color)e);
         identity(u);  // U should be an otype
         identity(s);  // S should be an otype