• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clang_cc1 -std=c++98 -triple x86_64-unknown-unknown %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
2 // RUN: %clang_cc1 -std=c++11 -triple x86_64-unknown-unknown %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
3 // RUN: %clang_cc1 -std=c++14 -triple x86_64-unknown-unknown %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
4 // RUN: %clang_cc1 -std=c++1z -triple x86_64-unknown-unknown %s -verify -fexceptions -fcxx-exceptions -pedantic-errors
5 
6 #if __cplusplus < 201103L
7 // expected-no-diagnostics
8 #endif
9 
10 namespace dr1684 { // dr1684: 3.6
11 #if __cplusplus >= 201103L
12   struct NonLiteral { // expected-note {{because}}
13     NonLiteral();
fdr1684::NonLiteral14     constexpr int f() { return 0; } // expected-warning 0-1{{will not be implicitly 'const'}}
15   };
f(NonLiteral &)16   constexpr int f(NonLiteral &) { return 0; }
f(NonLiteral)17   constexpr int f(NonLiteral) { return 0; } // expected-error {{not a literal type}}
18 #endif
19 }
20 
21 namespace dr1631 {  // dr1631: 3.7
22 #if __cplusplus >= 201103L
23   // Incorrect overload resolution for single-element initializer-list
24 
25   struct A { int a[1]; };
26   struct B { B(int); };
27   void f(B, int);
28   void f(B, int, int = 0);
29   void f(int, A);
30 
test()31   void test() {
32     f({0}, {{1}}); // expected-warning {{braces around scalar init}}
33   }
34 
35   namespace with_error {
36     void f(B, int);           // TODO: expected- note {{candidate function}}
37     void f(int, A);           // expected-note {{candidate function}}
38     void f(int, A, int = 0);  // expected-note {{candidate function}}
39 
test()40     void test() {
41       f({0}, {{1}});        // expected-error{{call to 'f' is ambiguous}}
42     }
43   }
44 #endif
45 }
46 
47 namespace dr1645 { // dr1645: 3.9
48 #if __cplusplus >= 201103L
49   struct A { // expected-note 2{{candidate}}
50     constexpr A(int, float = 0); // expected-note 2{{candidate}}
51     explicit A(int, int = 0); // expected-note 2{{candidate}}
52     A(int, int, int = 0) = delete; // expected-note {{candidate}}
53   };
54 
55   struct B : A { // expected-note 2{{candidate}}
56     using A::A; // expected-note 7{{inherited here}}
57   };
58 
59   constexpr B a(0); // expected-error {{ambiguous}}
60   constexpr B b(0, 0); // expected-error {{ambiguous}}
61 #endif
62 }
63