Changeset 660665f for tests/forall.cfa

Timestamp:

Jun 29, 2021, 5:35:19 PM (4 years ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

dcad80a

Parents:

5a46e09 (diff), d02e547 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/forall.cfa (modified) (1 diff)

tests/forall.cfa

@@ -199 +199 @@
 }
 
+forall( T ) void check_otype() {
+        T & tr = *0p;
+        T * tp = 0p;
+
+        &tr += 1;
+        tp += 1;
+        T & tx = tp[1];
+
+        T t;
+        T t2 = t;
+}
+
+forall( T * ) void check_dstype() {
+        T & tr = *0p;
+        T * tp = 0p;
+
+        &tr += 1;
+        tp += 1;
+        T & tx = tp[1];
+}
+
+forall( T & ) void check_dtype() {
+        T & tr = *0p;
+        T * tp = 0p;
+}
+
 //otype T1 | { void xxx( T1 ); };