| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | // expected-no-diagnostics |
|---|
| 3 | struct AnyPtr { |
|---|
| 4 | template<typename T> |
|---|
| 5 | operator T*() const; |
|---|
| 6 | }; |
|---|
| 7 | |
|---|
| 8 | // If A is a cv-qualified type, the top level cv-qualifiers of A's type |
|---|
| 9 | // are ignored for type deduction. |
|---|
| 10 | void test_cvquals(AnyPtr ap) { |
|---|
| 11 | int* const ip = ap; |
|---|
| 12 | const float * const volatile fp = ap; |
|---|
| 13 | } |
|---|
| 14 | |
|---|
| 15 | // If A is a reference type, the type referred to by A is used for |
|---|
| 16 | // type deduction. |
|---|
| 17 | void test_ref_arg(AnyPtr ap) { |
|---|
| 18 | const int* const &ip = ap; |
|---|
| 19 | double * const &dp = ap; |
|---|
| 20 | } |
|---|
| 21 | |
|---|
| 22 | struct AnyRef { |
|---|
| 23 | template<typename T> |
|---|
| 24 | operator T&() const; |
|---|
| 25 | }; |
|---|
| 26 | |
|---|
| 27 | void test_ref_param(AnyRef ar) { |
|---|
| 28 | int &ir = ar; |
|---|
| 29 | const float &fr = ar; |
|---|
| 30 | int i = ar; |
|---|
| 31 | } |
|---|
| 32 | |
|---|