1 | template<typename ...Args> |
2 | int f(Args ...args) { |
3 | return sizeof...(args) + sizeof...(Args); |
4 | } |
5 | |
6 | void test() { |
7 | int a; |
8 | decltype(a) b; |
9 | |
10 | typedef int Integer; |
11 | typedef float Float; |
12 | typedef bool Bool; |
13 | bool b2 = __is_trivially_constructible(Integer, Float, Bool); |
14 | } |
15 | |
16 | typedef int Int; |
17 | |
18 | class B { |
19 | virtual void foo(Int); |
20 | }; |
21 | |
22 | class S : public B { |
23 | virtual void foo(Int) override; |
24 | }; |
25 | |
26 | // Need std::initializer_list |
27 | namespace std { |
28 | typedef decltype(sizeof(int)) size_t; |
29 | |
30 | // libc++'s implementation |
31 | template <class _E> |
32 | class initializer_list |
33 | { |
34 | const _E* __begin_; |
35 | size_t __size_; |
36 | |
37 | initializer_list(const _E* __b, size_t __s) |
38 | : __begin_(__b), |
39 | __size_(__s) |
40 | {} |
41 | |
42 | public: |
43 | typedef _E value_type; |
44 | typedef const _E& reference; |
45 | typedef const _E& const_reference; |
46 | typedef size_t size_type; |
47 | |
48 | typedef const _E* iterator; |
49 | typedef const _E* const_iterator; |
50 | |
51 | initializer_list() : __begin_(nullptr), __size_(0) {} |
52 | |
53 | size_t size() const {return __size_;} |
54 | const _E* begin() const {return __begin_;} |
55 | const _E* end() const {return __begin_ + __size_;} |
56 | }; |
57 | } |
58 | |
59 | struct Foo { |
60 | Foo(std::initializer_list<int> il); |
61 | }; |
62 | |
63 | void test2() { |
64 | Foo{10}; |
65 | } |
66 | |
67 | |
68 | // RUN: c-index-test -test-annotate-tokens=%s:1:1:5:1 -fno-delayed-template-parsing -std=c++11 %s | FileCheck %s |
69 | // CHECK: Identifier: "args" [3:20 - 3:24] SizeOfPackExpr=args:2:15 |
70 | // CHECK: Identifier: "Args" [3:38 - 3:42] TypeRef=Args:1:22 |
71 | |
72 | // RUN: c-index-test -test-annotate-tokens=%s:8:1:9:1 -std=c++11 %s | FileCheck -check-prefix=CHECK-DECLTYPE %s |
73 | // CHECK-DECLTYPE: Identifier: "a" [8:12 - 8:13] DeclRefExpr=a:7:7 |
74 | |
75 | // RUN: c-index-test -test-annotate-tokens=%s:13:1:14:1 -std=c++11 %s | FileCheck -check-prefix=CHECK-TRAIT %s |
76 | // CHECK-TRAIT: Identifier: "Integer" [13:42 - 13:49] TypeRef=Integer:10:15 |
77 | // CHECK-TRAIT: Identifier: "Float" [13:51 - 13:56] TypeRef=Float:11:17 |
78 | // CHECK-TRAIT: Identifier: "Bool" [13:58 - 13:62] TypeRef=Bool:12:16 |
79 | |
80 | // RUN: c-index-test -test-annotate-tokens=%s:16:1:24:1 -std=c++11 %s | FileCheck -check-prefix=CHECK-WITH-OVERRIDE %s |
81 | // CHECK-WITH-OVERRIDE: Keyword: "virtual" [19:2 - 19:9] CXXMethod=foo:19:15 (virtual) |
82 | // CHECK-WITH-OVERRIDE: Keyword: "void" [19:10 - 19:14] CXXMethod=foo:19:15 (virtual) |
83 | // CHECK-WITH-OVERRIDE: Identifier: "foo" [19:15 - 19:18] CXXMethod=foo:19:15 (virtual) |
84 | // CHECK-WITH-OVERRIDE: Punctuation: "(" [19:18 - 19:19] CXXMethod=foo:19:15 (virtual) |
85 | // CHECK-WITH-OVERRIDE: Identifier: "Int" [19:19 - 19:22] TypeRef=Int:16:13 |
86 | // CHECK-WITH-OVERRIDE: Punctuation: ")" [19:22 - 19:23] CXXMethod=foo:19:15 (virtual) |
87 | // CHECK-WITH-OVERRIDE: Punctuation: ";" [19:23 - 19:24] ClassDecl=B:18:7 (Definition) |
88 | // CHECK-WITH-OVERRIDE: Keyword: "virtual" [23:3 - 23:10] CXXMethod=foo:23:16 (virtual) [Overrides @19:15] |
89 | // CHECK-WITH-OVERRIDE: Keyword: "void" [23:11 - 23:15] CXXMethod=foo:23:16 (virtual) [Overrides @19:15] |
90 | // CHECK-WITH-OVERRIDE: Identifier: "foo" [23:16 - 23:19] CXXMethod=foo:23:16 (virtual) [Overrides @19:15] |
91 | // CHECK-WITH-OVERRIDE: Punctuation: "(" [23:19 - 23:20] CXXMethod=foo:23:16 (virtual) [Overrides @19:15] |
92 | // CHECK-WITH-OVERRIDE: Identifier: "Int" [23:20 - 23:23] TypeRef=Int:16:13 |
93 | // CHECK-WITH-OVERRIDE: Punctuation: ")" [23:23 - 23:24] CXXMethod=foo:23:16 (virtual) [Overrides @19:15] |
94 | // CHECK-WITH-OVERRIDE: Keyword: "override" [23:25 - 23:33] attribute(override)= |
95 | // CHECK-WITH-OVERRIDE: Punctuation: ";" [23:33 - 23:34] ClassDecl=S:22:7 (Definition) |
96 | |
97 | // RUN: c-index-test -test-annotate-tokens=%s:64:1:65:1 -std=c++11 %s | FileCheck -check-prefix=CHECK-INITLIST %s |
98 | // CHECK-INITLIST: Identifier: "Foo" [64:3 - 64:6] TypeRef=struct Foo:59:8 |
99 | |