Changes in src/tests/references.c [ec776c4:9d5fb67]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/tests/references.c
rec776c4 r9d5fb67 45 45 } 46 46 47 // --- temporary code needed to make array of references subscript work.48 extern "C" {49 void ** __index(__attribute__ ((unused)) size_t sizeof_T, __attribute__ ((unused)) size_t alignof_T, void **x, ptrdiff_t y) {50 return (void **)((char *)x+y*sizeof(void *));51 }52 void __ctor(void ***dst, void **src) {53 *dst = src;54 }55 }56 __attribute__((alias("__index"))) forall( dtype T | sized(T) ) T && ?[?]( T & * x, ptrdiff_t y );57 __attribute__((alias("__ctor"))) forall( dtype DT ) void ?{}( DT & * & dst, DT & * src);58 forall( dtype DT ) void ^?{}( DT & * & ) {}59 // --- end of temporary code60 61 47 int main() { 62 48 int x = 123456, x2 = 789, *p1 = &x, **p2 = &p1, ***p3 = &p2, … … 66 52 *p3 = &p1; // change p2 67 53 int y = 0, z = 11, & ar[3] = { x, y, z }; // initialize array of references 68 &ar[1] = &z; // change reference array element69 typeof( ar[1] ) p = 3;// is int, i.e., the type of referenced object70 typeof( &ar[1] ) q = &x; // is int *, i.e., the type of pointer71 _Static_assert( sizeof( ar[1] ) == sizeof( int ), "Array type should be int."); // is true, i.e., the size of referenced object72 _Static_assert( sizeof( &ar[1] ) == sizeof( int *), "Address of array should be int *."); // is true, i.e., the size of a reference54 // &ar[1] = &z; // change reference array element 55 // typeof( ar[1] ) p; // is int, i.e., the type of referenced object 56 // typeof( &ar[1] ) q; // is int &, i.e., the type of reference 57 // sizeof( ar[1] ) == sizeof( int ); // is true, i.e., the size of referenced object 58 // sizeof( &ar[1] ) == sizeof( int *); // is true, i.e., the size of a reference 73 59 74 60 ((int*&)&r3) = &x; // change r1, (&*)**r3
Note: See TracChangeset
for help on using the changeset viewer.