Changeset d2034b4 for src/tests

Timestamp:

Mar 19, 2018, 5:29:23 PM (8 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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, with_gc

Children:

f810e09

Parents:

c5ce0ec (diff), 12db9e4 (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 plg2:software/cfa/cfa-cc

Location:

src/tests

Files:

• .expect/references.txt (modified) (1 diff)
• references.c (modified) (2 diffs)

src/tests/.expect/references.txt

@@ -28 +28 @@
 Destructing a Y
 Destructing a Y
+3 3
+3
+3
+3 9 { 1, 7 }, [1, 2, 3]
 Destructing a Y
 Destructing a Y

src/tests/references.c

@@ -49 +49 @@
                 &r1 = x,    &&r2 = r1,   &&&r3 = r2;
         ***p3 = 3;                          // change x
+        // ((int&)r3 = 3;                      // change x, ***r3
         **p3 = &x;                          // change p1
+        // ((int*&)&r3) = &x;                  // change r1, (&*)**r3
         *p3 = &p1;                          // change p2
+        // ((int**&)&&r3) = &p2;               // change r2, (&(&*)*)*r3
+        // ((int***&)&&&r3) = p3;              // change r3 to p3, (&(&(&*)*)*)r3
         int y = 0, z = 11, & ar[3] = { x, y, z };    // initialize array of references
+        // &ar[1] = &z;                        // change reference array element
+        // typeof( ar[1] ) p;                  // is int, i.e., the type of referenced object
+        // typeof( &ar[1] ) q;                 // is int &, i.e., the type of reference
+        // sizeof( ar[1] ) == sizeof( int );   // is true, i.e., the size of referenced object
+        // sizeof( &ar[1] ) == sizeof( int *); // is true, i.e., the size of a reference
 
         // test that basic reference properties are true - r1 should be an alias for x
@@ -76 +85 @@
         &z1.r = &z1r;
         &z2.r = &z2r;
+
         z1 = z2;
+
+        // test rvalue-to-reference conversion
+        {
+                struct S { double x, y; };
+                void f( int & i, int & j, S & s, int v[] ) {
+                        printf("%d %d { %g, %g }, [%d, %d, %d]\n", i, j, s.[x, y], v[0], v[1], v[2]);
+                }
+                void g(int & i) { printf("%d\n", i); }
+                void h(int &&& i) { printf("%d\n", i); }
+
+                int &&& r = 3;  // rvalue to reference
+                int i = r;
+                printf("%d %d\n", i, r);  // both 3
+
+                g( 3 );          // rvalue to reference
+                h( (int &&&)3 ); // rvalue to reference
+
+                int a = 5, b = 4;
+                f( 3, a + b, (S){ 1.0, 7.0 }, (int [3]){ 1, 2, 3 } ); // two rvalue to reference
+        }
 }