[f1e012b] | 1 | // -*- Mode: C -*- |
---|
| 2 | // |
---|
[3848e0e] | 3 | // Copyright (C) Glen Ditchfield 1994, 1999 |
---|
[f1e012b] | 4 | // |
---|
[f7f6785] | 5 | // prelude.cf -- Standard Cforall Preample for C99 |
---|
[f1e012b] | 6 | // |
---|
[3848e0e] | 7 | // Author : Glen Ditchfield |
---|
| 8 | // Created On : Sat Nov 29 07:23:41 2014 |
---|
[784deab] | 9 | // Last Modified By : Peter A. Buhr |
---|
[a6151ba] | 10 | // Last Modified On : Tue Jul 5 18:04:40 2016 |
---|
| 11 | // Update Count : 92 |
---|
[3848e0e] | 12 | // |
---|
| 13 | |
---|
[a6151ba] | 14 | # 2 "prelude.cf" // needed for error messages from this file |
---|
[3848e0e] | 15 | |
---|
| 16 | // Section numbers from: http://plg.uwaterloo.ca/~cforall/refrat.pdf |
---|
| 17 | |
---|
| 18 | // ------------------------------------------------------------ |
---|
| 19 | // |
---|
| 20 | // Section 4.1 Primary Expressions |
---|
| 21 | // |
---|
| 22 | // ------------------------------------------------------------ |
---|
| 23 | |
---|
[4cb935e] | 24 | //We have none |
---|
[3848e0e] | 25 | |
---|
| 26 | // ------------------------------------------------------------ |
---|
| 27 | // |
---|
| 28 | // Section 4.2 Postfix Operators |
---|
| 29 | // |
---|
| 30 | // ------------------------------------------------------------ |
---|
| 31 | |
---|
[bdd516a] | 32 | _Bool ?++( _Bool * ), ?++( volatile _Bool * ); |
---|
| 33 | _Bool ?--( _Bool * ), ?--( volatile _Bool * ); |
---|
| 34 | unsigned char ?++( unsigned char * ), ?++( volatile unsigned char * ); |
---|
| 35 | signed int ?++( signed int * ), ?++( volatile signed int * ); |
---|
| 36 | signed int ?--( signed int * ), ?--( volatile signed int * ); |
---|
| 37 | unsigned int ?++( unsigned int * ), ?++( volatile unsigned int * ); |
---|
| 38 | unsigned int ?--( unsigned int * ), ?--( volatile unsigned int * ); |
---|
| 39 | signed long int ?++( signed long int * ), ?++( volatile signed long int * ); |
---|
| 40 | signed long int ?--( signed long int * ), ?--( volatile signed long int * ); |
---|
| 41 | unsigned long int ?++( unsigned long int * ), ?++( volatile unsigned long int * ); |
---|
| 42 | unsigned long int ?--( unsigned long int * ), ?--( volatile unsigned long int * ); |
---|
| 43 | signed long long int ?++( signed long long int * ), ?++( volatile signed long long int * ); |
---|
| 44 | signed long long int ?--( signed long long int * ), ?--( volatile signed long long int * ); |
---|
| 45 | unsigned long long int ?++( unsigned long long int * ), ?++( volatile unsigned long long int * ); |
---|
| 46 | unsigned long long int ?--( unsigned long long int * ), ?--( volatile unsigned long long int * ); |
---|
| 47 | float ?++( float * ), ?++( volatile float * ); |
---|
| 48 | float ?--( float * ), ?--( volatile float * ); |
---|
| 49 | double ?++( double * ), ?++( volatile double * ); |
---|
| 50 | double ?--( double * ), ?--( volatile double * ); |
---|
| 51 | long double ?++( long double * ), ?++( volatile long double * ); |
---|
| 52 | long double ?--( long double * ), ?--( volatile long double * ); |
---|
| 53 | float _Complex ?++( float _Complex * ), ?++( volatile float _Complex * ); |
---|
| 54 | float _Complex ?--( float _Complex * ), ?--( volatile float _Complex * ); |
---|
| 55 | double _Complex ?++( double _Complex * ), ?++( volatile double _Complex * ); |
---|
| 56 | double _Complex ?--( double _Complex * ), ?--( volatile double _Complex * ); |
---|
| 57 | long double _Complex ?++( long double _Complex * ), ?++( volatile long double _Complex * ); |
---|
| 58 | long double _Complex ?--( long double _Complex * ), ?--( volatile long double _Complex * ); |
---|
[3848e0e] | 59 | |
---|
[4040425] | 60 | forall( otype T ) T * ?++( T ** ); |
---|
| 61 | forall( otype T ) const T * ?++( const T ** ); |
---|
| 62 | forall( otype T ) volatile T * ?++( volatile T ** ); |
---|
| 63 | forall( otype T ) const volatile T * ?++( const volatile T ** ); |
---|
| 64 | forall( otype T ) T * ?--( T ** ); |
---|
| 65 | forall( otype T ) const T * ?--( const T ** ); |
---|
| 66 | forall( otype T ) volatile T * ?--( volatile T ** ); |
---|
| 67 | forall( otype T ) const volatile T * ?--( const volatile T ** ); |
---|
| 68 | |
---|
| 69 | forall( otype T ) lvalue T ?[?]( T *, ptrdiff_t ); |
---|
| 70 | forall( otype T ) const lvalue T ?[?]( const T *, ptrdiff_t ); |
---|
| 71 | forall( otype T ) volatile lvalue T ?[?]( volatile T *, ptrdiff_t ); |
---|
| 72 | forall( otype T ) const volatile lvalue T ?[?]( const volatile T *, ptrdiff_t ); |
---|
| 73 | forall( otype T ) lvalue T ?[?]( ptrdiff_t, T * ); |
---|
| 74 | forall( otype T ) const lvalue T ?[?]( ptrdiff_t, const T * ); |
---|
| 75 | forall( otype T ) volatile lvalue T ?[?]( ptrdiff_t, volatile T * ); |
---|
| 76 | forall( otype T ) const volatile lvalue T ?[?]( ptrdiff_t, const volatile T * ); |
---|
[3848e0e] | 77 | |
---|
| 78 | // ------------------------------------------------------------ |
---|
| 79 | // |
---|
| 80 | // Section 4.3 Unary Operators |
---|
| 81 | // |
---|
| 82 | // ------------------------------------------------------------ |
---|
| 83 | |
---|
[f7f6785] | 84 | _Bool ++?( _Bool * ), --?( _Bool * ); |
---|
| 85 | signed int ++?( signed int * ), --?( signed int * ); |
---|
| 86 | unsigned int ++?( unsigned int * ), --?( unsigned int * ); |
---|
| 87 | signed long int ++?( signed long int * ), --?( signed long int * ); |
---|
| 88 | unsigned long int ++?( unsigned long int * ), --?( unsigned long int * ); |
---|
| 89 | signed long long int ++?( signed long long int * ), --?( signed long long int * ); |
---|
| 90 | unsigned long long int ++?( unsigned long long int * ), --?( unsigned long long int * ); |
---|
| 91 | float ++?( float * ), --?( float * ); |
---|
| 92 | double ++?( double * ), --?( double * ); |
---|
| 93 | long double ++?( long double * ), --?( long double * ); |
---|
| 94 | float _Complex ++?( float _Complex * ), --?( float _Complex * ); |
---|
| 95 | double _Complex ++?( double _Complex * ), --?( double _Complex * ); |
---|
| 96 | long double _Complex ++?( long double _Complex * ), --?( long double _Complex * ); |
---|
[3848e0e] | 97 | |
---|
[4040425] | 98 | forall( otype T ) T * ++?( T ** ); |
---|
| 99 | forall( otype T ) const T * ++?( const T ** ); |
---|
| 100 | forall( otype T ) volatile T * ++?( volatile T ** ); |
---|
| 101 | forall( otype T ) const volatile T * ++?( const volatile T ** ); |
---|
| 102 | forall( otype T ) T * --?( T ** ); |
---|
| 103 | forall( otype T ) const T * --?( const T ** ); |
---|
| 104 | forall( otype T ) volatile T * --?( volatile T ** ); |
---|
| 105 | forall( otype T ) const volatile T * --?( const volatile T ** ); |
---|
| 106 | |
---|
[2c57025] | 107 | forall( dtype T | sized(T) ) lvalue T *?( T * ); |
---|
| 108 | forall( dtype T | sized(T) ) const lvalue T *?( const T * ); |
---|
| 109 | forall( dtype T | sized(T) ) volatile lvalue T *?( volatile T * ); |
---|
| 110 | forall( dtype T | sized(T) ) const volatile lvalue T *?( const volatile T * ); |
---|
[3848e0e] | 111 | forall( ftype FT ) lvalue FT *?( FT * ); |
---|
| 112 | |
---|
[f1e012b] | 113 | _Bool +?( _Bool ), -?( _Bool ), ~?( _Bool ); |
---|
| 114 | signed int +?( signed int ), -?( signed int ), ~?( signed int ); |
---|
| 115 | unsigned int +?( unsigned int ), -?( unsigned int ), ~?( unsigned int ); |
---|
| 116 | signed long int +?( signed long int ), -?( signed long int ), ~?( signed long int ); |
---|
| 117 | unsigned long int +?( unsigned long int ), -?( unsigned long int ), ~?( unsigned long int ); |
---|
| 118 | signed long long int +?( signed long long int ), -?( signed long long int ), ~?( signed long long int ); |
---|
| 119 | unsigned long long int +?( unsigned long long int ), -?( unsigned long long int ), ~?( unsigned long long int ); |
---|
[f7f6785] | 120 | float +?( float ), -?( float ); |
---|
| 121 | double +?( double ), -?( double ); |
---|
| 122 | long double +?( long double ), -?( long double ); |
---|
| 123 | float _Complex +?( float _Complex ), -?( float _Complex ); |
---|
| 124 | double _Complex +?( double _Complex ), -?( double _Complex ); |
---|
| 125 | long double _Complex +?( long double _Complex ), -?( long double _Complex ); |
---|
| 126 | |
---|
| 127 | signed int !?( signed int ), !?( unsigned int ), |
---|
| 128 | !?( long int ), !?( unsigned long int ), |
---|
| 129 | !?( long long int ), !?( unsigned long long int ), |
---|
| 130 | !?( float ), !?( double ), !?( long double ), |
---|
| 131 | !?( float _Complex ), !?( double _Complex ), !?( long double _Complex ); |
---|
[51b7345] | 132 | |
---|
[3848e0e] | 133 | forall ( dtype DT ) int !?( const volatile DT * ); |
---|
| 134 | forall ( ftype FT ) int !?( FT * ); |
---|
[51b7345] | 135 | |
---|
[3848e0e] | 136 | // ------------------------------------------------------------ |
---|
| 137 | // |
---|
| 138 | // Section 4.5 Multiplicative Operators |
---|
| 139 | // |
---|
| 140 | // ------------------------------------------------------------ |
---|
[51b7345] | 141 | |
---|
[f7f6785] | 142 | _Bool ?*?( _Bool, _Bool ), ?/?( _Bool, _Bool ), ?%?( _Bool, _Bool ); |
---|
| 143 | signed int ?*?( signed int, signed int ), ?/?( signed int, signed int ), ?%?( signed int, signed int ); |
---|
| 144 | unsigned int ?*?( unsigned int, unsigned int ), ?/?( unsigned int, unsigned int ), ?%?( unsigned int, unsigned int ); |
---|
| 145 | signed long int ?*?( signed long int, signed long int ), ?/?( signed long int, signed long int ), ?%?( signed long int, signed long int ); |
---|
[784deab] | 146 | unsigned long int ?*?( unsigned long int, unsigned long int ), ?/?( unsigned long int, unsigned long int ), ?%?( unsigned long int, unsigned long int ); |
---|
[f7f6785] | 147 | signed long long int ?*?( signed long long int, signed long long int ), ?/?( signed long long int, signed long long int ), ?%?( signed long long int, signed long long int ); |
---|
[784deab] | 148 | unsigned long long int ?*?( unsigned long long int, unsigned long long int ), ?/?( unsigned long long int, unsigned long long int ), ?%?( unsigned long long int, unsigned long long int ); |
---|
[f7f6785] | 149 | float ?*?( float, float ), ?/?( float, float ); |
---|
| 150 | double ?*?( double, double ), ?/?( double, double ); |
---|
| 151 | long double ?*?( long double, long double ), ?/?( long double, long double ); |
---|
| 152 | // gcc does not support _Imaginary |
---|
| 153 | //float _Imaginary ?*?( float _Imaginary, float _Imaginary), ?/?( float _Imaginary, float _Imaginary ); |
---|
| 154 | //double _Imaginary ?*?( double _Imaginary, double _Imaginary), ?/?( double _Imaginary, double _Imaginary ); |
---|
| 155 | //long double _Imaginary ?*?( long double _Imaginary, long double _Imaginary), ?/?( long double _Imaginary, long double _Imaginary ); |
---|
| 156 | float _Complex ?*?( float _Complex, float _Complex ), ?/?( float _Complex, float _Complex ); |
---|
| 157 | double _Complex ?*?( double _Complex, double _Complex ), ?/?( double _Complex, double _Complex ); |
---|
| 158 | long double _Complex ?*?( long double _Complex, long double _Complex ), ?/?( long double _Complex, long double _Complex ); |
---|
[3848e0e] | 159 | |
---|
| 160 | // ------------------------------------------------------------ |
---|
| 161 | // |
---|
| 162 | // Section 4.6 Additive Operators |
---|
| 163 | // |
---|
| 164 | // ------------------------------------------------------------ |
---|
| 165 | |
---|
[f7f6785] | 166 | _Bool ?+?( _Bool, _Bool ), ?-?( _Bool, _Bool ); |
---|
| 167 | signed int ?+?( signed int, signed int ), ?-?( signed int, signed int ); |
---|
| 168 | unsigned int ?+?( unsigned int, unsigned int ), ?-?( unsigned int, unsigned int ); |
---|
| 169 | signed long int ?+?( signed long int, signed long int ), ?-?( signed long int, signed long int ); |
---|
[784deab] | 170 | unsigned long int ?+?( unsigned long int, unsigned long int ), ?-?( unsigned long int, unsigned long int ); |
---|
[f7f6785] | 171 | signed long long int ?+?( signed long long int, long long int signed), ?-?( signed long long int, signed long long int ); |
---|
[784deab] | 172 | unsigned long long int ?+?( unsigned long long int, unsigned long long int ), ?-?( unsigned long long int, unsigned long long int ); |
---|
[f7f6785] | 173 | float ?+?( float, float ), ?-?( float, float ); |
---|
| 174 | double ?+?( double, double ), ?-?( double, double ); |
---|
| 175 | long double ?+?( long double, long double ), ?-?( long double, long double ); |
---|
| 176 | float _Complex ?+?( float _Complex, float _Complex ), ?-?( float _Complex, float _Complex ); |
---|
| 177 | double _Complex ?+?( double _Complex, double _Complex ), ?-?( double _Complex, double _Complex ); |
---|
| 178 | long double _Complex ?+?( long double _Complex, long double _Complex ), ?-?( long double _Complex, long double _Complex ); |
---|
| 179 | |
---|
[4040425] | 180 | forall( otype T ) T * ?+?( T *, ptrdiff_t ); |
---|
| 181 | forall( otype T ) T * ?+?( ptrdiff_t, T * ); |
---|
| 182 | forall( otype T ) const T * ?+?( const T *, ptrdiff_t ); |
---|
| 183 | forall( otype T ) const T * ?+?( ptrdiff_t, const T * ); |
---|
| 184 | forall( otype T ) volatile T * ?+?( volatile T *, ptrdiff_t ); |
---|
| 185 | forall( otype T ) volatile T * ?+?( ptrdiff_t, volatile T * ); |
---|
| 186 | forall( otype T ) const volatile T * ?+?( const volatile T *, ptrdiff_t ); |
---|
| 187 | forall( otype T ) const volatile T * ?+?( ptrdiff_t, const volatile T * ); |
---|
| 188 | forall( otype T ) T * ?-?( T *, ptrdiff_t ); |
---|
| 189 | forall( otype T ) const T * ?-?( const T *, ptrdiff_t ); |
---|
| 190 | forall( otype T ) volatile T * ?-?( volatile T *, ptrdiff_t ); |
---|
| 191 | forall( otype T ) const volatile T * ?-?( const volatile T *, ptrdiff_t ); |
---|
| 192 | forall( otype T ) ptrdiff_t ?-?( const volatile T *, const volatile T * ); |
---|
[3848e0e] | 193 | |
---|
| 194 | // ------------------------------------------------------------ |
---|
| 195 | // |
---|
| 196 | // Section 4.7 Bitwise Shift Operators |
---|
| 197 | // |
---|
| 198 | // ------------------------------------------------------------ |
---|
| 199 | |
---|
[784deab] | 200 | _Bool ?<<?( _Bool, _Bool ), ?>>?( _Bool, _Bool ); |
---|
| 201 | signed int ?<<?( signed int, signed int ), ?>>?( signed int, signed int ); |
---|
| 202 | unsigned int ?<<?( unsigned int, unsigned int ), ?>>?( unsigned int, unsigned int ); |
---|
| 203 | signed long int ?<<?( signed long int, signed long int ), ?>>?( signed long int, signed long int ); |
---|
| 204 | unsigned long int ?<<?( unsigned long int, unsigned long int ), ?>>?( unsigned long int, unsigned long int ); |
---|
| 205 | signed long long int ?<<?( signed long long int, signed long long int ), ?>>?( signed long long int, signed long long int ); |
---|
| 206 | unsigned long long int ?<<?( unsigned long long int, unsigned long long int ), ?>>?( unsigned long long int, unsigned long long int ); |
---|
[3848e0e] | 207 | |
---|
| 208 | // ------------------------------------------------------------ |
---|
| 209 | // |
---|
| 210 | // Section 4.8 Relational Operators |
---|
| 211 | // |
---|
| 212 | // ------------------------------------------------------------ |
---|
| 213 | |
---|
[784deab] | 214 | signed int ?<?( _Bool, _Bool ), ?<=?( _Bool, _Bool ), |
---|
| 215 | ?>?( _Bool, _Bool ), ?>=?( _Bool, _Bool ); |
---|
| 216 | signed int ?<?( unsigned char, unsigned char ), ?<=?( unsigned char, unsigned char ), |
---|
| 217 | ?>?( unsigned char, unsigned char ), ?>=?( unsigned char, unsigned char ); |
---|
| 218 | signed int ?<?( signed int, signed int ), ?<=?( signed int, signed int ), |
---|
| 219 | ?>?( signed int, signed int ), ?>=?( signed int, signed int ); |
---|
| 220 | signed int ?<?( unsigned int, unsigned int ), ?<=?( unsigned int, unsigned int ), |
---|
| 221 | ?>?( unsigned int, unsigned int ), ?>=?( unsigned int, unsigned int ); |
---|
| 222 | signed int ?<?( signed long int, signed long int ), ?<=?( signed long int, signed long int ), |
---|
| 223 | ?>?( signed long int, signed long int ), ?>=?( signed long int, signed long int ); |
---|
| 224 | signed int ?<?( unsigned long int, unsigned long int ), ?<=?( unsigned long int, unsigned long int ), |
---|
| 225 | ?>?( unsigned long int, unsigned long int ), ?>=?( unsigned long int, unsigned long int ); |
---|
| 226 | signed int ?<?( signed long long int, signed long long int ), ?<=?( signed long long int, signed long long int ), |
---|
| 227 | ?>?( signed long long int, signed long long int ), ?>=?( signed long long int, signed long long int ); |
---|
| 228 | signed int ?<?( unsigned long long int, unsigned long long int ), ?<=?( unsigned long long int, unsigned long long int ), |
---|
| 229 | ?>?( unsigned long long int, unsigned long long int ), ?>=?( unsigned long long int, unsigned long long int ); |
---|
| 230 | signed int ?<?( float, float ), ?<=?( float, float ), |
---|
| 231 | ?>?( float, float ), ?>=?( float, float ); |
---|
| 232 | signed int ?<?( double, double ), ?<=?( double, double ), |
---|
| 233 | ?>?( double, double ), ?>=?( double, double ); |
---|
| 234 | signed int ?<?( long double, long double ), ?<=?( long double, long double ), |
---|
| 235 | ?>?( long double, long double ), ?>=?( long double, long double ); |
---|
[f7f6785] | 236 | |
---|
| 237 | forall( dtype DT ) signed int ?<?( const volatile DT *, const volatile DT * ); |
---|
| 238 | forall( dtype DT ) signed int ?>?( const volatile DT *, const volatile DT * ); |
---|
| 239 | forall( dtype DT ) signed int ?<=?( const volatile DT *, const volatile DT * ); |
---|
| 240 | forall( dtype DT ) signed int ?>=?( const volatile DT *, const volatile DT * ); |
---|
[3848e0e] | 241 | |
---|
| 242 | // ------------------------------------------------------------ |
---|
| 243 | // |
---|
| 244 | // Section 4.9 Equality Operators |
---|
| 245 | // |
---|
| 246 | // ------------------------------------------------------------ |
---|
| 247 | |
---|
[4cb935e] | 248 | signed int ?==?( _Bool, _Bool ), ?!=?( _Bool, _Bool ); |
---|
| 249 | signed int ?==?( signed int, signed int ), ?!=?( signed int, signed int ); |
---|
| 250 | signed int ?==?( unsigned int, unsigned int ), ?!=?( unsigned int, unsigned int ); |
---|
| 251 | signed int ?==?( signed long int, signed long int ), ?!=?( signed long int, signed long int ); |
---|
| 252 | signed int ?==?( unsigned long int, unsigned long int ), ?!=?( unsigned long int, unsigned long int ); |
---|
[784deab] | 253 | signed int ?==?( signed long long int, long long int signed), ?!=?( signed long long int, signed long long int ); |
---|
| 254 | signed int ?==?( unsigned long long int, unsigned long long int ), ?!=?( unsigned long long int, unsigned long long int ); |
---|
[4cb935e] | 255 | signed int ?==?( float, float ), ?!=?( float, float ); |
---|
| 256 | signed int ?==?( double, double ), ?!=?( double, double ); |
---|
| 257 | signed int ?==?( long double, long double ), ?!=?( long double, long double ); |
---|
| 258 | signed int ?==?( float _Complex, float _Complex ), ?!=?( float _Complex, float _Complex ); |
---|
| 259 | signed int ?==?( double _Complex, double _Complex ), ?!=?( double _Complex, double _Complex ); |
---|
[784deab] | 260 | signed int ?==?( long double _Complex, long double _Complex ), ?!=?( long double _Complex, long double _Complex ); |
---|
[4cb935e] | 261 | signed int ?==?( zero_t, zero_t ), ?!=?( zero_t, zero_t ); |
---|
| 262 | signed int ?==?( one_t, one_t ), ?!=?( one_t, one_t ); |
---|
[f7f6785] | 263 | |
---|
| 264 | forall( dtype DT ) signed int ?==?( DT *, DT * ); |
---|
| 265 | forall( dtype DT ) signed int ?==?( const DT *, const DT * ); |
---|
| 266 | forall( dtype DT ) signed int ?==?( volatile DT *, volatile DT * ); |
---|
| 267 | forall( dtype DT ) signed int ?==?( const volatile DT *, const volatile DT * ); |
---|
| 268 | forall( ftype FT ) signed int ?==?( FT *, FT * ); |
---|
| 269 | forall( dtype DT ) signed int ?!=?( DT *, DT * ); |
---|
| 270 | forall( dtype DT ) signed int ?!=?( const DT *, const DT * ); |
---|
| 271 | forall( dtype DT ) signed int ?!=?( volatile DT *, volatile DT * ); |
---|
| 272 | forall( dtype DT ) signed int ?!=?( const volatile DT *, const volatile DT * ); |
---|
| 273 | forall( ftype FT ) signed int ?!=?( FT *, FT * ); |
---|
| 274 | |
---|
[a2a77af] | 275 | // forall( dtype DT ) signed int ?==?( const volatile DT *, const volatile void * ); |
---|
| 276 | // forall( dtype DT ) signed int ?==?( const volatile void *, const volatile DT * ); |
---|
| 277 | // forall( dtype DT ) signed int ?!=?( const volatile DT *, const volatile void * ); |
---|
| 278 | // forall( dtype DT ) signed int ?!=?( const volatile void *, const volatile DT * ); |
---|
[f7f6785] | 279 | |
---|
[4cb935e] | 280 | // forall( dtype DT ) signed int ?==?( const volatile DT *, forall( dtype DT2 )const DT2 * ); |
---|
| 281 | // forall( dtype DT ) signed int ?==?( forall( dtype DT2 )const DT2 *, const volatile DT * ); |
---|
| 282 | // forall( ftype FT ) signed int ?==?( FT *, forall( ftype FT2 )FT2 * ); |
---|
| 283 | // forall( ftype FT ) signed int ?==?( forall( ftype FT2 )FT2 *, FT * ); |
---|
| 284 | // forall( dtype DT ) signed int ?!=?( const volatile DT *, forall( dtype DT2 )const DT2 * ); |
---|
| 285 | // forall( dtype DT ) signed int ?!=?( forall( dtype DT2 )const DT2 *, const volatile DT * ); |
---|
| 286 | // forall( ftype FT ) signed int ?!=?( FT *, forall( ftype FT2 )FT2 * ); |
---|
| 287 | // forall( ftype FT ) signed int ?!=?( forall( ftype FT2 )FT2 *, FT * ); |
---|
[3848e0e] | 288 | |
---|
| 289 | // ------------------------------------------------------------ |
---|
| 290 | // |
---|
| 291 | // Section 4.10 Bitwise AND Operators |
---|
| 292 | // |
---|
| 293 | // ------------------------------------------------------------ |
---|
[51b7345] | 294 | |
---|
[f7f6785] | 295 | _Bool ?&?( _Bool, _Bool ); |
---|
| 296 | signed int ?&?( signed int, signed int ); |
---|
| 297 | unsigned int ?&?( unsigned int, unsigned int ); |
---|
| 298 | signed long int ?&?( signed long int, signed long int ); |
---|
| 299 | unsigned long int ?&?( unsigned long int, unsigned long int ); |
---|
[784deab] | 300 | signed long long int ?&?( signed long long int, signed long long int ); |
---|
| 301 | unsigned long long int ?&?( unsigned long long int, unsigned long long int ); |
---|
[51b7345] | 302 | |
---|
[3848e0e] | 303 | // ------------------------------------------------------------ |
---|
| 304 | // |
---|
| 305 | // Section 4.11 Bitwise XOR Operators |
---|
| 306 | // |
---|
| 307 | // ------------------------------------------------------------ |
---|
[51b7345] | 308 | |
---|
[f7f6785] | 309 | _Bool ?^?( _Bool, _Bool ); |
---|
| 310 | signed int ?^?( signed int, signed int ); |
---|
| 311 | unsigned int ?^?( unsigned int, unsigned int ); |
---|
| 312 | signed long int ?^?( signed long int, signed long int ); |
---|
| 313 | unsigned long int ?^?( unsigned long int, unsigned long int ); |
---|
[784deab] | 314 | signed long long int ?^?( signed long long int, signed long long int ); |
---|
| 315 | unsigned long long int ?^?( unsigned long long int, unsigned long long int ); |
---|
[51b7345] | 316 | |
---|
[3848e0e] | 317 | // ------------------------------------------------------------ |
---|
| 318 | // |
---|
| 319 | // Section 4.12 Bitwise OR Operators |
---|
| 320 | // |
---|
| 321 | // ------------------------------------------------------------ |
---|
[51b7345] | 322 | |
---|
[f7f6785] | 323 | _Bool ?|?( _Bool, _Bool ); |
---|
| 324 | signed int ?|?( signed int, signed int ); |
---|
| 325 | unsigned int ?|?( unsigned int, unsigned int ); |
---|
| 326 | signed long int ?|?( signed long int, signed long int ); |
---|
| 327 | unsigned long int ?|?( unsigned long int, unsigned long int ); |
---|
[784deab] | 328 | signed long long int ?|?( signed long long int, signed long long int ); |
---|
| 329 | unsigned long long int ?|?( unsigned long long int, unsigned long long int ); |
---|
[51b7345] | 330 | |
---|
[3848e0e] | 331 | // ------------------------------------------------------------ |
---|
| 332 | // |
---|
| 333 | // Section 4.16 Assignment Operator |
---|
| 334 | // |
---|
| 335 | // ------------------------------------------------------------ |
---|
| 336 | |
---|
| 337 | forall( ftype FT ) FT * ?=?( FT **, FT * ); |
---|
| 338 | forall( ftype FT ) FT * ?=?( FT * volatile *, FT * ); |
---|
| 339 | |
---|
[f7f6785] | 340 | forall( dtype DT ) DT * ?=?( DT * *, DT * ); |
---|
| 341 | forall( dtype DT ) DT * ?=?( DT * volatile *, DT * ); |
---|
| 342 | forall( dtype DT ) const DT * ?=?( const DT * *, DT * ); |
---|
[3848e0e] | 343 | forall( dtype DT ) const DT * ?=?( const DT * volatile *, DT * ); |
---|
[f7f6785] | 344 | forall( dtype DT ) const DT * ?=?( const DT * *, const DT * ); |
---|
| 345 | forall( dtype DT ) const DT * ?=?( const DT * volatile *, const DT * ); |
---|
| 346 | forall( dtype DT ) volatile DT * ?=?( volatile DT * *, DT * ); |
---|
[3848e0e] | 347 | forall( dtype DT ) volatile DT * ?=?( volatile DT * volatile *, DT * ); |
---|
| 348 | forall( dtype DT ) volatile DT * ?=?( volatile DT * *, volatile DT * ); |
---|
| 349 | forall( dtype DT ) volatile DT * ?=?( volatile DT * volatile *, volatile DT * ); |
---|
[f7f6785] | 350 | |
---|
[3848e0e] | 351 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, DT * ); |
---|
| 352 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, DT * ); |
---|
| 353 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, const DT * ); |
---|
| 354 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, const DT * ); |
---|
| 355 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, volatile DT * ); |
---|
| 356 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, volatile DT * ); |
---|
| 357 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, const volatile DT * ); |
---|
| 358 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, const volatile DT * ); |
---|
| 359 | |
---|
[f7f6785] | 360 | forall( dtype DT ) DT * ?=?( DT * *, void * ); |
---|
| 361 | forall( dtype DT ) DT * ?=?( DT * volatile *, void * ); |
---|
[3848e0e] | 362 | forall( dtype DT ) const DT * ?=?( const DT * *, void * ); |
---|
| 363 | forall( dtype DT ) const DT * ?=?( const DT * volatile *, void * ); |
---|
| 364 | forall( dtype DT ) const DT * ?=?( const DT * *, const void * ); |
---|
[f7f6785] | 365 | forall( dtype DT ) const DT * ?=?( const DT * volatile *, const void * ); |
---|
| 366 | forall( dtype DT ) volatile DT * ?=?( volatile DT * *, void * ); |
---|
[3848e0e] | 367 | forall( dtype DT ) volatile DT * ?=?( volatile DT * volatile *, void * ); |
---|
| 368 | forall( dtype DT ) volatile DT * ?=?( volatile DT * *, volatile void * ); |
---|
| 369 | forall( dtype DT ) volatile DT * ?=?( volatile DT * volatile *, volatile void * ); |
---|
[f7f6785] | 370 | |
---|
[3848e0e] | 371 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, void * ); |
---|
| 372 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, void * ); |
---|
| 373 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, const void * ); |
---|
| 374 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, const void * ); |
---|
| 375 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, volatile void * ); |
---|
[f7f6785] | 376 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, volatile void * ); |
---|
| 377 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, const volatile void * ); |
---|
| 378 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, const volatile void * ); |
---|
[3848e0e] | 379 | |
---|
| 380 | forall( dtype DT ) void * ?=?( void * *, DT * ); |
---|
| 381 | forall( dtype DT ) void * ?=?( void * volatile *, DT * ); |
---|
| 382 | forall( dtype DT ) const void * ?=?( const void * *, DT * ); |
---|
| 383 | forall( dtype DT ) const void * ?=?( const void * volatile *, DT * ); |
---|
| 384 | forall( dtype DT ) const void * ?=?( const void * *, const DT * ); |
---|
| 385 | forall( dtype DT ) const void * ?=?( const void * volatile *, const DT * ); |
---|
| 386 | forall( dtype DT ) volatile void * ?=?( volatile void * *, DT * ); |
---|
| 387 | forall( dtype DT ) volatile void * ?=?( volatile void * volatile *, DT * ); |
---|
[f7f6785] | 388 | forall( dtype DT ) volatile void * ?=?( volatile void * *, volatile DT * ); |
---|
| 389 | forall( dtype DT ) volatile void * ?=?( volatile void * volatile *, volatile DT * ); |
---|
[3848e0e] | 390 | forall( dtype DT ) const volatile void * ?=?( const volatile void * *, DT * ); |
---|
| 391 | forall( dtype DT ) const volatile void * ?=?( const volatile void * volatile *, DT * ); |
---|
| 392 | forall( dtype DT ) const volatile void * ?=?( const volatile void * *, const DT * ); |
---|
| 393 | forall( dtype DT ) const volatile void * ?=?( const volatile void * volatile *, const DT * ); |
---|
| 394 | forall( dtype DT ) const volatile void * ?=?( const volatile void * *, volatile DT * ); |
---|
| 395 | forall( dtype DT ) const volatile void * ?=?( const volatile void * volatile *, volatile DT * ); |
---|
| 396 | forall( dtype DT ) const volatile void * ?=?( const volatile void * *, const volatile DT * ); |
---|
| 397 | forall( dtype DT ) const volatile void * ?=?( const volatile void * volatile *, const volatile DT * ); |
---|
| 398 | |
---|
| 399 | void * ?=?( void * *, void * ); |
---|
| 400 | void * ?=?( void * volatile *, void * ); |
---|
| 401 | const void * ?=?( const void * *, void * ); |
---|
| 402 | const void * ?=?( const void * volatile *, void * ); |
---|
| 403 | const void * ?=?( const void * *, const void * ); |
---|
| 404 | const void * ?=?( const void * volatile *, const void * ); |
---|
| 405 | volatile void * ?=?( volatile void * *, void * ); |
---|
| 406 | volatile void * ?=?( volatile void * volatile *, void * ); |
---|
| 407 | volatile void * ?=?( volatile void * *, volatile void * ); |
---|
| 408 | volatile void * ?=?( volatile void * volatile *, volatile void * ); |
---|
| 409 | const volatile void * ?=?( const volatile void * *, void * ); |
---|
| 410 | const volatile void * ?=?( const volatile void * volatile *, void * ); |
---|
| 411 | const volatile void * ?=?( const volatile void * *, const void * ); |
---|
| 412 | const volatile void * ?=?( const volatile void * volatile *, const void * ); |
---|
| 413 | const volatile void * ?=?( const volatile void * *, volatile void * ); |
---|
| 414 | const volatile void * ?=?( const volatile void * volatile *, volatile void * ); |
---|
| 415 | const volatile void * ?=?( const volatile void * *, const volatile void * ); |
---|
| 416 | const volatile void * ?=?( const volatile void * volatile *, const volatile void * ); |
---|
| 417 | |
---|
[0b2961f] | 418 | //forall( dtype DT ) DT * ?=?( DT * *, forall( dtype DT2 ) const DT2 * ); |
---|
| 419 | //forall( dtype DT ) DT * ?=?( DT * volatile *, forall( dtype DT2 ) const DT2 * ); |
---|
[3848e0e] | 420 | forall( dtype DT ) const DT * ?=?( const DT * *, forall( dtype DT2 ) const DT2 * ); |
---|
| 421 | forall( dtype DT ) const DT * ?=?( const DT * volatile *, forall( dtype DT2 ) const DT2 * ); |
---|
[0b2961f] | 422 | //forall( dtype DT ) volatile DT * ?=?( volatile DT * *, forall( dtype DT2 ) const DT2 * ); |
---|
| 423 | //forall( dtype DT ) volatile DT * ?=?( volatile DT * volatile *, forall( dtype DT2 ) const DT2 * ); |
---|
[3848e0e] | 424 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * *, forall( dtype DT2 ) const DT2 * ); |
---|
| 425 | forall( dtype DT ) const volatile DT * ?=?( const volatile DT * volatile *, forall( dtype DT2 ) const DT2 * ); |
---|
| 426 | |
---|
[f7f6785] | 427 | forall( ftype FT ) FT * ?=?( FT * *, forall( ftype FT2 ) FT2 * ); |
---|
[3848e0e] | 428 | forall( ftype FT ) FT * ?=?( FT * volatile *, forall( ftype FT2 ) FT2 * ); |
---|
| 429 | |
---|
[4040425] | 430 | forall( otype T ) T * ?+=?( T * *, ptrdiff_t ); |
---|
| 431 | forall( otype T ) T * ?+=?( T * volatile *, ptrdiff_t ); |
---|
| 432 | forall( otype T ) const T * ?+=?( const T * *, ptrdiff_t ); |
---|
| 433 | forall( otype T ) const T * ?+=?( const T * volatile *, ptrdiff_t ); |
---|
| 434 | forall( otype T ) volatile T * ?+=?( volatile T * *, ptrdiff_t ); |
---|
| 435 | forall( otype T ) volatile T * ?+=?( volatile T * volatile *, ptrdiff_t ); |
---|
| 436 | forall( otype T ) const volatile T * ?+=?( const volatile T * *, ptrdiff_t ); |
---|
| 437 | forall( otype T ) const volatile T * ?+=?( const volatile T * volatile *, ptrdiff_t ); |
---|
| 438 | forall( otype T ) T * ?-=?( T * *, ptrdiff_t ); |
---|
| 439 | forall( otype T ) T * ?-=?( T * volatile *, ptrdiff_t ); |
---|
| 440 | forall( otype T ) const T * ?-=?( const T * *, ptrdiff_t ); |
---|
| 441 | forall( otype T ) const T * ?-=?( const T * volatile *, ptrdiff_t ); |
---|
| 442 | forall( otype T ) volatile T * ?-=?( volatile T * *, ptrdiff_t ); |
---|
| 443 | forall( otype T ) volatile T * ?-=?( volatile T * volatile *, ptrdiff_t ); |
---|
| 444 | forall( otype T ) const volatile T * ?-=?( const volatile T * *, ptrdiff_t ); |
---|
| 445 | forall( otype T ) const volatile T * ?-=?( const volatile T * volatile *, ptrdiff_t ); |
---|
[3848e0e] | 446 | |
---|
[f7f6785] | 447 | _Bool ?=?( _Bool *, _Bool ), ?=?( volatile _Bool *, _Bool ); |
---|
| 448 | char ?=?( char *, char ), ?=?( volatile char *, char ); |
---|
| 449 | char signed ?=?( char signed *, char signed ), ?=?( volatile char signed *, char signed ); |
---|
| 450 | char unsigned ?=?( char unsigned *, char unsigned ), ?=?( volatile char unsigned *, char unsigned ); |
---|
| 451 | int short ?=?( int short *, int short ), ?=?( volatile int short *, int short ); |
---|
| 452 | int short unsigned ?=?( int short unsigned *, int short unsigned ), ?=?( volatile int short unsigned *, int short unsigned ); |
---|
| 453 | signed int ?=?( signed int *, signed int ), ?=?( volatile signed int *, signed int ); |
---|
| 454 | unsigned int ?=?( unsigned *, unsigned ), ?=?( volatile unsigned *, unsigned ); |
---|
| 455 | signed long int ?=?( signed long int *, signed long int ), ?=?( volatile signed long int *, signed long int ); |
---|
| 456 | unsigned long int ?=?( unsigned long int *, unsigned long int ), ?=?( volatile unsigned long int *, unsigned long int ); |
---|
| 457 | signed long long int ?=?( signed long long int *, signed long long int ), ?=?( volatile signed long long int *, signed long long int ); |
---|
| 458 | unsigned long long int ?=?( unsigned long long int *, unsigned long long int ), ?=?( volatile unsigned long long int *, unsigned long long int ); |
---|
[4cb935e] | 459 | zero_t ?=?( zero_t *, zero_t ); |
---|
| 460 | one_t ?=?( one_t *, one_t ); |
---|
| 461 | |
---|
[f7f6785] | 462 | |
---|
| 463 | _Bool ?*=?( _Bool *, _Bool ), ?*=?( volatile _Bool *, _Bool ); |
---|
| 464 | char ?*=?( char *, char ), ?*=?( volatile char *, char ); |
---|
| 465 | char signed ?*=?( char signed *, char signed ), ?*=?( volatile char signed *, char signed ); |
---|
| 466 | char unsigned ?*=?( char unsigned *, char unsigned ), ?*=?( volatile char unsigned *, char unsigned ); |
---|
| 467 | int short ?*=?( int short *, int short ), ?*=?( volatile int short *, int short ); |
---|
| 468 | int short unsigned ?*=?( int short unsigned *, int short unsigned ), ?*=?( volatile int short unsigned *, int short unsigned ); |
---|
| 469 | signed int ?*=?( signed int *, signed int ), ?*=?( volatile signed int *, signed int ); |
---|
| 470 | unsigned int ?*=?( unsigned *, unsigned ), ?*=?( volatile unsigned *, unsigned ); |
---|
| 471 | signed long int ?*=?( signed long int *, signed long int ), ?*=?( volatile signed long int *, signed long int ); |
---|
| 472 | unsigned long int ?*=?( unsigned long int *, unsigned long int ), ?*=?( volatile unsigned long int *, unsigned long int ); |
---|
| 473 | signed long long int ?*=?( signed long long int *, signed long long int ), ?*=?( volatile signed long long int *, signed long long int ); |
---|
| 474 | unsigned long long int ?*=?( unsigned long long int *, unsigned long long int ), ?*=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 475 | |
---|
| 476 | _Bool ?/=?( _Bool *, _Bool ), ?/=?( volatile _Bool *, _Bool ); |
---|
| 477 | char ?/=?( char *, char ), ?/=?( volatile char *, char ); |
---|
| 478 | char signed ?/=?( char signed *, char signed ), ?/=?( volatile char signed *, char signed ); |
---|
| 479 | char unsigned ?/=?( char unsigned *, char unsigned ), ?/=?( volatile char unsigned *, char unsigned ); |
---|
| 480 | int short ?/=?( int short *, int short ), ?/=?( volatile int short *, int short ); |
---|
| 481 | int short unsigned ?/=?( int short unsigned *, int short unsigned ), ?/=?( volatile int short unsigned *, int short unsigned ); |
---|
| 482 | signed int ?/=?( signed int *, signed int ), ?/=?( volatile signed int *, signed int ); |
---|
| 483 | unsigned int ?/=?( unsigned *, unsigned ), ?/=?( volatile unsigned *, unsigned ); |
---|
| 484 | signed long int ?/=?( signed long int *, signed long int ), ?/=?( volatile signed long int *, signed long int ); |
---|
| 485 | unsigned long int ?/=?( unsigned long int *, unsigned long int ), ?/=?( volatile unsigned long int *, unsigned long int ); |
---|
| 486 | signed long long int ?/=?( signed long long int *, signed long long int ), ?/=?( volatile signed long long int *, signed long long int ); |
---|
| 487 | unsigned long long int ?/=?( unsigned long long int *, unsigned long long int ), ?/=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 488 | |
---|
| 489 | _Bool ?%=?( _Bool *, _Bool ), ?%=?( volatile _Bool *, _Bool ); |
---|
| 490 | char ?%=?( char *, char ), ?%=?( volatile char *, char ); |
---|
| 491 | char signed ?%=?( char signed *, char signed ), ?%=?( volatile char signed *, char signed ); |
---|
| 492 | char unsigned ?%=?( char unsigned *, char unsigned ), ?%=?( volatile char unsigned *, char unsigned ); |
---|
| 493 | int short ?%=?( int short *, int short ), ?%=?( volatile int short *, int short ); |
---|
| 494 | int short unsigned ?%=?( int short unsigned *, int short unsigned ), ?%=?( volatile int short unsigned *, int short unsigned ); |
---|
| 495 | signed int ?%=?( signed int *, signed int ), ?%=?( volatile signed int *, signed int ); |
---|
| 496 | unsigned int ?%=?( unsigned *, unsigned ), ?%=?( volatile unsigned *, unsigned ); |
---|
| 497 | signed long int ?%=?( signed long int *, signed long int ), ?%=?( volatile signed long int *, signed long int ); |
---|
| 498 | unsigned long int ?%=?( unsigned long int *, unsigned long int ), ?%=?( volatile unsigned long int *, unsigned long int ); |
---|
| 499 | signed long long int ?%=?( signed long long int *, signed long long int ), ?%=?( volatile signed long long int *, signed long long int ); |
---|
| 500 | unsigned long long int ?%=?( unsigned long long int *, unsigned long long int ), ?%=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 501 | |
---|
| 502 | _Bool ?+=?( _Bool *, _Bool ), ?+=?( volatile _Bool *, _Bool ); |
---|
| 503 | char ?+=?( char *, char ), ?+=?( volatile char *, char ); |
---|
| 504 | char signed ?+=?( char signed *, char signed ), ?+=?( volatile char signed *, char signed ); |
---|
| 505 | char unsigned ?+=?( char unsigned *, char unsigned ), ?+=?( volatile char unsigned *, char unsigned ); |
---|
| 506 | int short ?+=?( int short *, int short ), ?+=?( volatile int short *, int short ); |
---|
| 507 | int short unsigned ?+=?( int short unsigned *, int short unsigned ), ?+=?( volatile int short unsigned *, int short unsigned ); |
---|
| 508 | signed int ?+=?( signed int *, signed int ), ?+=?( volatile signed int *, signed int ); |
---|
| 509 | unsigned int ?+=?( unsigned *, unsigned ), ?+=?( volatile unsigned *, unsigned ); |
---|
| 510 | signed long int ?+=?( signed long int *, signed long int ), ?+=?( volatile signed long int *, signed long int ); |
---|
| 511 | unsigned long int ?+=?( unsigned long int *, unsigned long int ), ?+=?( volatile unsigned long int *, unsigned long int ); |
---|
| 512 | signed long long int ?+=?( signed long long int *, signed long long int ), ?+=?( volatile signed long long int *, signed long long int ); |
---|
| 513 | unsigned long long int ?+=?( unsigned long long int *, unsigned long long int ), ?+=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 514 | |
---|
| 515 | _Bool ?-=?( _Bool *, _Bool ), ?-=?( volatile _Bool *, _Bool ); |
---|
| 516 | char ?-=?( char *, char ), ?-=?( volatile char *, char ); |
---|
| 517 | char signed ?-=?( char signed *, char signed ), ?-=?( volatile char signed *, char signed ); |
---|
| 518 | char unsigned ?-=?( char unsigned *, char unsigned ), ?-=?( volatile char unsigned *, char unsigned ); |
---|
| 519 | int short ?-=?( int short *, int short ), ?-=?( volatile int short *, int short ); |
---|
| 520 | int short unsigned ?-=?( int short unsigned *, int short unsigned ), ?-=?( volatile int short unsigned *, int short unsigned ); |
---|
| 521 | signed int ?-=?( signed int *, signed int ), ?-=?( volatile signed int *, signed int ); |
---|
| 522 | unsigned int ?-=?( unsigned *, unsigned ), ?-=?( volatile unsigned *, unsigned ); |
---|
| 523 | signed long int ?-=?( signed long int *, signed long int ), ?-=?( volatile signed long int *, signed long int ); |
---|
| 524 | unsigned long int ?-=?( unsigned long int *, unsigned long int ), ?-=?( volatile unsigned long int *, unsigned long int ); |
---|
| 525 | signed long long int ?-=?( signed long long int *, signed long long int ), ?-=?( volatile signed long long int *, signed long long int ); |
---|
| 526 | unsigned long long int ?-=?( unsigned long long int *, unsigned long long int ), ?-=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 527 | |
---|
| 528 | _Bool ?<<=?( _Bool *, _Bool ), ?<<=?( volatile _Bool *, _Bool ); |
---|
| 529 | char ?<<=?( char *, char ), ?<<=?( volatile char *, char ); |
---|
| 530 | char signed ?<<=?( char signed *, char signed ), ?<<=?( volatile char signed *, char signed ); |
---|
| 531 | char unsigned ?<<=?( char unsigned *, char unsigned ), ?<<=?( volatile char unsigned *, char unsigned ); |
---|
| 532 | int short ?<<=?( int short *, int short ), ?<<=?( volatile int short *, int short ); |
---|
| 533 | int short unsigned ?<<=?( int short unsigned *, int short unsigned ), ?<<=?( volatile int short unsigned *, int short unsigned ); |
---|
| 534 | signed int ?<<=?( signed int *, signed int ), ?<<=?( volatile signed int *, signed int ); |
---|
| 535 | unsigned int ?<<=?( unsigned *, unsigned ), ?<<=?( volatile unsigned *, unsigned ); |
---|
| 536 | signed long int ?<<=?( signed long int *, signed long int ), ?<<=?( volatile signed long int *, signed long int ); |
---|
| 537 | unsigned long int ?<<=?( unsigned long int *, unsigned long int ), ?<<=?( volatile unsigned long int *, unsigned long int ); |
---|
| 538 | signed long long int ?<<=?( signed long long int *, signed long long int ), ?<<=?( volatile signed long long int *, signed long long int ); |
---|
| 539 | unsigned long long int ?<<=?( unsigned long long int *, unsigned long long int ), ?<<=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 540 | |
---|
| 541 | _Bool ?>>=?( _Bool *, _Bool ), ?>>=?( volatile _Bool *, _Bool ); |
---|
| 542 | char ?>>=?( char *, char ), ?>>=?( volatile char *, char ); |
---|
| 543 | char signed ?>>=?( char signed *, char signed ), ?>>=?( volatile char signed *, char signed ); |
---|
| 544 | char unsigned ?>>=?( char unsigned *, char unsigned ), ?>>=?( volatile char unsigned *, char unsigned ); |
---|
| 545 | int short ?>>=?( int short *, int short ), ?>>=?( volatile int short *, int short ); |
---|
| 546 | int short unsigned ?>>=?( int short unsigned *, int short unsigned ), ?>>=?( volatile int short unsigned *, int short unsigned ); |
---|
| 547 | signed int ?>>=?( signed int *, signed int ), ?>>=?( volatile signed int *, signed int ); |
---|
| 548 | unsigned int ?>>=?( unsigned *, unsigned ), ?>>=?( volatile unsigned *, unsigned ); |
---|
| 549 | signed long int ?>>=?( signed long int *, signed long int ), ?>>=?( volatile signed long int *, signed long int ); |
---|
| 550 | unsigned long int ?>>=?( unsigned long int *, unsigned long int ), ?>>=?( volatile unsigned long int *, unsigned long int ); |
---|
| 551 | signed long long int ?>>=?( signed long long int *, signed long long int ), ?>>=?( volatile signed long long int *, signed long long int ); |
---|
| 552 | unsigned long long int ?>>=?( unsigned long long int *, unsigned long long int ), ?>>=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 553 | |
---|
| 554 | _Bool ?&=?( _Bool *, _Bool ), ?&=?( volatile _Bool *, _Bool ); |
---|
| 555 | char ?&=?( char *, char ), ?&=?( volatile char *, char ); |
---|
| 556 | char signed ?&=?( char signed *, char signed ), ?&=?( volatile char signed *, char signed ); |
---|
| 557 | char unsigned ?&=?( char unsigned *, char unsigned ), ?&=?( volatile char unsigned *, char unsigned ); |
---|
| 558 | int short ?&=?( int short *, int short ), ?&=?( volatile int short *, int short ); |
---|
| 559 | int short unsigned ?&=?( int short unsigned *, int short unsigned ), ?&=?( volatile int short unsigned *, int short unsigned ); |
---|
| 560 | signed int ?&=?( signed int *, signed int ), ?&=?( volatile signed int *, signed int ); |
---|
| 561 | unsigned int ?&=?( unsigned *, unsigned ), ?&=?( volatile unsigned *, unsigned ); |
---|
| 562 | signed long int ?&=?( signed long int *, signed long int ), ?&=?( volatile signed long int *, signed long int ); |
---|
| 563 | unsigned long int ?&=?( unsigned long int *, unsigned long int ), ?&=?( volatile unsigned long int *, unsigned long int ); |
---|
| 564 | signed long long int ?&=?( signed long long int *, signed long long int ), ?&=?( volatile signed long long int *, signed long long int ); |
---|
| 565 | unsigned long long int ?&=?( unsigned long long int *, unsigned long long int ), ?&=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 566 | |
---|
| 567 | _Bool ?|=?( _Bool *, _Bool ), ?|=?( volatile _Bool *, _Bool ); |
---|
| 568 | char ?|=?( char *, char ), ?|=?( volatile char *, char ); |
---|
| 569 | char signed ?|=?( char signed *, char signed ), ?|=?( volatile char signed *, char signed ); |
---|
| 570 | char unsigned ?|=?( char unsigned *, char unsigned ), ?|=?( volatile char unsigned *, char unsigned ); |
---|
| 571 | int short ?|=?( int short *, int short ), ?|=?( volatile int short *, int short ); |
---|
| 572 | int short unsigned ?|=?( int short unsigned *, int short unsigned ), ?|=?( volatile int short unsigned *, int short unsigned ); |
---|
| 573 | signed int ?|=?( signed int *, signed int ), ?|=?( volatile signed int *, signed int ); |
---|
| 574 | unsigned int ?|=?( unsigned *, unsigned ), ?|=?( volatile unsigned *, unsigned ); |
---|
| 575 | signed long int ?|=?( signed long int *, signed long int ), ?|=?( volatile signed long int *, signed long int ); |
---|
| 576 | unsigned long int ?|=?( unsigned long int *, unsigned long int ), ?|=?( volatile unsigned long int *, unsigned long int ); |
---|
| 577 | signed long long int ?|=?( signed long long int *, signed long long int ), ?|=?( volatile signed long long int *, signed long long int ); |
---|
| 578 | unsigned long long int ?|=?( unsigned long long int *, unsigned long long int ), ?|=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 579 | |
---|
| 580 | _Bool ?^=?( _Bool *, _Bool ), ?^=?( volatile _Bool *, _Bool ); |
---|
| 581 | char ?^=?( char *, char ), ?^=?( volatile char *, char ); |
---|
| 582 | char signed ?^=?( char signed *, char signed ), ?^=?( volatile char signed *, char signed ); |
---|
| 583 | char unsigned ?^=?( char unsigned *, char unsigned ), ?^=?( volatile char unsigned *, char unsigned ); |
---|
| 584 | int short ?^=?( int short *, int short ), ?^=?( volatile int short *, int short ); |
---|
| 585 | int short unsigned ?^=?( int short unsigned *, int short unsigned ), ?^=?( volatile int short unsigned *, int short unsigned ); |
---|
| 586 | signed int ?^=?( signed int *, signed int ), ?^=?( volatile signed int *, signed int ); |
---|
| 587 | unsigned int ?^=?( unsigned *, unsigned ), ?^=?( volatile unsigned *, unsigned ); |
---|
| 588 | signed long int ?^=?( signed long int *, signed long int ), ?^=?( volatile signed long int *, signed long int ); |
---|
| 589 | unsigned long int ?^=?( unsigned long int *, unsigned long int ), ?^=?( volatile unsigned long int *, unsigned long int ); |
---|
| 590 | signed long long int ?^=?( signed long long int *, signed long long int ), ?^=?( volatile signed long long int *, signed long long int ); |
---|
| 591 | unsigned long long int ?^=?( unsigned long long int *, unsigned long long int ), ?^=?( volatile unsigned long long int *, unsigned long long int ); |
---|
| 592 | |
---|
| 593 | float ?=?( float *, float ), ?=?( volatile float *, float ), |
---|
| 594 | ?*=?( float *, float ), ?*=?( volatile float *, float ), |
---|
| 595 | ?/=?( float *, float ), ?/=?( volatile float *, float ), |
---|
| 596 | ?+=?( float *, float ), ?+=?( volatile float *, float ), |
---|
| 597 | ?-=?( float *, float ), ?-=?( volatile float *, float ); |
---|
| 598 | |
---|
| 599 | double ?=?( double *, double ), ?=?( volatile double *, double ), |
---|
| 600 | ?*=?( double *, double ), ?*=?( volatile double *, double ), |
---|
| 601 | ?/=?( double *, double ), ?/=?( volatile double *, double ), |
---|
| 602 | ?+=?( double *, double ), ?+=?( volatile double *, double ), |
---|
| 603 | ?-=?( double *, double ), ?-=?( volatile double *, double ); |
---|
| 604 | |
---|
| 605 | long double ?=?( long double *, long double ), ?=?( volatile long double *, long double ), |
---|
| 606 | ?*=?( long double *, long double ), ?*=?( volatile long double *, long double ), |
---|
| 607 | ?/=?( long double *, long double ), ?/=?( volatile long double *, long double ), |
---|
| 608 | ?+=?( long double *, long double ), ?+=?( volatile long double *, long double ), |
---|
| 609 | ?-=?( long double *, long double ), ?-=?( volatile long double *, long double ); |
---|
| 610 | |
---|
| 611 | float _Complex ?=?( float _Complex *, float _Complex ), ?=?( volatile float _Complex *, float _Complex ), |
---|
| 612 | ?*=?( float _Complex *, float _Complex ), ?*=?( volatile float _Complex *, float _Complex ), |
---|
| 613 | ?/=?( float _Complex *, float _Complex ), ?/=?( volatile float _Complex *, float _Complex ), |
---|
| 614 | ?+=?( float _Complex *, float _Complex ), ?+=?( volatile float _Complex *, float _Complex ), |
---|
| 615 | ?-=?( float _Complex *, float _Complex ), ?-=?( volatile float _Complex *, float _Complex ); |
---|
| 616 | |
---|
| 617 | double _Complex ?=?( double _Complex *, double _Complex ), ?=?( volatile double _Complex *, double _Complex ), |
---|
| 618 | ?*=?( double _Complex *, double _Complex ), ?*=?( volatile double _Complex *, double _Complex ), |
---|
| 619 | ?/=?( double _Complex *, double _Complex ), ?/=?( volatile double _Complex *, double _Complex ), |
---|
| 620 | ?+=?( double _Complex *, double _Complex ), ?+=?( volatile double _Complex *, double _Complex ), |
---|
| 621 | ?-=?( double _Complex *, double _Complex ), ?-=?( volatile double _Complex *, double _Complex ); |
---|
| 622 | |
---|
| 623 | long double _Complex ?=?( long double _Complex *, long double _Complex ), ?=?( volatile long double _Complex *, long double _Complex ), |
---|
| 624 | ?*=?( long double _Complex *, long double _Complex ), ?*=?( volatile long double _Complex *, long double _Complex ), |
---|
| 625 | ?/=?( long double _Complex *, long double _Complex ), ?/=?( volatile long double _Complex *, long double _Complex ), |
---|
| 626 | ?+=?( long double _Complex *, long double _Complex ), ?+=?( volatile long double _Complex *, long double _Complex ), |
---|
| 627 | ?-=?( long double _Complex *, long double _Complex ), ?-=?( volatile long double _Complex *, long double _Complex ); |
---|
[f1e012b] | 628 | |
---|
| 629 | |
---|
| 630 | |
---|
| 631 | |
---|
| 632 | |
---|
| 633 | // ------------------------------------------------------------ |
---|
| 634 | // |
---|
| 635 | // Section ??? Constructors and Destructors |
---|
| 636 | // |
---|
| 637 | // ------------------------------------------------------------ |
---|
| 638 | |
---|
| 639 | // default ctor |
---|
[b6fe7e6] | 640 | void ?{}( _Bool * ); |
---|
| 641 | void ?{}( char * ); |
---|
| 642 | void ?{}( unsigned char * ); |
---|
| 643 | void ?{}( char signed * ); |
---|
| 644 | void ?{}( int short * ); |
---|
| 645 | void ?{}( int short unsigned * ); |
---|
| 646 | void ?{}( signed int * ); |
---|
| 647 | void ?{}( unsigned int * ); |
---|
| 648 | void ?{}( signed long int * ); |
---|
| 649 | void ?{}( unsigned long int * ); |
---|
| 650 | void ?{}( signed long long int * ); |
---|
| 651 | void ?{}( unsigned long long int * ); |
---|
| 652 | void ?{}( float * ); |
---|
| 653 | void ?{}( double * ); |
---|
| 654 | void ?{}( long double * ); |
---|
| 655 | void ?{}( float _Complex * ); |
---|
| 656 | void ?{}( double _Complex * ); |
---|
| 657 | void ?{}( long double _Complex * ); |
---|
[4cb935e] | 658 | void ?{}( zero_t * ); |
---|
| 659 | void ?{}( one_t * ); |
---|
[f1e012b] | 660 | |
---|
| 661 | // copy ctor |
---|
[b6fe7e6] | 662 | void ?{}( _Bool *, _Bool ); |
---|
| 663 | void ?{}( char *, char ); |
---|
| 664 | void ?{}( unsigned char *, unsigned char ); |
---|
| 665 | void ?{}( char signed *, char signed ); |
---|
| 666 | void ?{}( int short *, int short ); |
---|
| 667 | void ?{}( int short unsigned *, int short unsigned ); |
---|
| 668 | void ?{}( signed int *, signed int); |
---|
| 669 | void ?{}( unsigned int *, unsigned int); |
---|
| 670 | void ?{}( signed long int *, signed long int); |
---|
| 671 | void ?{}( unsigned long int *, unsigned long int); |
---|
| 672 | void ?{}( signed long long int *, signed long long int); |
---|
| 673 | void ?{}( unsigned long long int *, unsigned long long int); |
---|
| 674 | void ?{}( float *, float); |
---|
| 675 | void ?{}( double *, double); |
---|
| 676 | void ?{}( long double *, long double); |
---|
| 677 | void ?{}( float _Complex *, float _Complex); |
---|
| 678 | void ?{}( double _Complex *, double _Complex); |
---|
| 679 | void ?{}( long double _Complex *, long double _Complex); |
---|
[4cb935e] | 680 | void ?{}( zero_t *, zero_t ); |
---|
| 681 | void ?{}( one_t *, one_t ); |
---|
[f1e012b] | 682 | |
---|
| 683 | // dtor |
---|
[b6fe7e6] | 684 | void ^?{}( _Bool * ); |
---|
| 685 | void ^?{}( char * ); |
---|
| 686 | void ^?{}( char unsigned * ); |
---|
| 687 | void ^?{}( char signed * ); |
---|
| 688 | void ^?{}( int short * ); |
---|
| 689 | void ^?{}( int short unsigned * ); |
---|
| 690 | void ^?{}( signed int * ); |
---|
| 691 | void ^?{}( unsigned int * ); |
---|
| 692 | void ^?{}( signed long int * ); |
---|
| 693 | void ^?{}( unsigned long int * ); |
---|
| 694 | void ^?{}( signed long long int * ); |
---|
| 695 | void ^?{}( unsigned long long int * ); |
---|
| 696 | void ^?{}( float * ); |
---|
| 697 | void ^?{}( double * ); |
---|
| 698 | void ^?{}( long double * ); |
---|
| 699 | void ^?{}( float _Complex * ); |
---|
| 700 | void ^?{}( double _Complex * ); |
---|
| 701 | void ^?{}( long double _Complex * ); |
---|
[4cb935e] | 702 | void ^?{}( zero_t * ); |
---|
| 703 | void ^?{}( one_t * ); |
---|
[f1e012b] | 704 | |
---|
| 705 | // // default ctor |
---|
| 706 | // forall( dtype DT ) void ?{}( DT ** ); |
---|
| 707 | // forall( dtype DT ) void ?{}( const DT ** ); |
---|
| 708 | // forall( dtype DT ) void ?{}( volatile DT ** ); |
---|
| 709 | // forall( dtype DT ) void ?{}( const volatile DT ** ); |
---|
| 710 | |
---|
| 711 | // // copy ctor |
---|
| 712 | // forall( dtype DT ) void ?{}( DT **, DT* ); |
---|
| 713 | // forall( dtype DT ) void ?{}( const DT **, DT* ); |
---|
| 714 | // forall( dtype DT ) void ?{}( volatile DT **, DT* ); |
---|
| 715 | // forall( dtype DT ) void ?{}( const volatile DT **, DT* ); |
---|
| 716 | |
---|
| 717 | // // dtor |
---|
| 718 | // forall( dtype DT ) void ^?{}( DT ** ); |
---|
| 719 | // forall( dtype DT ) void ^?{}( const DT ** ); |
---|
| 720 | // forall( dtype DT ) void ^?{}( volatile DT ** ); |
---|
| 721 | // forall( dtype DT ) void ^?{}( const volatile DT ** ); |
---|
| 722 | |
---|
| 723 | // copied from assignment section |
---|
| 724 | // copy constructors |
---|
| 725 | forall( ftype FT ) void ?{}( FT **, FT * ); |
---|
| 726 | forall( ftype FT ) void ?{}( FT * volatile *, FT * ); |
---|
| 727 | |
---|
| 728 | forall( dtype DT ) void ?{}( DT * *, DT * ); |
---|
| 729 | forall( dtype DT ) void ?{}( const DT * *, DT * ); |
---|
| 730 | forall( dtype DT ) void ?{}( const DT * *, const DT * ); |
---|
| 731 | forall( dtype DT ) void ?{}( volatile DT * *, DT * ); |
---|
| 732 | forall( dtype DT ) void ?{}( volatile DT * *, volatile DT * ); |
---|
| 733 | |
---|
| 734 | forall( dtype DT ) void ?{}( const volatile DT * *, DT * ); |
---|
| 735 | forall( dtype DT ) void ?{}( const volatile DT * *, const DT * ); |
---|
| 736 | forall( dtype DT ) void ?{}( const volatile DT * *, volatile DT * ); |
---|
| 737 | forall( dtype DT ) void ?{}( const volatile DT * *, const volatile DT * ); |
---|
| 738 | |
---|
| 739 | forall( dtype DT ) void ?{}( DT * *, void * ); |
---|
| 740 | forall( dtype DT ) void ?{}( const DT * *, void * ); |
---|
| 741 | forall( dtype DT ) void ?{}( const DT * *, const void * ); |
---|
| 742 | forall( dtype DT ) void ?{}( volatile DT * *, void * ); |
---|
| 743 | forall( dtype DT ) void ?{}( volatile DT * *, volatile void * ); |
---|
| 744 | |
---|
| 745 | forall( dtype DT ) void ?{}( const volatile DT * *, void * ); |
---|
| 746 | forall( dtype DT ) void ?{}( const volatile DT * *, const void * ); |
---|
| 747 | forall( dtype DT ) void ?{}( const volatile DT * *, volatile void * ); |
---|
| 748 | forall( dtype DT ) void ?{}( const volatile DT * *, const volatile void * ); |
---|
| 749 | |
---|
| 750 | forall( dtype DT ) void ?{}( void * *, DT * ); |
---|
| 751 | forall( dtype DT ) void ?{}( const void * *, DT * ); |
---|
| 752 | forall( dtype DT ) void ?{}( const void * *, const DT * ); |
---|
| 753 | forall( dtype DT ) void ?{}( volatile void * *, DT * ); |
---|
| 754 | forall( dtype DT ) void ?{}( volatile void * *, volatile DT * ); |
---|
| 755 | forall( dtype DT ) void ?{}( const volatile void * *, DT * ); |
---|
| 756 | forall( dtype DT ) void ?{}( const volatile void * *, const DT * ); |
---|
| 757 | forall( dtype DT ) void ?{}( const volatile void * *, volatile DT * ); |
---|
| 758 | forall( dtype DT ) void ?{}( const volatile void * *, const volatile DT * ); |
---|
| 759 | |
---|
| 760 | void ?{}( void * *, void * ); |
---|
| 761 | void ?{}( const void * *, void * ); |
---|
| 762 | void ?{}( const void * *, const void * ); |
---|
| 763 | void ?{}( volatile void * *, void * ); |
---|
| 764 | void ?{}( volatile void * *, volatile void * ); |
---|
| 765 | void ?{}( const volatile void * *, void * ); |
---|
| 766 | void ?{}( const volatile void * *, const void * ); |
---|
| 767 | void ?{}( const volatile void * *, volatile void * ); |
---|
| 768 | void ?{}( const volatile void * *, const volatile void * ); |
---|
| 769 | |
---|
| 770 | //forall( dtype DT ) void ?{}( DT * *, forall( dtype DT2 ) const DT2 * ); |
---|
| 771 | //forall( dtype DT ) void ?{}( DT * volatile *, forall( dtype DT2 ) const DT2 * ); |
---|
| 772 | forall( dtype DT ) void ?{}( const DT * *, forall( dtype DT2 ) const DT2 * ); |
---|
| 773 | //forall( dtype DT ) void ?{}( volatile DT * *, forall( dtype DT2 ) const DT2 * ); |
---|
| 774 | //forall( dtype DT ) void ?{}( volatile DT * volatile *, forall( dtype DT2 ) const DT2 * ); |
---|
| 775 | forall( dtype DT ) void ?{}( const volatile DT * *, forall( dtype DT2 ) const DT2 * ); |
---|
| 776 | |
---|
| 777 | forall( ftype FT ) void ?{}( FT * *, forall( ftype FT2 ) FT2 * ); |
---|
| 778 | |
---|
| 779 | // default ctors |
---|
| 780 | forall( ftype FT ) void ?{}( FT * * ); |
---|
| 781 | |
---|
| 782 | forall( dtype DT ) void ?{}( DT * *); |
---|
| 783 | forall( dtype DT ) void ?{}( const DT * *); |
---|
| 784 | forall( dtype DT ) void ?{}( volatile DT * *); |
---|
| 785 | forall( dtype DT ) void ?{}( const volatile DT * *); |
---|
| 786 | |
---|
| 787 | void ?{}( void * *); |
---|
| 788 | void ?{}( const void * *); |
---|
| 789 | void ?{}( volatile void * *); |
---|
| 790 | void ?{}( const volatile void * *); |
---|
| 791 | |
---|
| 792 | // dtors |
---|
| 793 | forall( ftype FT ) void ^?{}( FT * * ); |
---|
| 794 | |
---|
| 795 | forall( dtype DT ) void ^?{}( DT * *); |
---|
| 796 | forall( dtype DT ) void ^?{}( const DT * *); |
---|
| 797 | forall( dtype DT ) void ^?{}( volatile DT * *); |
---|
| 798 | forall( dtype DT ) void ^?{}( const volatile DT * *); |
---|
| 799 | |
---|
| 800 | void ^?{}( void * *); |
---|
| 801 | void ^?{}( const void * *); |
---|
| 802 | void ^?{}( volatile void * *); |
---|
| 803 | void ^?{}( const volatile void * *); |
---|
[a6151ba] | 804 | |
---|
| 805 | // Local Variables: // |
---|
| 806 | // mode: c // |
---|
| 807 | // tab-width: 8 // |
---|
| 808 | // End: // |
---|