gcc/testsuite/g++.dg/cpp0x/rv6p.C

   1 // I, Howard Hinnant, hereby place this code in the public domain.
   2
   3 // Test overlaod resolution among referece types
   4
   5 // { dg-do compile }
   6 // { dg-options "-std=c++0x" }
   7
   8 template <bool> struct sa;
   9 template <> struct sa<true> {};
  10
  11 struct one   {char x[1];};
  12 struct two   {char x[2];};
  13 struct three {char x[3];};
  14 struct four  {char x[4];};
  15 struct five  {char x[5];};
  16 struct six   {char x[6];};
  17 struct seven {char x[7];};
  18 struct eight {char x[8];};
  19
  20 struct A
  21 {
  22     A();
  23     A(const volatile A&&);
  24 };
  25
  26                A    source();
  27 const          A  c_source();
  28       volatile A  v_source();
  29 const volatile A cv_source();
  30
  31 // 6 at a time
  32
  33 one   sink_6_123456(               A&);
  34 two   sink_6_123456(const          A&);
  35 three sink_6_123456(volatile       A&);
  36 four  sink_6_123456(const volatile A&);
  37 five  sink_6_123456(               A&&);
  38 six   sink_6_123456(const          A&&);
  39
  40 int test6_123456()
  41 {
  42                    A a;
  43     const          A ca = a;
  44           volatile A va;
  45     const volatile A cva = a;
  46     sa<sizeof(sink_6_123456(a))           == 1> t1;
  47     sa<sizeof(sink_6_123456(ca))          == 2> t2;
  48     sa<sizeof(sink_6_123456(va))          == 3> t3;
  49     sa<sizeof(sink_6_123456(cva))         == 4> t4;
  50     sa<sizeof(sink_6_123456(source()))    == 5> t5;
  51     sa<sizeof(sink_6_123456(c_source()))  == 6> t6;
  52     return 0;
  53 }
  54
  55 one   sink_6_123457(               A&);
  56 two   sink_6_123457(const          A&);
  57 three sink_6_123457(volatile       A&);
  58 four  sink_6_123457(const volatile A&);
  59 five  sink_6_123457(               A&&);
  60 seven sink_6_123457(volatile       A&&);
  61
  62 int test6_123457()
  63 {
  64                    A a;
  65     const          A ca = a;
  66           volatile A va;
  67     const volatile A cva = a;
  68     sa<sizeof(sink_6_123457(a))           == 1> t1;
  69     sa<sizeof(sink_6_123457(ca))          == 2> t2;
  70     sa<sizeof(sink_6_123457(va))          == 3> t3;
  71     sa<sizeof(sink_6_123457(cva))         == 4> t4;
  72     sa<sizeof(sink_6_123457(source()))    == 5> t5;
  73     sa<sizeof(sink_6_123457(c_source()))  == 2> t6;
  74     sa<sizeof(sink_6_123457(v_source()))  == 7> t7;
  75     return 0;
  76 }
  77
  78 one   sink_6_123458(               A&);
  79 two   sink_6_123458(const          A&);
  80 three sink_6_123458(volatile       A&);
  81 four  sink_6_123458(const volatile A&);
  82 five  sink_6_123458(               A&&);
  83 eight sink_6_123458(const volatile A&&);
  84
  85 int test6_123458()
  86 {
  87                    A a;
  88     const          A ca = a;
  89           volatile A va;
  90     const volatile A cva = a;
  91     sa<sizeof(sink_6_123458(a))           == 1> t1;
  92     sa<sizeof(sink_6_123458(ca))          == 2> t2;
  93     sa<sizeof(sink_6_123458(va))          == 3> t3;
  94     sa<sizeof(sink_6_123458(cva))         == 4> t4;
  95     sa<sizeof(sink_6_123458(source()))    == 5> t5;
  96     sa<sizeof(sink_6_123458(c_source()))  == 8> t6;
  97     sa<sizeof(sink_6_123458(v_source()))  == 8> t7;
  98     sa<sizeof(sink_6_123458(cv_source())) == 8> t8;
  99     return 0;
 100 }
 101
 102 one   sink_6_123467(               A&);
 103 two   sink_6_123467(const          A&);
 104 three sink_6_123467(volatile       A&);
 105 four  sink_6_123467(const volatile A&);
 106 six   sink_6_123467(const          A&&);
 107 seven sink_6_123467(volatile       A&&);
 108
 109 int test6_123467()
 110 {
 111                    A a;
 112     const          A ca = a;
 113           volatile A va;
 114     const volatile A cva = a;
 115     sa<sizeof(sink_6_123467(a))           == 1> t1;
 116     sa<sizeof(sink_6_123467(ca))          == 2> t2;
 117     sa<sizeof(sink_6_123467(va))          == 3> t3;
 118     sa<sizeof(sink_6_123467(cva))         == 4> t4;
 119     sa<sizeof(sink_6_123467(c_source()))  == 6> t6;
 120     sa<sizeof(sink_6_123467(v_source()))  == 7> t7;
 121     return 0;
 122 }
 123
 124 one   sink_6_123468(               A&);
 125 two   sink_6_123468(const          A&);
 126 three sink_6_123468(volatile       A&);
 127 four  sink_6_123468(const volatile A&);
 128 six   sink_6_123468(const          A&&);
 129 eight sink_6_123468(const volatile A&&);
 130
 131 int test6_123468()
 132 {
 133                    A a;
 134     const          A ca = a;
 135           volatile A va;
 136     const volatile A cva = a;
 137     sa<sizeof(sink_6_123468(a))           == 1> t1;
 138     sa<sizeof(sink_6_123468(ca))          == 2> t2;
 139     sa<sizeof(sink_6_123468(va))          == 3> t3;
 140     sa<sizeof(sink_6_123468(cva))         == 4> t4;
 141     sa<sizeof(sink_6_123468(source()))    == 6> t5;
 142     sa<sizeof(sink_6_123468(c_source()))  == 6> t6;
 143     sa<sizeof(sink_6_123468(v_source()))  == 8> t7;
 144     sa<sizeof(sink_6_123468(cv_source())) == 8> t8;
 145     return 0;
 146 }
 147
 148 one   sink_6_123478(               A&);
 149 two   sink_6_123478(const          A&);
 150 three sink_6_123478(volatile       A&);
 151 four  sink_6_123478(const volatile A&);
 152 seven sink_6_123478(volatile       A&&);
 153 eight sink_6_123478(const volatile A&&);
 154
 155 int test6_123478()
 156 {
 157                    A a;
 158     const          A ca = a;
 159           volatile A va;
 160     const volatile A cva = a;
 161     sa<sizeof(sink_6_123478(a))           == 1> t1;
 162     sa<sizeof(sink_6_123478(ca))          == 2> t2;
 163     sa<sizeof(sink_6_123478(va))          == 3> t3;
 164     sa<sizeof(sink_6_123478(cva))         == 4> t4;
 165     sa<sizeof(sink_6_123478(source()))    == 7> t5;
 166     sa<sizeof(sink_6_123478(c_source()))  == 8> t6;
 167     sa<sizeof(sink_6_123478(v_source()))  == 7> t7;
 168     sa<sizeof(sink_6_123478(cv_source())) == 8> t8;
 169     return 0;
 170 }
 171
 172 one   sink_6_123567(               A&);
 173 two   sink_6_123567(const          A&);
 174 three sink_6_123567(volatile       A&);
 175 five  sink_6_123567(               A&&);
 176 six   sink_6_123567(const          A&&);
 177 seven sink_6_123567(volatile       A&&);
 178
 179 int test6_123567()
 180 {
 181                    A a;
 182     const          A ca = a;
 183           volatile A va;
 184     const volatile A cva = a;
 185     sa<sizeof(sink_6_123567(a))           == 1> t1;
 186     sa<sizeof(sink_6_123567(ca))          == 2> t2;
 187     sa<sizeof(sink_6_123567(va))          == 3> t3;
 188     sa<sizeof(sink_6_123567(source()))    == 5> t5;
 189     sa<sizeof(sink_6_123567(c_source()))  == 6> t6;
 190     sa<sizeof(sink_6_123567(v_source()))  == 7> t7;
 191     return 0;
 192 }
 193
 194 one   sink_6_123568(               A&);
 195 two   sink_6_123568(const          A&);
 196 three sink_6_123568(volatile       A&);
 197 five  sink_6_123568(               A&&);
 198 six   sink_6_123568(const          A&&);
 199 eight sink_6_123568(const volatile A&&);
 200
 201 int test6_123568()
 202 {
 203                    A a;
 204     const          A ca = a;
 205           volatile A va;
 206     const volatile A cva = a;
 207     sa<sizeof(sink_6_123568(a))           == 1> t1;
 208     sa<sizeof(sink_6_123568(ca))          == 2> t2;
 209     sa<sizeof(sink_6_123568(va))          == 3> t3;
 210     sa<sizeof(sink_6_123568(cva))         == 8> t4;
 211     sa<sizeof(sink_6_123568(source()))    == 5> t5;
 212     sa<sizeof(sink_6_123568(c_source()))  == 6> t6;
 213     sa<sizeof(sink_6_123568(v_source()))  == 8> t7;
 214     sa<sizeof(sink_6_123568(cv_source())) == 8> t8;
 215     return 0;
 216 }
 217
 218 one   sink_6_123578(               A&);
 219 two   sink_6_123578(const          A&);
 220 three sink_6_123578(volatile       A&);
 221 five  sink_6_123578(               A&&);
 222 seven sink_6_123578(volatile       A&&);
 223 eight sink_6_123578(const volatile A&&);
 224
 225 int test6_123578()
 226 {
 227                    A a;
 228     const          A ca = a;
 229           volatile A va;
 230     const volatile A cva = a;
 231     sa<sizeof(sink_6_123578(a))           == 1> t1;
 232     sa<sizeof(sink_6_123578(ca))          == 2> t2;
 233     sa<sizeof(sink_6_123578(va))          == 3> t3;
 234     sa<sizeof(sink_6_123578(cva))         == 8> t4;
 235     sa<sizeof(sink_6_123578(source()))    == 5> t5;
 236     sa<sizeof(sink_6_123578(c_source()))  == 8> t6;
 237     sa<sizeof(sink_6_123578(v_source()))  == 7> t7;
 238     sa<sizeof(sink_6_123578(cv_source())) == 8> t8;
 239     return 0;
 240 }
 241
 242 one   sink_6_123678(               A&);
 243 two   sink_6_123678(const          A&);
 244 three sink_6_123678(volatile       A&);
 245 six   sink_6_123678(const          A&&);
 246 seven sink_6_123678(volatile       A&&);
 247 eight sink_6_123678(const volatile A&&);
 248
 249 int test6_123678()
 250 {
 251                    A a;
 252     const          A ca = a;
 253           volatile A va;
 254     const volatile A cva = a;
 255     sa<sizeof(sink_6_123678(a))           == 1> t1;
 256     sa<sizeof(sink_6_123678(ca))          == 2> t2;
 257     sa<sizeof(sink_6_123678(va))          == 3> t3;
 258     sa<sizeof(sink_6_123678(cva))         == 8> t4;
 259     sa<sizeof(sink_6_123678(c_source()))  == 6> t6;
 260     sa<sizeof(sink_6_123678(v_source()))  == 7> t7;
 261     sa<sizeof(sink_6_123678(cv_source())) == 8> t8;
 262     return 0;
 263 }
 264
 265 one   sink_6_124567(               A&);
 266 two   sink_6_124567(const          A&);
 267 four  sink_6_124567(const volatile A&);
 268 five  sink_6_124567(               A&&);
 269 six   sink_6_124567(const          A&&);
 270 seven sink_6_124567(volatile       A&&);
 271
 272 int test6_124567()
 273 {
 274                    A a;
 275     const          A ca = a;
 276           volatile A va;
 277     const volatile A cva = a;
 278     sa<sizeof(sink_6_124567(a))           == 1> t1;
 279     sa<sizeof(sink_6_124567(ca))          == 2> t2;
 280     sa<sizeof(sink_6_124567(va))          == 4> t3;
 281     sa<sizeof(sink_6_124567(cva))         == 4> t4;
 282     sa<sizeof(sink_6_124567(source()))    == 5> t5;
 283     sa<sizeof(sink_6_124567(c_source()))  == 6> t6;
 284     sa<sizeof(sink_6_124567(v_source()))  == 7> t7;
 285     return 0;
 286 }
 287
 288 one   sink_6_124568(               A&);
 289 two   sink_6_124568(const          A&);
 290 four  sink_6_124568(const volatile A&);
 291 five  sink_6_124568(               A&&);
 292 six   sink_6_124568(const          A&&);
 293 eight sink_6_124568(const volatile A&&);
 294
 295 int test6_124568()
 296 {
 297                    A a;
 298     const          A ca = a;
 299           volatile A va;
 300     const volatile A cva = a;
 301     sa<sizeof(sink_6_124568(a))           == 1> t1;
 302     sa<sizeof(sink_6_124568(ca))          == 2> t2;
 303     sa<sizeof(sink_6_124568(va))          == 4> t3;
 304     sa<sizeof(sink_6_124568(cva))         == 4> t4;
 305     sa<sizeof(sink_6_124568(source()))    == 5> t5;
 306     sa<sizeof(sink_6_124568(c_source()))  == 6> t6;
 307     sa<sizeof(sink_6_124568(v_source()))  == 8> t7;
 308     sa<sizeof(sink_6_124568(cv_source())) == 8> t8;
 309     return 0;
 310 }
 311
 312 one   sink_6_124578(               A&);
 313 two   sink_6_124578(const          A&);
 314 four  sink_6_124578(const volatile A&);
 315 five  sink_6_124578(               A&&);
 316 seven sink_6_124578(volatile       A&&);
 317 eight sink_6_124578(const volatile A&&);
 318
 319 int test6_124578()
 320 {
 321                    A a;
 322     const          A ca = a;
 323           volatile A va;
 324     const volatile A cva = a;
 325     sa<sizeof(sink_6_124578(a))           == 1> t1;
 326     sa<sizeof(sink_6_124578(ca))          == 2> t2;
 327     sa<sizeof(sink_6_124578(va))          == 4> t3;
 328     sa<sizeof(sink_6_124578(cva))         == 4> t4;
 329     sa<sizeof(sink_6_124578(source()))    == 5> t5;
 330     sa<sizeof(sink_6_124578(c_source()))  == 8> t6;
 331     sa<sizeof(sink_6_124578(v_source()))  == 7> t7;
 332     sa<sizeof(sink_6_124578(cv_source())) == 8> t8;
 333     return 0;
 334 }
 335
 336 one   sink_6_124678(               A&);
 337 two   sink_6_124678(const          A&);
 338 four  sink_6_124678(const volatile A&);
 339 six   sink_6_124678(const          A&&);
 340 seven sink_6_124678(volatile       A&&);
 341 eight sink_6_124678(const volatile A&&);
 342
 343 int test6_124678()
 344 {
 345                    A a;
 346     const          A ca = a;
 347           volatile A va;
 348     const volatile A cva = a;
 349     sa<sizeof(sink_6_124678(a))           == 1> t1;
 350     sa<sizeof(sink_6_124678(ca))          == 2> t2;
 351     sa<sizeof(sink_6_124678(va))          == 4> t3;
 352     sa<sizeof(sink_6_124678(cva))         == 4> t4;
 353     sa<sizeof(sink_6_124678(c_source()))  == 6> t6;
 354     sa<sizeof(sink_6_124678(v_source()))  == 7> t7;
 355     sa<sizeof(sink_6_124678(cv_source())) == 8> t8;
 356     return 0;
 357 }
 358
 359 one   sink_6_125678(               A&);
 360 two   sink_6_125678(const          A&);
 361 five  sink_6_125678(               A&&);
 362 six   sink_6_125678(const          A&&);
 363 seven sink_6_125678(volatile       A&&);
 364 eight sink_6_125678(const volatile A&&);
 365
 366 int test6_125678()
 367 {
 368                    A a;
 369     const          A ca = a;
 370           volatile A va;
 371     const volatile A cva = a;
 372     sa<sizeof(sink_6_125678(a))           == 1> t1;
 373     sa<sizeof(sink_6_125678(ca))          == 2> t2;
 374     sa<sizeof(sink_6_125678(va))          == 7> t3;
 375     sa<sizeof(sink_6_125678(cva))         == 8> t4;
 376     sa<sizeof(sink_6_125678(source()))    == 5> t5;
 377     sa<sizeof(sink_6_125678(c_source()))  == 6> t6;
 378     sa<sizeof(sink_6_125678(v_source()))  == 7> t7;
 379     sa<sizeof(sink_6_125678(cv_source())) == 8> t8;
 380     return 0;
 381 }
 382
 383 one   sink_6_134567(               A&);
 384 three sink_6_134567(volatile       A&);
 385 four  sink_6_134567(const volatile A&);
 386 five  sink_6_134567(               A&&);
 387 six   sink_6_134567(const          A&&);
 388 seven sink_6_134567(volatile       A&&);
 389
 390 int test6_134567()
 391 {
 392                    A a;
 393     const          A ca = a;
 394           volatile A va;
 395     const volatile A cva = a;
 396     sa<sizeof(sink_6_134567(a))           == 1> t1;
 397     sa<sizeof(sink_6_134567(ca))          == 4> t2;
 398     sa<sizeof(sink_6_134567(va))          == 3> t3;
 399     sa<sizeof(sink_6_134567(cva))         == 4> t4;
 400     sa<sizeof(sink_6_134567(source()))    == 5> t5;
 401     sa<sizeof(sink_6_134567(c_source()))  == 6> t6;
 402     sa<sizeof(sink_6_134567(v_source()))  == 7> t7;
 403     return 0;
 404 }
 405
 406 one   sink_6_134568(               A&);
 407 three sink_6_134568(volatile       A&);
 408 four  sink_6_134568(const volatile A&);
 409 five  sink_6_134568(               A&&);
 410 six   sink_6_134568(const          A&&);
 411 eight sink_6_134568(const volatile A&&);
 412
 413 int test6_134568()
 414 {
 415                    A a;
 416     const          A ca = a;
 417           volatile A va;
 418     const volatile A cva = a;
 419     sa<sizeof(sink_6_134568(a))           == 1> t1;
 420     sa<sizeof(sink_6_134568(ca))          == 4> t2;
 421     sa<sizeof(sink_6_134568(va))          == 3> t3;
 422     sa<sizeof(sink_6_134568(cva))         == 4> t4;
 423     sa<sizeof(sink_6_134568(source()))    == 5> t5;
 424     sa<sizeof(sink_6_134568(c_source()))  == 6> t6;
 425     sa<sizeof(sink_6_134568(v_source()))  == 8> t7;
 426     sa<sizeof(sink_6_134568(cv_source())) == 8> t8;
 427     return 0;
 428 }
 429
 430 one   sink_6_134578(               A&);
 431 three sink_6_134578(volatile       A&);
 432 four  sink_6_134578(const volatile A&);
 433 five  sink_6_134578(               A&&);
 434 seven sink_6_134578(volatile       A&&);
 435 eight sink_6_134578(const volatile A&&);
 436
 437 int test6_134578()
 438 {
 439                    A a;
 440     const          A ca = a;
 441           volatile A va;
 442     const volatile A cva = a;
 443     sa<sizeof(sink_6_134578(a))           == 1> t1;
 444     sa<sizeof(sink_6_134578(ca))          == 4> t2;
 445     sa<sizeof(sink_6_134578(va))          == 3> t3;
 446     sa<sizeof(sink_6_134578(cva))         == 4> t4;
 447     sa<sizeof(sink_6_134578(source()))    == 5> t5;
 448     sa<sizeof(sink_6_134578(c_source()))  == 8> t6;
 449     sa<sizeof(sink_6_134578(v_source()))  == 7> t7;
 450     sa<sizeof(sink_6_134578(cv_source())) == 8> t8;
 451     return 0;
 452 }
 453
 454 one   sink_6_134678(               A&);
 455 three sink_6_134678(volatile       A&);
 456 four  sink_6_134678(const volatile A&);
 457 six   sink_6_134678(const          A&&);
 458 seven sink_6_134678(volatile       A&&);
 459 eight sink_6_134678(const volatile A&&);
 460
 461 int test6_134678()
 462 {
 463                    A a;
 464     const          A ca = a;
 465           volatile A va;
 466     const volatile A cva = a;
 467     sa<sizeof(sink_6_134678(a))           == 1> t1;
 468     sa<sizeof(sink_6_134678(ca))          == 4> t2;
 469     sa<sizeof(sink_6_134678(va))          == 3> t3;
 470     sa<sizeof(sink_6_134678(cva))         == 4> t4;
 471     sa<sizeof(sink_6_134678(c_source()))  == 6> t6;
 472     sa<sizeof(sink_6_134678(v_source()))  == 7> t7;
 473     sa<sizeof(sink_6_134678(cv_source())) == 8> t8;
 474     return 0;
 475 }
 476
 477 one   sink_6_135678(               A&);
 478 three sink_6_135678(volatile       A&);
 479 five  sink_6_135678(               A&&);
 480 six   sink_6_135678(const          A&&);
 481 seven sink_6_135678(volatile       A&&);
 482 eight sink_6_135678(const volatile A&&);
 483
 484 int test6_135678()
 485 {
 486                    A a;
 487     const          A ca = a;
 488           volatile A va;
 489     const volatile A cva = a;
 490     sa<sizeof(sink_6_135678(a))           == 1> t1;
 491     sa<sizeof(sink_6_135678(ca))          == 6> t2;
 492     sa<sizeof(sink_6_135678(va))          == 3> t3;
 493     sa<sizeof(sink_6_135678(cva))         == 8> t4;
 494     sa<sizeof(sink_6_135678(source()))    == 5> t5;
 495     sa<sizeof(sink_6_135678(c_source()))  == 6> t6;
 496     sa<sizeof(sink_6_135678(v_source()))  == 7> t7;
 497     sa<sizeof(sink_6_135678(cv_source())) == 8> t8;
 498     return 0;
 499 }
 500
 501 one   sink_6_145678(               A&);
 502 four  sink_6_145678(const volatile A&);
 503 five  sink_6_145678(               A&&);
 504 six   sink_6_145678(const          A&&);
 505 seven sink_6_145678(volatile       A&&);
 506 eight sink_6_145678(const volatile A&&);
 507
 508 int test6_145678()
 509 {
 510                    A a;
 511     const          A ca = a;
 512           volatile A va;
 513     const volatile A cva = a;
 514     sa<sizeof(sink_6_145678(a))           == 1> t1;
 515     sa<sizeof(sink_6_145678(ca))          == 4> t2;
 516     sa<sizeof(sink_6_145678(va))          == 4> t3;
 517     sa<sizeof(sink_6_145678(cva))         == 4> t4;
 518     sa<sizeof(sink_6_145678(source()))    == 5> t5;
 519     sa<sizeof(sink_6_145678(c_source()))  == 6> t6;
 520     sa<sizeof(sink_6_145678(v_source()))  == 7> t7;
 521     sa<sizeof(sink_6_145678(cv_source())) == 8> t8;
 522     return 0;
 523 }
 524
 525 two   sink_6_234567(const          A&);
 526 three sink_6_234567(volatile       A&);
 527 four  sink_6_234567(const volatile A&);
 528 five  sink_6_234567(               A&&);
 529 six   sink_6_234567(const          A&&);
 530 seven sink_6_234567(volatile       A&&);
 531
 532 int test6_234567()
 533 {
 534                    A a;
 535     const          A ca = a;
 536           volatile A va;
 537     const volatile A cva = a;
 538     sa<sizeof(sink_6_234567(ca))          == 2> t2;
 539     sa<sizeof(sink_6_234567(va))          == 3> t3;
 540     sa<sizeof(sink_6_234567(cva))         == 4> t4;
 541     sa<sizeof(sink_6_234567(source()))    == 5> t5;
 542     sa<sizeof(sink_6_234567(c_source()))  == 6> t6;
 543     sa<sizeof(sink_6_234567(v_source()))  == 7> t7;
 544     return 0;
 545 }
 546
 547 two   sink_6_234568(const          A&);
 548 three sink_6_234568(volatile       A&);
 549 four  sink_6_234568(const volatile A&);
 550 five  sink_6_234568(               A&&);
 551 six   sink_6_234568(const          A&&);
 552 eight sink_6_234568(const volatile A&&);
 553
 554 int test6_234568()
 555 {
 556                    A a;
 557     const          A ca = a;
 558           volatile A va;
 559     const volatile A cva = a;
 560     sa<sizeof(sink_6_234568(ca))          == 2> t2;
 561     sa<sizeof(sink_6_234568(va))          == 3> t3;
 562     sa<sizeof(sink_6_234568(cva))         == 4> t4;
 563     sa<sizeof(sink_6_234568(source()))    == 5> t5;
 564     sa<sizeof(sink_6_234568(c_source()))  == 6> t6;
 565     sa<sizeof(sink_6_234568(v_source()))  == 8> t7;
 566     sa<sizeof(sink_6_234568(cv_source())) == 8> t8;
 567     return 0;
 568 }
 569
 570 two   sink_6_234578(const          A&);
 571 three sink_6_234578(volatile       A&);
 572 four  sink_6_234578(const volatile A&);
 573 five  sink_6_234578(               A&&);
 574 seven sink_6_234578(volatile       A&&);
 575 eight sink_6_234578(const volatile A&&);
 576
 577 int test6_234578()
 578 {
 579                    A a;
 580     const          A ca = a;
 581           volatile A va;
 582     const volatile A cva = a;
 583     sa<sizeof(sink_6_234578(ca))          == 2> t2;
 584     sa<sizeof(sink_6_234578(va))          == 3> t3;
 585     sa<sizeof(sink_6_234578(cva))         == 4> t4;
 586     sa<sizeof(sink_6_234578(source()))    == 5> t5;
 587     sa<sizeof(sink_6_234578(c_source()))  == 8> t6;
 588     sa<sizeof(sink_6_234578(v_source()))  == 7> t7;
 589     sa<sizeof(sink_6_234578(cv_source())) == 8> t8;
 590     return 0;
 591 }
 592
 593 two   sink_6_234678(const          A&);
 594 three sink_6_234678(volatile       A&);
 595 four  sink_6_234678(const volatile A&);
 596 six   sink_6_234678(const          A&&);
 597 seven sink_6_234678(volatile       A&&);
 598 eight sink_6_234678(const volatile A&&);
 599
 600 int test6_234678()
 601 {
 602                    A a;
 603     const          A ca = a;
 604           volatile A va;
 605     const volatile A cva = a;
 606     sa<sizeof(sink_6_234678(ca))          == 2> t2;
 607     sa<sizeof(sink_6_234678(va))          == 3> t3;
 608     sa<sizeof(sink_6_234678(cva))         == 4> t4;
 609     sa<sizeof(sink_6_234678(c_source()))  == 6> t6;
 610     sa<sizeof(sink_6_234678(v_source()))  == 7> t7;
 611     sa<sizeof(sink_6_234678(cv_source())) == 8> t8;
 612     return 0;
 613 }
 614
 615 two   sink_6_235678(const          A&);
 616 three sink_6_235678(volatile       A&);
 617 five  sink_6_235678(               A&&);
 618 six   sink_6_235678(const          A&&);
 619 seven sink_6_235678(volatile       A&&);
 620 eight sink_6_235678(const volatile A&&);
 621
 622 int test6_235678()
 623 {
 624                    A a;
 625     const          A ca = a;
 626           volatile A va;
 627     const volatile A cva = a;
 628     sa<sizeof(sink_6_235678(ca))          == 2> t2;
 629     sa<sizeof(sink_6_235678(va))          == 3> t3;
 630     sa<sizeof(sink_6_235678(cva))         == 8> t4;
 631     sa<sizeof(sink_6_235678(source()))    == 5> t5;
 632     sa<sizeof(sink_6_235678(c_source()))  == 6> t6;
 633     sa<sizeof(sink_6_235678(v_source()))  == 7> t7;
 634     sa<sizeof(sink_6_235678(cv_source())) == 8> t8;
 635     return 0;
 636 }
 637
 638 two   sink_6_245678(const          A&);
 639 four  sink_6_245678(const volatile A&);
 640 five  sink_6_245678(               A&&);
 641 six   sink_6_245678(const          A&&);
 642 seven sink_6_245678(volatile       A&&);
 643 eight sink_6_245678(const volatile A&&);
 644
 645 int test6_245678()
 646 {
 647                    A a;
 648     const          A ca = a;
 649           volatile A va;
 650     const volatile A cva = a;
 651     sa<sizeof(sink_6_245678(a))           == 2> t1;
 652     sa<sizeof(sink_6_245678(ca))          == 2> t2;
 653     sa<sizeof(sink_6_245678(va))          == 4> t3;
 654     sa<sizeof(sink_6_245678(cva))         == 4> t4;
 655     sa<sizeof(sink_6_245678(source()))    == 5> t5;
 656     sa<sizeof(sink_6_245678(c_source()))  == 6> t6;
 657     sa<sizeof(sink_6_245678(v_source()))  == 7> t7;
 658     sa<sizeof(sink_6_245678(cv_source())) == 8> t8;
 659     return 0;
 660 }
 661
 662 three sink_6_345678(volatile       A&);
 663 four  sink_6_345678(const volatile A&);
 664 five  sink_6_345678(               A&&);
 665 six   sink_6_345678(const          A&&);
 666 seven sink_6_345678(volatile       A&&);
 667 eight sink_6_345678(const volatile A&&);
 668
 669 int test6_345678()
 670 {
 671                    A a;
 672     const          A ca = a;
 673           volatile A va;
 674     const volatile A cva = a;
 675     sa<sizeof(sink_6_345678(a))           == 3> t1;
 676     sa<sizeof(sink_6_345678(ca))          == 4> t2;
 677     sa<sizeof(sink_6_345678(va))          == 3> t3;
 678     sa<sizeof(sink_6_345678(cva))         == 4> t4;
 679     sa<sizeof(sink_6_345678(source()))    == 5> t5;
 680     sa<sizeof(sink_6_345678(c_source()))  == 6> t6;
 681     sa<sizeof(sink_6_345678(v_source()))  == 7> t7;
 682     sa<sizeof(sink_6_345678(cv_source())) == 8> t8;
 683     return 0;
 684 }
 685
 686 int main()
 687 {
 688     return test6_123456() + test6_123457() + test6_123458() + test6_123467() +
 689            test6_123468() + test6_123478() + test6_123567() + test6_123568() +
 690            test6_123578() + test6_123678() + test6_124567() + test6_124568() +
 691            test6_124578() + test6_124678() + test6_125678() + test6_134567() +
 692            test6_134568() + test6_134578() + test6_134678() + test6_135678() +
 693            test6_145678() + test6_234567() + test6_234568() + test6_234578() +
 694            test6_234678() + test6_235678() + test6_245678() + test6_345678();
 695 }