| 1 | //                               -*- Mode: C -*- 
 | 
|---|
| 2 | // 
 | 
|---|
| 3 | // Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
 | 
|---|
| 4 | //
 | 
|---|
| 5 | // The contents of this file are covered under the licence agreement in the
 | 
|---|
| 6 | // file "LICENCE" distributed with Cforall.
 | 
|---|
| 7 | // 
 | 
|---|
| 8 | // attributes.c -- 
 | 
|---|
| 9 | // 
 | 
|---|
| 10 | // Author           : Peter A. Buhr
 | 
|---|
| 11 | // Created On       : Mon Feb  6 16:07:02 2017
 | 
|---|
| 12 | // Last Modified By : Peter A. Buhr
 | 
|---|
| 13 | // Last Modified On : Mon Feb  6 16:08:21 2017
 | 
|---|
| 14 | // Update Count     : 2
 | 
|---|
| 15 | // 
 | 
|---|
| 16 | 
 | 
|---|
| 17 | 
 | 
|---|
| 18 | // label attribute
 | 
|---|
| 19 | int la() {
 | 
|---|
| 20 |   L: __attribute__(( unused )) 1;
 | 
|---|
| 21 | }
 | 
|---|
| 22 | 
 | 
|---|
| 23 | 
 | 
|---|
| 24 | // aggregate_name
 | 
|---|
| 25 | struct __attribute__(( unused )) {};
 | 
|---|
| 26 | struct __attribute__(( unused )) Agn1;
 | 
|---|
| 27 | struct __attribute__(( unused )) Agn2 {};
 | 
|---|
| 28 | enum __attribute__(( unused )) { E1 };
 | 
|---|
| 29 | enum __attribute__(( unused )) Agn3;
 | 
|---|
| 30 | enum __attribute__(( packed )) Agn3 { E2 };
 | 
|---|
| 31 | #ifdef __CFA__
 | 
|---|
| 32 | struct __attribute__(( unused )) ( int ) {};
 | 
|---|
| 33 | struct __attribute__(( unused )) ( int ) {};
 | 
|---|
| 34 | #endif // __CFA__
 | 
|---|
| 35 | 
 | 
|---|
| 36 | 
 | 
|---|
| 37 | // field_declaring_list
 | 
|---|
| 38 | struct Fdl {
 | 
|---|
| 39 |     int f1 __attribute__(( unused ));
 | 
|---|
| 40 |     int __attribute__(( unused )) f2;
 | 
|---|
| 41 |     int __attribute__(( unused )) f3 __attribute__(( unused ));
 | 
|---|
| 42 |     __attribute__(( unused )) int f4;
 | 
|---|
| 43 |     __attribute__(( unused )) int f5 __attribute__(( unused ));
 | 
|---|
| 44 |     __attribute__(( used )) int f6 __attribute__(( packed )), f7 __attribute__(( unused )) __attribute__(( unused )), __attribute__(( used )) f8 __attribute__(( unused ));
 | 
|---|
| 45 |     int __attribute__(( unused ));
 | 
|---|
| 46 |     int ( ( * (f9) __attribute__(( unused )) ) __attribute__(( unused )) );
 | 
|---|
| 47 | };
 | 
|---|
| 48 | 
 | 
|---|
| 49 | 
 | 
|---|
| 50 | // asm_name_opt
 | 
|---|
| 51 | int f() asm( "xyz" ) __attribute__(( unused ));
 | 
|---|
| 52 | 
 | 
|---|
| 53 | 
 | 
|---|
| 54 | // variable_declarator
 | 
|---|
| 55 | const __attribute__(( used )) int vd1 __attribute__(( used )), __attribute__(( unused )) vd2;
 | 
|---|
| 56 | const __attribute__(( used )) int __attribute__(( used )) * __attribute__(( used )) vd3 __attribute__(( used )), __attribute__(( unused )) (* __attribute__(( unused )) (vd4)) __attribute__(( used ));
 | 
|---|
| 57 | const __attribute__(( used )) int __attribute__(( used )) vd5[5] __attribute__(( used )), __attribute__(( unused )) ((vd6)[5]) __attribute__(( used ));
 | 
|---|
| 58 | const __attribute__(( used )) int __attribute__(( used )) (* __attribute__(( used )) vd7)() __attribute__(( used )), __attribute__(( unused )) ((* __attribute__(( used )) vd8)()) __attribute__(( used ));
 | 
|---|
| 59 | 
 | 
|---|
| 60 | 
 | 
|---|
| 61 | // function_declarator
 | 
|---|
| 62 | __attribute__(( unused )) int f1() __attribute__(( used ));
 | 
|---|
| 63 | __attribute__(( unused )) int f1() {}
 | 
|---|
| 64 | __attribute__(( unused )) int * __attribute__(( unused )) * const __attribute__(( unused )) f2() __attribute__(( used ));
 | 
|---|
| 65 | __attribute__(( unused )) int * __attribute__(( unused )) * const __attribute__(( unused )) f2() {}
 | 
|---|
| 66 | __attribute__(( unused )) int (* __attribute__(( unused )) f3(int))[] __attribute__(( used ));
 | 
|---|
| 67 | __attribute__(( unused )) int (* __attribute__(( unused )) f3(int p))[] {}
 | 
|---|
| 68 | __attribute__(( unused )) int (* __attribute__(( unused )) f4())(int) __attribute__(( used ));
 | 
|---|
| 69 | __attribute__(( unused )) int (* __attribute__(( unused )) f4())(int) {}
 | 
|---|
| 70 | 
 | 
|---|
| 71 | #ifdef __CFA__
 | 
|---|
| 72 | extern "C" {
 | 
|---|
| 73 | #endif // __CFA__
 | 
|---|
| 74 | typedef long int ptrdiff_t;
 | 
|---|
| 75 | typedef long unsigned int size_t;
 | 
|---|
| 76 | extern void *malloc (size_t __size) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__malloc__)) ;
 | 
|---|
| 77 | extern void free (void *__ptr) __attribute__ ((__nothrow__ , __leaf__));
 | 
|---|
| 78 | extern void abort (void) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
 | 
|---|
| 79 | extern int atexit0 (void (*__func) (void), void *, void *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__nonnull__ (1)));
 | 
|---|
| 80 | extern void exit (int __status) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
 | 
|---|
| 81 | extern int printf (__const char *__restrict __format, ...) __attribute__ ((format (printf, 1, 2)));
 | 
|---|
| 82 | #ifdef __CFA__
 | 
|---|
| 83 | }
 | 
|---|
| 84 | #endif // __CFA__
 | 
|---|
| 85 | 
 | 
|---|
| 86 | 
 | 
|---|
| 87 | // variable_type_redeclarator
 | 
|---|
| 88 | typedef int t1, t2, t3, t4, t5, t6, t7, t8;
 | 
|---|
| 89 | int vtr() {
 | 
|---|
| 90 |     // redefine typedef name in new scope
 | 
|---|
| 91 |     __attribute__(( unused )) int __attribute__(( unused )) t1 __attribute__(( used ));
 | 
|---|
| 92 |     __attribute__(( unused )) int __attribute__(( unused )) (* (* t2 __attribute__(( unused )) ) __attribute__(( unused )) ) __attribute__(( unused ));
 | 
|---|
| 93 |     __attribute__(( unused )) int __attribute__(( unused )) t3[5] __attribute__(( unused ));
 | 
|---|
| 94 |     __attribute__(( unused )) int __attribute__(( unused )) (* (* __attribute__(( unused )) t4[5]) __attribute__(( unused )) ) __attribute__(( unused ));
 | 
|---|
| 95 |     __attribute__(( unused )) int __attribute__(( unused )) t5() __attribute__(( unused ));
 | 
|---|
| 96 |     __attribute__(( unused )) int __attribute__(( unused )) * __attribute__(( unused )) ((t6))() __attribute__(( unused ));
 | 
|---|
| 97 | }
 | 
|---|
| 98 | 
 | 
|---|
| 99 | 
 | 
|---|
| 100 | // identifier_parameter_declarator
 | 
|---|
| 101 | int ipd1( __attribute__(( unused )) int __attribute__(( unused )) p __attribute__(( unused )),
 | 
|---|
| 102 |           __attribute__(( unused )) int __attribute__(( unused )) q __attribute__(( unused )) );
 | 
|---|
| 103 | int ipd1( __attribute__(( unused )) int __attribute__(( unused )) p __attribute__(( unused )),
 | 
|---|
| 104 |           __attribute__(( unused )) int __attribute__(( unused )) q __attribute__(( unused )) ) {}
 | 
|---|
| 105 | int ipd2( __attribute__(( unused )) int __attribute__(( unused )) * __attribute__(( unused )) p __attribute__(( unused )),
 | 
|---|
| 106 |           __attribute__(( unused )) int __attribute__(( unused )) (* (q)) __attribute__(( unused )) );
 | 
|---|
| 107 | int ipd2( __attribute__(( unused )) int __attribute__(( unused )) * __attribute__(( unused )) p __attribute__(( unused )),
 | 
|---|
| 108 |           __attribute__(( unused )) int __attribute__(( unused )) (* (q)) __attribute__(( unused )) ) {}
 | 
|---|
| 109 | int ipd3( __attribute__(( unused )) int __attribute__(( unused )) p[] __attribute__(( unused )),
 | 
|---|
| 110 |           __attribute__(( unused )) int __attribute__(( unused )) ((q)[]) __attribute__(( unused )) );
 | 
|---|
| 111 | int ipd3( __attribute__(( unused )) int __attribute__(( unused )) p[] __attribute__(( unused )),
 | 
|---|
| 112 |           __attribute__(( unused )) int __attribute__(( unused )) ((q)[]) __attribute__(( unused )) ) {}
 | 
|---|
| 113 | int ipd4( __attribute__(( unused )) int __attribute__(( unused )) p() __attribute__(( unused )),
 | 
|---|
| 114 |           __attribute__(( unused )) int __attribute__(( unused )) ((q)()) __attribute__(( unused )) );
 | 
|---|
| 115 | int ipd4( __attribute__(( unused )) int __attribute__(( unused )) p() __attribute__(( unused )),
 | 
|---|
| 116 |           __attribute__(( unused )) int __attribute__(( unused )) ((q)()) __attribute__(( unused )) ) {}
 | 
|---|
| 117 | 
 | 
|---|
| 118 | 
 | 
|---|
| 119 | // type_parameter_redeclarator
 | 
|---|
| 120 | typedef int Foo;
 | 
|---|
| 121 | int tpr1( __attribute__(( unused )) int __attribute__(( unused )) Foo __attribute__(( unused )) );
 | 
|---|
| 122 | int tpr2( __attribute__(( unused )) int __attribute__(( unused )) (* __attribute__(( unused )) (* __attribute__(( unused )) Foo) __attribute__(( unused )) ) __attribute__(( unused )) );
 | 
|---|
| 123 | int tpr3( __attribute__(( unused )) int __attribute__(( unused )) Foo[]  __attribute__(( unused )));
 | 
|---|
| 124 | int tpr4( __attribute__(( unused )) int __attribute__(( unused )) ( __attribute__(( unused )) Foo[5] __attribute__(( unused )) ) );
 | 
|---|
| 125 | int tpr5( __attribute__(( unused )) int __attribute__(( unused )) (*Foo)() __attribute__(( unused )) );
 | 
|---|
| 126 | int tpr6( __attribute__(( unused )) int __attribute__(( unused )) Foo() __attribute__(( unused )) );
 | 
|---|
| 127 | int tpr7( __attribute__(( unused )) int __attribute__(( unused )) ( __attribute__(( unused )) Foo( __attribute__(( unused )) int __attribute__(( unused )) ) ) );
 | 
|---|
| 128 | 
 | 
|---|
| 129 | 
 | 
|---|
| 130 | // abstract_declarator
 | 
|---|
| 131 | int ad() {
 | 
|---|
| 132 |     typeof( int __attribute__(( used )) ) ad1 __attribute__(( unused ));
 | 
|---|
| 133 |     typeof( int __attribute__(( unused )) * __attribute__(( unused )) ) ad2 __attribute__(( unused ));
 | 
|---|
| 134 |     typeof( int __attribute__(( unused )) [5] ) __attribute__(( unused )) ad3 __attribute__(( unused ));
 | 
|---|
| 135 |     typeof( __attribute__(( unused )) int __attribute__(( unused )) (*)[10] __attribute__(( unused )) ) __attribute__(( unused )) ad4 __attribute__(( unused )), ad5 __attribute__(( used ));
 | 
|---|
| 136 |     typeof( __attribute__(( unused )) int __attribute__(( unused )) () __attribute__(( unused )) ) __attribute__(( unused )) ad6 __attribute__(( unused ));
 | 
|---|
| 137 |     sizeof( __attribute__(( unused )) int __attribute__(( unused )) );
 | 
|---|
| 138 |     sizeof( __attribute__(( unused )) int __attribute__(( unused )) (* __attribute__(( unused )) (* __attribute__(( unused )) ) ) );
 | 
|---|
| 139 |     sizeof( __attribute__(( unused )) int __attribute__(( unused )) [5] __attribute__(( unused )) );
 | 
|---|
| 140 |     sizeof( __attribute__(( unused )) int __attribute__(( unused )) (*)[10] __attribute__(( unused )) );
 | 
|---|
| 141 |     sizeof( __attribute__(( unused )) int __attribute__(( unused )) () __attribute__(( unused )) );
 | 
|---|
| 142 |     sizeof( struct { int i; } __attribute__(( unused )) );
 | 
|---|
| 143 |     sizeof( enum { R } __attribute__(( unused )) );
 | 
|---|
| 144 | }
 | 
|---|
| 145 | 
 | 
|---|
| 146 | 
 | 
|---|
| 147 | // abstract_parameter_declarator
 | 
|---|
| 148 | int apd1( __attribute__(( unused )) int __attribute__(( unused )) * __attribute__(( unused )),
 | 
|---|
| 149 |         __attribute__(( unused )) int __attribute__(( unused )) * __attribute__(( unused )) );
 | 
|---|
| 150 | int apd2( __attribute__(( unused )) int __attribute__(( unused )) (* (* __attribute__(( unused )) ) __attribute__(( unused )) ),
 | 
|---|
| 151 |         __attribute__(( unused )) int __attribute__(( unused )) (* (* __attribute__(( unused )) ) __attribute__(( unused )) ) );
 | 
|---|
| 152 | int apd3( __attribute__(( unused )) int __attribute__(( unused )) ([]) __attribute__(( unused )),
 | 
|---|
| 153 |         __attribute__(( unused )) int __attribute__(( unused )) ([]) __attribute__(( unused )) );
 | 
|---|
| 154 | int apd4( __attribute__(( unused )) int __attribute__(( unused )) ()  __attribute__(( unused )),
 | 
|---|
| 155 |         __attribute__(( unused )) int __attribute__(( unused )) ()  __attribute__(( unused )) );
 | 
|---|
| 156 | int apd5( __attribute__(( unused )) int __attribute__(( unused )) (( __attribute__(( unused )) int )) __attribute__(( unused )),
 | 
|---|
| 157 |         __attribute__(( unused )) int __attribute__(( unused )) ( __attribute__(( unused )) int ) __attribute__(( unused )) );
 | 
|---|
| 158 | int apd6( __attribute__(( unused )) int __attribute__(( unused )) (*)()  __attribute__(( unused )),
 | 
|---|
| 159 |         __attribute__(( unused )) int __attribute__(( unused )) (*)()  __attribute__(( unused )) );
 | 
|---|
| 160 | int apd7( __attribute__(( unused )) int __attribute__(( unused )) ((*)( __attribute__(( unused )) int ) ) __attribute__(( unused )),
 | 
|---|
| 161 |         __attribute__(( unused )) int __attribute__(( unused )) ((*)( __attribute__(( unused )) int ) ) __attribute__(( unused )) );
 | 
|---|
| 162 | 
 | 
|---|
| 163 | 
 | 
|---|
| 164 | // variable_abstract_declarator
 | 
|---|
| 165 | struct Vad {
 | 
|---|
| 166 |     int __attribute__(( unused ));
 | 
|---|
| 167 |     int __attribute__(( unused )) * __attribute__(( unused ));
 | 
|---|
| 168 |     int __attribute__(( unused )) [10] __attribute__(( unused ));
 | 
|---|
| 169 |     int __attribute__(( unused )) (*)() __attribute__(( unused ));
 | 
|---|
| 170 | };
 | 
|---|
| 171 | 
 | 
|---|
| 172 | // Local Variables: //
 | 
|---|
| 173 | // tab-width: 4 //
 | 
|---|
| 174 | // compile-command: "cfa attributes.c" //
 | 
|---|
| 175 | // End: //
 | 
|---|