Changeset 509ec82 for tests/typedefRedef.cfa

Timestamp:

Dec 1, 2024, 9:04:12 PM (10 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

eae8b37

Parents:

3e2e9b2 (diff), 1c0a3a4 (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/typedefRedef.cfa (modified) (1 diff)

tests/typedefRedef.cfa

@@ -30 +30 @@
 // if a typedef has an array dimension, it can only be redefined to the same dimension
 typedef int ARR[2];
+#endif
+
+typedef [ float[], char[], int[] ] ARRSa;
+typedef [ float[], char[], int[] ] ARRSa;
+#ifdef ERR1
+typedef [ float[], char[2], int[] ] ARRSa;
+#endif
+
+typedef int ARRSb[][1][2][3];
+typedef int ARRSb[][1][2][3];
+#ifdef ERR1
+typedef int ARRSb[][1][2][99];
 #endif