Changeset 332e93a for tests/zero_one.cfa

Timestamp:

Feb 4, 2025, 9:18:54 PM (7 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

090b076

Parents:

985ff5f (diff), 1ee74df (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/zero_one.cfa (modified) (1 diff)

tests/zero_one.cfa

@@ -39 +39 @@
 }
 
+void testCompats() {
+    zero_t zero = 0;
+    one_t one = 1;
+
+    int x = 0;
+        int xx = zero;
+
+        sout | x | xx;
+
+        x = xx = 42;
+        sout | x | xx;
+
+        x = 0;
+        xx = zero;
+        sout | x | xx;
+
+        int y = 1;
+        int yy = one;
+
+        sout | y | yy;
+
+        y = yy = 42;
+        sout | y | yy;
+
+        y = 1;
+        yy = one;
+        sout | y | yy;
+
+        void z_helper( int * p, zero_t z ) {
+                p = z;  // expect z not reported unused here; expect no missing cast from -Wint-conversion
+                sout | "zero" | (bool) (p == 0);
+        }
+
+        void z_call( int * p, zero_t z ) {
+                z_helper(p, z);
+        }
+
+        void o_helper( int * p, one_t o ) {
+          #ifdef ERR1
+                p = o;
+          #else
+                (void) x;  (void) o;
+          #endif
+                sout | "one" | (bool) (p == 0);
+        }
+
+        void o_call( int * p, one_t o ) {
+                o_helper(p, o);
+        }
+
+        z_call( &x, 0 );
+        z_call( &x, zero );
+
+        o_call( &x, 1 );
+        o_call( &x, one );
+}
+
 int main() {
         testOverloads();
         testInitAssignQueryIncrement();
+        testCompats();
         return 0;
 }