// I, Howard Hinnant, hereby place this code in the public domain.
|
// I, Howard Hinnant, hereby place this code in the public domain.
|
|
|
// Test overload resolution among reference types
|
// Test overload resolution among reference types
|
|
|
// { dg-do compile }
|
// { dg-do compile }
|
// { dg-options "-std=c++0x" }
|
// { dg-options "-std=c++0x" }
|
|
|
template struct sa;
|
template struct sa;
|
template <> struct sa {};
|
template <> struct sa {};
|
|
|
struct one {char x[1];};
|
struct one {char x[1];};
|
struct two {char x[2];};
|
struct two {char x[2];};
|
struct three {char x[3];};
|
struct three {char x[3];};
|
struct four {char x[4];};
|
struct four {char x[4];};
|
struct five {char x[5];};
|
struct five {char x[5];};
|
struct six {char x[6];};
|
struct six {char x[6];};
|
struct seven {char x[7];};
|
struct seven {char x[7];};
|
struct eight {char x[8];};
|
struct eight {char x[8];};
|
|
|
struct A
|
struct A
|
{
|
{
|
A();
|
A();
|
A(const volatile A&&);
|
A(const volatile A&&);
|
};
|
};
|
|
|
A source();
|
A source();
|
const A c_source();
|
const A c_source();
|
volatile A v_source();
|
volatile A v_source();
|
const volatile A cv_source();
|
const volatile A cv_source();
|
|
|
// 6 at a time
|
// 6 at a time
|
|
|
one sink_6_123456( A&); // { dg-message "candidates" }
|
one sink_6_123456( A&); // { dg-message "candidates" }
|
two sink_6_123456(const A&); // { dg-message "note" }
|
two sink_6_123456(const A&); // { dg-message "note" }
|
three sink_6_123456(volatile A&); // { dg-message "note" }
|
three sink_6_123456(volatile A&); // { dg-message "note" }
|
four sink_6_123456(const volatile A&); // { dg-message "note" }
|
four sink_6_123456(const volatile A&); // { dg-message "note" }
|
five sink_6_123456( A&&); // { dg-message "note" }
|
five sink_6_123456( A&&); // { dg-message "note" }
|
six sink_6_123456(const A&&); // { dg-message "note" }
|
six sink_6_123456(const A&&); // { dg-message "note" }
|
|
|
int test6_123456()
|
int test6_123456()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_123456(v_source()); // { dg-error "no match" }
|
sink_6_123456(v_source()); // { dg-error "no match" }
|
sink_6_123456(cv_source()); // { dg-error "no match" }
|
sink_6_123456(cv_source()); // { dg-error "no match" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_123457( A&); // { dg-message "candidates" }
|
one sink_6_123457( A&); // { dg-message "candidates" }
|
two sink_6_123457(const A&); // { dg-message "note" }
|
two sink_6_123457(const A&); // { dg-message "note" }
|
three sink_6_123457(volatile A&); // { dg-message "note" }
|
three sink_6_123457(volatile A&); // { dg-message "note" }
|
four sink_6_123457(const volatile A&); // { dg-message "note" }
|
four sink_6_123457(const volatile A&); // { dg-message "note" }
|
five sink_6_123457( A&&); // { dg-message "note" }
|
five sink_6_123457( A&&); // { dg-message "note" }
|
seven sink_6_123457(volatile A&&); // { dg-message "note" }
|
seven sink_6_123457(volatile A&&); // { dg-message "note" }
|
|
|
int test6_123457()
|
int test6_123457()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_123457(cv_source()); // { dg-error "no match" }
|
sink_6_123457(cv_source()); // { dg-error "no match" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
two sink_6_235678(const A&); // { dg-message "candidates" }
|
two sink_6_235678(const A&); // { dg-message "candidates" }
|
three sink_6_235678(volatile A&); // { dg-message "note" }
|
three sink_6_235678(volatile A&); // { dg-message "note" }
|
five sink_6_235678( A&&); // { dg-message "note" }
|
five sink_6_235678( A&&); // { dg-message "note" }
|
six sink_6_235678(const A&&); // { dg-message "note" }
|
six sink_6_235678(const A&&); // { dg-message "note" }
|
seven sink_6_235678(volatile A&&); // { dg-message "note" }
|
seven sink_6_235678(volatile A&&); // { dg-message "note" }
|
eight sink_6_235678(const volatile A&&); // { dg-message "" }
|
eight sink_6_235678(const volatile A&&); // { dg-message "" }
|
|
|
int test6_235678()
|
int test6_235678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_235678(a); // { dg-error "ambiguous" }
|
sink_6_235678(a); // { dg-error "ambiguous" }
|
sink_6_235678(cva); // { dg-error "lvalue" }
|
sink_6_235678(cva); // { dg-error "lvalue" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
two sink_6_234678(const A&); // { dg-message "candidates" }
|
two sink_6_234678(const A&); // { dg-message "candidates" }
|
three sink_6_234678(volatile A&); // { dg-message "note" }
|
three sink_6_234678(volatile A&); // { dg-message "note" }
|
four sink_6_234678(const volatile A&); // { dg-message "note" }
|
four sink_6_234678(const volatile A&); // { dg-message "note" }
|
six sink_6_234678(const A&&); // { dg-message "note" }
|
six sink_6_234678(const A&&); // { dg-message "note" }
|
seven sink_6_234678(volatile A&&); // { dg-message "note" }
|
seven sink_6_234678(volatile A&&); // { dg-message "note" }
|
eight sink_6_234678(const volatile A&&); // { dg-message "note" }
|
eight sink_6_234678(const volatile A&&); // { dg-message "note" }
|
|
|
int test6_234678()
|
int test6_234678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_234678(a); // { dg-error "ambiguous" }
|
sink_6_234678(a); // { dg-error "ambiguous" }
|
sink_6_234678(source()); // { dg-error "ambiguous" }
|
sink_6_234678(source()); // { dg-error "ambiguous" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
two sink_6_234578(const A&); // { dg-message "candidates" }
|
two sink_6_234578(const A&); // { dg-message "candidates" }
|
three sink_6_234578(volatile A&); // { dg-message "note" }
|
three sink_6_234578(volatile A&); // { dg-message "note" }
|
four sink_6_234578(const volatile A&); // { dg-message "note" }
|
four sink_6_234578(const volatile A&); // { dg-message "note" }
|
five sink_6_234578( A&&); // { dg-message "note" }
|
five sink_6_234578( A&&); // { dg-message "note" }
|
seven sink_6_234578(volatile A&&); // { dg-message "note" }
|
seven sink_6_234578(volatile A&&); // { dg-message "note" }
|
eight sink_6_234578(const volatile A&&); // { dg-message "note" }
|
eight sink_6_234578(const volatile A&&); // { dg-message "note" }
|
|
|
int test6_234578()
|
int test6_234578()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_234578(a); // { dg-error "ambiguous" }
|
sink_6_234578(a); // { dg-error "ambiguous" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
two sink_6_234568(const A&); // { dg-message "candidates" }
|
two sink_6_234568(const A&); // { dg-message "candidates" }
|
three sink_6_234568(volatile A&); // { dg-message "note" }
|
three sink_6_234568(volatile A&); // { dg-message "note" }
|
four sink_6_234568(const volatile A&); // { dg-message "note" }
|
four sink_6_234568(const volatile A&); // { dg-message "note" }
|
five sink_6_234568( A&&); // { dg-message "note" }
|
five sink_6_234568( A&&); // { dg-message "note" }
|
six sink_6_234568(const A&&); // { dg-message "note" }
|
six sink_6_234568(const A&&); // { dg-message "note" }
|
eight sink_6_234568(const volatile A&&); // { dg-message "note" }
|
eight sink_6_234568(const volatile A&&); // { dg-message "note" }
|
|
|
int test6_234568()
|
int test6_234568()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_234568(a); // { dg-error "ambiguous" }
|
sink_6_234568(a); // { dg-error "ambiguous" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
two sink_6_234567(const A&); // { dg-message "candidates" }
|
two sink_6_234567(const A&); // { dg-message "candidates" }
|
three sink_6_234567(volatile A&); // { dg-message "note" }
|
three sink_6_234567(volatile A&); // { dg-message "note" }
|
four sink_6_234567(const volatile A&); // { dg-message "note" }
|
four sink_6_234567(const volatile A&); // { dg-message "note" }
|
five sink_6_234567( A&&); // { dg-message "note" }
|
five sink_6_234567( A&&); // { dg-message "note" }
|
six sink_6_234567(const A&&); // { dg-message "note" }
|
six sink_6_234567(const A&&); // { dg-message "note" }
|
seven sink_6_234567(volatile A&&); // { dg-message "note" }
|
seven sink_6_234567(volatile A&&); // { dg-message "note" }
|
|
|
int test6_234567()
|
int test6_234567()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_234567(a); // { dg-error "ambiguous" }
|
sink_6_234567(a); // { dg-error "ambiguous" }
|
sink_6_234567(cv_source()); // { dg-error "no match" }
|
sink_6_234567(cv_source()); // { dg-error "no match" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_134678( A&);
|
one sink_6_134678( A&);
|
three sink_6_134678(volatile A&);
|
three sink_6_134678(volatile A&);
|
four sink_6_134678(const volatile A&);
|
four sink_6_134678(const volatile A&);
|
six sink_6_134678(const A&&); // { dg-message "candidates" }
|
six sink_6_134678(const A&&); // { dg-message "candidates" }
|
seven sink_6_134678(volatile A&&); // { dg-message "note" }
|
seven sink_6_134678(volatile A&&); // { dg-message "note" }
|
eight sink_6_134678(const volatile A&&); // { dg-message "note" }
|
eight sink_6_134678(const volatile A&&); // { dg-message "note" }
|
|
|
int test6_134678()
|
int test6_134678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_134678(source()); // { dg-error "ambiguous" }
|
sink_6_134678(source()); // { dg-error "ambiguous" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_124678( A&);
|
one sink_6_124678( A&);
|
two sink_6_124678(const A&); // { dg-message "candidates" }
|
two sink_6_124678(const A&); // { dg-message "candidates" }
|
four sink_6_124678(const volatile A&);
|
four sink_6_124678(const volatile A&);
|
six sink_6_124678(const A&&); // { dg-message "note" }
|
six sink_6_124678(const A&&); // { dg-message "note" }
|
seven sink_6_124678(volatile A&&); // { dg-message "note" }
|
seven sink_6_124678(volatile A&&); // { dg-message "note" }
|
eight sink_6_124678(const volatile A&&); // { dg-message "note" }
|
eight sink_6_124678(const volatile A&&); // { dg-message "note" }
|
|
|
int test6_124678()
|
int test6_124678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_124678(source()); // { dg-error "ambiguous" }
|
sink_6_124678(source()); // { dg-error "ambiguous" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_123678( A&);
|
one sink_6_123678( A&);
|
two sink_6_123678(const A&); // { dg-message "candidates" }
|
two sink_6_123678(const A&); // { dg-message "candidates" }
|
three sink_6_123678(volatile A&);
|
three sink_6_123678(volatile A&);
|
six sink_6_123678(const A&&); // { dg-message "note" }
|
six sink_6_123678(const A&&); // { dg-message "note" }
|
seven sink_6_123678(volatile A&&); // { dg-message "note" }
|
seven sink_6_123678(volatile A&&); // { dg-message "note" }
|
eight sink_6_123678(const volatile A&&); // { dg-message "" }
|
eight sink_6_123678(const volatile A&&); // { dg-message "" }
|
|
|
int test6_123678()
|
int test6_123678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_123678(cva); // { dg-error "lvalue" }
|
sink_6_123678(cva); // { dg-error "lvalue" }
|
sink_6_123678(source()); // { dg-error "ambiguous" }
|
sink_6_123678(source()); // { dg-error "ambiguous" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_123567( A&); // { dg-message "candidates" }
|
one sink_6_123567( A&); // { dg-message "candidates" }
|
two sink_6_123567(const A&); // { dg-message "note" }
|
two sink_6_123567(const A&); // { dg-message "note" }
|
three sink_6_123567(volatile A&); // { dg-message "note" }
|
three sink_6_123567(volatile A&); // { dg-message "note" }
|
five sink_6_123567( A&&); // { dg-message "note" }
|
five sink_6_123567( A&&); // { dg-message "note" }
|
six sink_6_123567(const A&&); // { dg-message "note" }
|
six sink_6_123567(const A&&); // { dg-message "note" }
|
seven sink_6_123567(volatile A&&); // { dg-message "note" }
|
seven sink_6_123567(volatile A&&); // { dg-message "note" }
|
|
|
int test6_123567()
|
int test6_123567()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_123567(cva); // { dg-error "no match" }
|
sink_6_123567(cva); // { dg-error "no match" }
|
sink_6_123567(cv_source()); // { dg-error "no match" }
|
sink_6_123567(cv_source()); // { dg-error "no match" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_123568( A&);
|
one sink_6_123568( A&);
|
two sink_6_123568(const A&);
|
two sink_6_123568(const A&);
|
three sink_6_123568(volatile A&);
|
three sink_6_123568(volatile A&);
|
five sink_6_123568( A&&);
|
five sink_6_123568( A&&);
|
six sink_6_123568(const A&&);
|
six sink_6_123568(const A&&);
|
eight sink_6_123568(const volatile A&&); // { dg-message "" }
|
eight sink_6_123568(const volatile A&&); // { dg-message "" }
|
|
|
int test6_123568()
|
int test6_123568()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_123568(cva); // { dg-error "lvalue" }
|
sink_6_123568(cva); // { dg-error "lvalue" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_123578( A&);
|
one sink_6_123578( A&);
|
two sink_6_123578(const A&);
|
two sink_6_123578(const A&);
|
three sink_6_123578(volatile A&);
|
three sink_6_123578(volatile A&);
|
five sink_6_123578( A&&);
|
five sink_6_123578( A&&);
|
seven sink_6_123578(volatile A&&);
|
seven sink_6_123578(volatile A&&);
|
eight sink_6_123578(const volatile A&&); // { dg-message "" }
|
eight sink_6_123578(const volatile A&&); // { dg-message "" }
|
|
|
int test6_123578()
|
int test6_123578()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_123578(cva); // { dg-error "lvalue" }
|
sink_6_123578(cva); // { dg-error "lvalue" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_123467( A&); // { dg-message "candidates" }
|
one sink_6_123467( A&); // { dg-message "candidates" }
|
two sink_6_123467(const A&); // { dg-message "note" }
|
two sink_6_123467(const A&); // { dg-message "note" }
|
three sink_6_123467(volatile A&); // { dg-message "note" }
|
three sink_6_123467(volatile A&); // { dg-message "note" }
|
four sink_6_123467(const volatile A&); // { dg-message "note" }
|
four sink_6_123467(const volatile A&); // { dg-message "note" }
|
six sink_6_123467(const A&&); // { dg-message "note" }
|
six sink_6_123467(const A&&); // { dg-message "note" }
|
seven sink_6_123467(volatile A&&); // { dg-message "note" }
|
seven sink_6_123467(volatile A&&); // { dg-message "note" }
|
|
|
int test6_123467()
|
int test6_123467()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_123467(source()); // { dg-error "ambiguous" }
|
sink_6_123467(source()); // { dg-error "ambiguous" }
|
sink_6_123467(cv_source()); // { dg-error "no match" }
|
sink_6_123467(cv_source()); // { dg-error "no match" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_124567( A&); // { dg-message "candidates" }
|
one sink_6_124567( A&); // { dg-message "candidates" }
|
two sink_6_124567(const A&); // { dg-message "note" }
|
two sink_6_124567(const A&); // { dg-message "note" }
|
four sink_6_124567(const volatile A&); // { dg-message "note" }
|
four sink_6_124567(const volatile A&); // { dg-message "note" }
|
five sink_6_124567( A&&); // { dg-message "note" }
|
five sink_6_124567( A&&); // { dg-message "note" }
|
six sink_6_124567(const A&&); // { dg-message "note" }
|
six sink_6_124567(const A&&); // { dg-message "note" }
|
seven sink_6_124567(volatile A&&); // { dg-message "note" }
|
seven sink_6_124567(volatile A&&); // { dg-message "note" }
|
|
|
int test6_124567()
|
int test6_124567()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_124567(cv_source()); // { dg-error "no match" }
|
sink_6_124567(cv_source()); // { dg-error "no match" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_125678( A&);
|
one sink_6_125678( A&);
|
two sink_6_125678(const A&);
|
two sink_6_125678(const A&);
|
five sink_6_125678( A&&);
|
five sink_6_125678( A&&);
|
six sink_6_125678(const A&&);
|
six sink_6_125678(const A&&);
|
seven sink_6_125678(volatile A&&); // { dg-message "" }
|
seven sink_6_125678(volatile A&&); // { dg-message "" }
|
eight sink_6_125678(const volatile A&&); // { dg-message "" }
|
eight sink_6_125678(const volatile A&&); // { dg-message "" }
|
|
|
int test6_125678()
|
int test6_125678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_125678(va); // { dg-error "lvalue" }
|
sink_6_125678(va); // { dg-error "lvalue" }
|
sink_6_125678(cva); // { dg-error "lvalue" }
|
sink_6_125678(cva); // { dg-error "lvalue" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_134567( A&); // { dg-message "candidates" }
|
one sink_6_134567( A&); // { dg-message "candidates" }
|
three sink_6_134567(volatile A&); // { dg-message "note" }
|
three sink_6_134567(volatile A&); // { dg-message "note" }
|
four sink_6_134567(const volatile A&); // { dg-message "note" }
|
four sink_6_134567(const volatile A&); // { dg-message "note" }
|
five sink_6_134567( A&&); // { dg-message "note" }
|
five sink_6_134567( A&&); // { dg-message "note" }
|
six sink_6_134567(const A&&); // { dg-message "note" }
|
six sink_6_134567(const A&&); // { dg-message "note" }
|
seven sink_6_134567(volatile A&&); // { dg-message "note" }
|
seven sink_6_134567(volatile A&&); // { dg-message "note" }
|
|
|
int test6_134567()
|
int test6_134567()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_134567(cv_source()); // { dg-error "no match" }
|
sink_6_134567(cv_source()); // { dg-error "no match" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_6_135678( A&);
|
one sink_6_135678( A&);
|
three sink_6_135678(volatile A&);
|
three sink_6_135678(volatile A&);
|
five sink_6_135678( A&&);
|
five sink_6_135678( A&&);
|
six sink_6_135678(const A&&); // { dg-message "" }
|
six sink_6_135678(const A&&); // { dg-message "" }
|
seven sink_6_135678(volatile A&&);
|
seven sink_6_135678(volatile A&&);
|
eight sink_6_135678(const volatile A&&); // { dg-message "" }
|
eight sink_6_135678(const volatile A&&); // { dg-message "" }
|
|
|
int test6_135678()
|
int test6_135678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sink_6_135678(ca); // { dg-error "lvalue" }
|
sink_6_135678(ca); // { dg-error "lvalue" }
|
sink_6_135678(cva); // { dg-error "lvalue" }
|
sink_6_135678(cva); // { dg-error "lvalue" }
|
return 0;
|
return 0;
|
}
|
}
|
|
|
int main()
|
int main()
|
{
|
{
|
return test6_235678() + test6_234678() + test6_234578() + test6_234568() +
|
return test6_235678() + test6_234678() + test6_234578() + test6_234568() +
|
test6_234567() + test6_134678() + test6_124678() + test6_123678() +
|
test6_234567() + test6_134678() + test6_124678() + test6_123678() +
|
test6_123567();
|
test6_123567();
|
}
|
}
|
|
|