// I, Howard Hinnant, hereby place this code in the public domain.

// Test overload resolution among reference types

// { dg-do compile }
// { dg-options "-std=c++0x" }

template <bool> struct sa;
template <> struct sa<true> {};

struct one   {char x[1];};
struct two   {char x[2];};
struct three {char x[3];};
struct four  {char x[4];};
struct five  {char x[5];};
struct six   {char x[6];};
struct seven {char x[7];};
struct eight {char x[8];};

struct A
{
    A();
    A(const volatile A&&);
};

               A    source();
const          A  c_source();
      volatile A  v_source();
const volatile A cv_source();

// 2 at a time

one   sink_2_12(               A&);  // { dg-message "note|argument" }
two   sink_2_12(const          A&);  // { dg-message "note|argument" }

int test2_12()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_12(va);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 42 }
    sink_2_12(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 44 }
    sink_2_12(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 46 }
    sink_2_12(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 48 }
    return 0;
}

one   sink_2_13(               A&);  // { dg-message "note|argument" }
three sink_2_13(volatile       A&);  // { dg-message "note|argument" }

int test2_13()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_13(ca);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 62 }
    sink_2_13(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 64 }
    sink_2_13(source());     // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 66 }
    sink_2_13(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 68 }
    sink_2_13(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 70 }
    sink_2_13(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 72 }
    return 0;
}

one   sink_2_14(               A&);  // { dg-message "note|argument" }
four  sink_2_14(const volatile A&);  // { dg-message "note|argument" }

int test2_14()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_14(source());     // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 86 }
    sink_2_14(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 88 }
    sink_2_14(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 90 }
    sink_2_14(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 92 }
    return 0;
}

one   sink_2_15(               A&);  // { dg-message "note|argument" }
five  sink_2_15(               A&&);  // { dg-message "note|argument" }

int test2_15()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
   sink_2_15(ca);           // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 106 }
   sink_2_15(va);           // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 108 }
   sink_2_15(cva);          // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 110 }
   sink_2_15(c_source());   // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 112 }
   sink_2_15(v_source());   // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 114 }
   sink_2_15(cv_source());  // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 116 }
    return 0;
}

one   sink_2_16(               A&);  // { dg-message "note|argument" }
six   sink_2_16(const          A&&);  // { dg-message "note|argument" }

int test2_16()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_16(ca);	     // { dg-error "lvalue" }
    sink_2_16(va);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 131 }
    sink_2_16(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 133 }
    sink_2_16(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 135 }
    sink_2_16(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 137 }
    return 0;
}

one   sink_2_17(               A&);  // { dg-message "note|argument" }
seven sink_2_17(volatile       A&&);  // { dg-message "note|argument" }

int test2_17()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_17(ca);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 151 }
    sink_2_17(va);           // { dg-error "lvalue" }
    sink_2_17(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 154 }
    sink_2_17(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 156 }
    sink_2_17(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 158 }
    return 0;
}

one   sink_2_18(               A&);
eight sink_2_18(const volatile A&&); // { dg-error "argument" }

int test2_18()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_18(ca);		// { dg-error "lvalue" }
    sink_2_18(va);		// { dg-error "lvalue" }
    sink_2_18(cva);		// { dg-error "lvalue" }
}

two   sink_2_23(const          A&);  // { dg-message "note|argument" }
three sink_2_23(volatile       A&);  // { dg-message "note|argument" }

int test2_23()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_23(a);            // { dg-error "ambiguous" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 186 }
    sink_2_23(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 188 }
    sink_2_23(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 190 }
    sink_2_23(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 192 }
    return 0;
}

two   sink_2_24(const          A&);  // { dg-message "note|argument" }
four  sink_2_24(const volatile A&);  // { dg-message "note|argument" }

int test2_24()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_24(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 206 }
    sink_2_24(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 208 }
    return 0;
}

three sink_2_34(volatile       A&);  // { dg-message "three sink_2_34|no known conversion" }
four  sink_2_34(const volatile A&);  // { dg-message "note|argument" }

int test2_34()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_34(source());     // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 222 }
    sink_2_34(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 224 }
    sink_2_34(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 226 }
    sink_2_34(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 228 }
    return 0;
}

two   sink_2_25(const          A&);  // { dg-message "two sink_2_25|no known conversion" }
five  sink_2_25(               A&&);  // { dg-message "note|argument" }

int test2_25()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
   sink_2_25(va);           // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 242 }
   sink_2_25(cva);          // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 244 }
   sink_2_25(v_source());   // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 246 }
   sink_2_25(cv_source());  // { dg-error "no match" }
   // { dg-message "candidate" "candidate note" { target *-*-* } 248 }
    return 0;
}

two   sink_2_26(const          A&);  // { dg-message "two sink_2_26|no known conversion" }
six   sink_2_26(const          A&&);  // { dg-message "note|argument" }

int test2_26()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_26(va);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 262 }
    sink_2_26(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 264 }
    sink_2_26(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 266 }
    sink_2_26(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 268 }
    return 0;
}

two   sink_2_27(const          A&);  // { dg-message "two sink_2_27|no known conversion" }
seven sink_2_27(volatile       A&&);  // { dg-message "note|argument" }

int test2_27()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_27(va);	     // { dg-error "lvalue" }
    sink_2_27(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 283 }
    sink_2_27(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 285 }
    return 0;
}

two   sink_2_28(const          A&);
eight sink_2_28(const volatile A&&); // { dg-error "argument" }

int test2_28()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_28(va);		// { dg-error "lvalue" }
    sink_2_28(cva);		// { dg-error "lvalue" }
}

three sink_2_35(volatile       A&);  // { dg-message "three sink_2_35|no known conversion" }
five  sink_2_35(               A&&);  // { dg-message "note|argument" }

int test2_35()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_35(ca);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 312 }
    sink_2_35(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 314 }
    sink_2_35(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 316 }
    sink_2_35(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 318 }
    sink_2_35(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 320 }
    return 0;
}

three sink_2_36(volatile       A&);  // { dg-message "three sink_2_36|no known conversion" }
six   sink_2_36(const          A&&);  // { dg-message "note|argument" }

int test2_36()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_36(ca);		// { dg-error "lvalue" }
    sink_2_36(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 335 }
    sink_2_36(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 337 }
    sink_2_36(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 339 }
    return 0;
}

three sink_2_37(volatile       A&);  // { dg-message "three sink_2_37|no known conversion" }
seven sink_2_37(volatile       A&&);  // { dg-message "note|argument" }

int test2_37()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_37(ca);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 353 }
    sink_2_37(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 355 }
    sink_2_37(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 357 }
    sink_2_37(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 359 }
    return 0;
}

three sink_2_38(volatile       A&);
eight sink_2_38(const volatile A&&); // { dg-error "argument" }

int test2_38()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_38(ca);		// { dg-error "lvalue" }
    sink_2_38(cva);		// { dg-error "lvalue" }
}

four  sink_2_45(const volatile A&);   // { dg-message "note" }
five  sink_2_45(               A&&);  // { dg-message "note|argument" }

int test2_45()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_45(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 386 }
    sink_2_45(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 388 }
    sink_2_45(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 390 }
    return 0;
}

four  sink_2_46(const volatile A&);   // { dg-message "note" }
six   sink_2_46(const          A&&);  // { dg-message "note|argument" }

int test2_46()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_46(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 404 }
    sink_2_46(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 406 }
    return 0;
}

four  sink_2_47(const volatile A&);   // { dg-message "note" }
seven sink_2_47(volatile       A&&);  // { dg-message "note|argument" }

int test2_47()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_47(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 420 }
    sink_2_47(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 422 }
    return 0;
}

five  sink_2_56(               A&&);  // { dg-message "note|argument" }
six   sink_2_56(const          A&&);  // { dg-message "note|argument" }

int test2_56()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_56(a);		// { dg-error "lvalue" }
    sink_2_56(ca);		// { dg-error "lvalue" }
    sink_2_56(va);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 438 }
    sink_2_56(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 440 }
    sink_2_56(v_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 442 }
    sink_2_56(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 444 }
    return 0;
}

five  sink_2_57(               A&&);  // { dg-message "note|argument" }
seven sink_2_57(volatile       A&&);  // { dg-message "note|argument" }

int test2_57()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_57(a);		// { dg-error "lvalue" }
    sink_2_57(va);		// { dg-error "lvalue" }
    sink_2_57(ca);           // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 460 }
    sink_2_57(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 462 }
    sink_2_57(c_source());   // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 464 }
    sink_2_57(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 466 }
    return 0;
}

five  sink_2_58(               A&&); // { dg-error "argument" }
eight sink_2_58(const volatile A&&); // { dg-error "argument" }

int test2_58()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_58(a);		// { dg-error "lvalue" }
    sink_2_58(ca);		// { dg-error "lvalue" }
    sink_2_58(va);		// { dg-error "lvalue" }
    sink_2_58(cva);		// { dg-error "lvalue" }
}

six   sink_2_67(const          A&&);  // { dg-message "note|argument" }
seven sink_2_67(volatile       A&&);  // { dg-message "note|argument" }

int test2_67()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_67(a);            // { dg-error "ambiguous" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 495 }
    sink_2_67(ca);	     // { dg-error "lvalue" }
    sink_2_67(va);	     // { dg-error "lvalue" }
    sink_2_67(cva);          // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 499 }
    sink_2_67(source());     // { dg-error "ambiguous" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 501 }
    sink_2_67(cv_source());  // { dg-error "no match" }
    // { dg-message "candidate" "candidate note" { target *-*-* } 503 }
    return 0;
}

six   sink_2_68(const          A&&); // { dg-error "argument" }
eight sink_2_68(const volatile A&&); // { dg-error "argument" }

int test2_68()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_68(a);		// { dg-error "lvalue" }
    sink_2_68(ca);		// { dg-error "lvalue" }
    sink_2_68(va);		// { dg-error "lvalue" }
    sink_2_68(cva);		// { dg-error "lvalue" }
}

seven sink_2_78(volatile       A&&); // { dg-error "argument" }
eight sink_2_78(const volatile A&&); // { dg-error "argument" }

int test2_78()
{
                   A a;
    const          A ca = a; // { dg-error "deleted" }
          volatile A va;
    const volatile A cva = a; // { dg-error "deleted" }
    sink_2_78(a);		// { dg-error "lvalue" }
    sink_2_78(ca);		// { dg-error "lvalue" }
    sink_2_78(va);		// { dg-error "lvalue" }
    sink_2_78(cva);		// { dg-error "lvalue" }
}

int main()
{
    return test2_12() + test2_13() + test2_15() + test2_16() +
           test2_17() + test2_23() + test2_25() + test2_26() +
           test2_27() + test2_35() + test2_36() + test2_37() +
           test2_56() + test2_57() + test2_67();
}