annotate clang/test/CodeCompletion/desig-init.cpp @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 struct Base {
anatofuz
parents:
diff changeset
2 int t;
anatofuz
parents:
diff changeset
3 };
anatofuz
parents:
diff changeset
4 struct Foo : public Base {
anatofuz
parents:
diff changeset
5 int x;
anatofuz
parents:
diff changeset
6 Base b;
anatofuz
parents:
diff changeset
7 void foo();
anatofuz
parents:
diff changeset
8 };
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 void foo() {
anatofuz
parents:
diff changeset
11 Foo F{.x = 2, .b.t = 0};
anatofuz
parents:
diff changeset
12 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:11:10 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC1 %s
anatofuz
parents:
diff changeset
13 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:11:18 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC1 %s
anatofuz
parents:
diff changeset
14 // CHECK-CC1: COMPLETION: b : [#Base#]b
anatofuz
parents:
diff changeset
15 // CHECK-CC1-NEXT: COMPLETION: x : [#int#]x
anatofuz
parents:
diff changeset
16 // CHECK-CC1-NOT: foo
anatofuz
parents:
diff changeset
17 // CHECK-CC1-NOT: t
anatofuz
parents:
diff changeset
18
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
19 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:11:20 %s -o - | FileCheck -check-prefix=CHECK-NESTED %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
20 // CHECK-NESTED: COMPLETION: t : [#int#]t
150
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 Base B = {.t = 2};
anatofuz
parents:
diff changeset
23 auto z = [](Base B) {};
anatofuz
parents:
diff changeset
24 z({.t = 1});
anatofuz
parents:
diff changeset
25 z(Base{.t = 2});
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
26 z((Base){.t = 2});
150
anatofuz
parents:
diff changeset
27 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:22:14 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC2 %s
anatofuz
parents:
diff changeset
28 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:24:7 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC2 %s
anatofuz
parents:
diff changeset
29 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:25:11 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC2 %s
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
30 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:26:13 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC2 %s
150
anatofuz
parents:
diff changeset
31 // CHECK-CC2: COMPLETION: t : [#int#]t
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
32
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
33 Foo G1{.b = {.t = 0}};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
34 Foo G2{.b{.t = 0}};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
35 Foo G3{b: {.t = 0}};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
36 // RUN: %clang_cc1 -code-completion-at=%s:33:17 -fsyntax-only -code-completion-patterns %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-NESTED-2 %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
37 // RUN: %clang_cc1 -code-completion-at=%s:34:14 -fsyntax-only -code-completion-patterns %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-NESTED-2 %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
38 // RUN: %clang_cc1 -code-completion-at=%s:35:15 -fsyntax-only -code-completion-patterns %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-NESTED-2 %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
39 // CHECK-NESTED-2: COMPLETION: t : [#int#]t
150
anatofuz
parents:
diff changeset
40 }
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 // Handle templates
anatofuz
parents:
diff changeset
43 template <typename T>
anatofuz
parents:
diff changeset
44 struct Test { T x; };
anatofuz
parents:
diff changeset
45 template <>
anatofuz
parents:
diff changeset
46 struct Test<int> {
anatofuz
parents:
diff changeset
47 int x;
anatofuz
parents:
diff changeset
48 char y;
anatofuz
parents:
diff changeset
49 };
anatofuz
parents:
diff changeset
50 void bar() {
anatofuz
parents:
diff changeset
51 Test<char> T{.x = 2};
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
52 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:51:17 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC3 %s
150
anatofuz
parents:
diff changeset
53 // CHECK-CC3: COMPLETION: x : [#T#]x
anatofuz
parents:
diff changeset
54 Test<int> X{.x = 2};
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
55 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:54:16 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC4 %s
150
anatofuz
parents:
diff changeset
56 // CHECK-CC4: COMPLETION: x : [#int#]x
anatofuz
parents:
diff changeset
57 // CHECK-CC4-NEXT: COMPLETION: y : [#char#]y
anatofuz
parents:
diff changeset
58 }
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 template <typename T>
anatofuz
parents:
diff changeset
61 void aux() {
anatofuz
parents:
diff changeset
62 Test<T> X{.x = T(2)};
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
63 // RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:62:14 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC3 %s
150
anatofuz
parents:
diff changeset
64 }
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
65
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
66 namespace signature_regression {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
67 // Verify that an old bug is gone: passing an init-list as a constructor arg
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
68 // would emit overloads as a side-effect.
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
69 struct S{int x;};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
70 int wrongFunction(S);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
71 int rightFunction();
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
72 int dummy = wrongFunction({1});
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
73 int x = rightFunction();
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
74 // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:73:25 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-SIGNATURE-REGRESSION %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
75 // CHECK-SIGNATURE-REGRESSION-NOT: OVERLOAD: [#int#]wrongFunction
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
76 // CHECK-SIGNATURE-REGRESSION: OVERLOAD: [#int#]rightFunction
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
77 // CHECK-SIGNATURE-REGRESSION-NOT: OVERLOAD: [#int#]wrongFunction
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
78 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
79