mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-05-14 18:06:32 +00:00
cf9b25e0ad
Tests where the RUN-lines/CHECK-ed output refer to line numbers in the test
file are a maintenance burden, as inserting text in the appropriate place
invalidates all the subsequent line numbers.
Lit supports %(line+n) for this, and FileCheck supports [[@LINE+N]].
But many existing tests don't make use of it and still need to be modified.
This commit adds a script that can find line numbers in tests according to a
regex and replace them with the appropriate relative-line reference.
It contains some options to avoid inappropriately rewriting tests where absolute
numbers are appropriate: a "nearby" threshold and a refusal by default to
replace only some matched line numbers.
I've applied it to CodeComplete tests, this proves the concept but also are the
single worst group of tests I've seen in this respect.
These changes are likely to hit merge conflicts, but can be regenerated with:
```
find ../clang/test/CodeCompletion/ -type f | grep -v /Inputs/ | xargs ../llvm/utils/relative_lines.py --verbose --near=20 --pattern='-code-completion-at[ =]%s:(\\d+):' --pattern='requires fix-it: {(\d+):\d+-(\d+):\d+}'
````
As requested in https://reviews.llvm.org/D140044
Fixes https://github.com/llvm/llvm-project/issues/59553
Differential Revision: https://reviews.llvm.org/D140217
92 lines
4.1 KiB
C++
92 lines
4.1 KiB
C++
struct Base {
|
|
int t;
|
|
};
|
|
struct Foo : public Base {
|
|
int x;
|
|
Base b;
|
|
void foo();
|
|
};
|
|
|
|
void foo() {
|
|
Foo F{.x = 2, .b.t = 0};
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-1):10 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC1 %s
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-2):18 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC1 %s
|
|
// CHECK-CC1: COMPLETION: b : [#Base#]b
|
|
// CHECK-CC1-NEXT: COMPLETION: x : [#int#]x
|
|
// CHECK-CC1-NOT: foo
|
|
// CHECK-CC1-NOT: t
|
|
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-8):20 %s -o - | FileCheck -check-prefix=CHECK-NESTED %s
|
|
// CHECK-NESTED: COMPLETION: t : [#int#]t
|
|
|
|
Base B = {.t = 2};
|
|
auto z = [](Base B) {};
|
|
z({.t = 1});
|
|
z(Base{.t = 2});
|
|
z((Base){.t = 2});
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-5):14 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC2 %s
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-4):7 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC2 %s
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-4):11 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC2 %s
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-4):13 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC2 %s
|
|
// CHECK-CC2: COMPLETION: t : [#int#]t
|
|
auto zr = [](const Base &B) {};
|
|
zr({.t = 1});
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-1):8 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-REF %s
|
|
// CHECK-REF: COMPLETION: t : [#int#]t
|
|
|
|
Foo G1{.b = {.t = 0}};
|
|
Foo G2{.b{.t = 0}};
|
|
Foo G3{b: {.t = 0}};
|
|
// RUN: %clang_cc1 -code-completion-at=%s:%(line-3):17 -fsyntax-only -code-completion-patterns %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-NESTED-2 %s
|
|
// RUN: %clang_cc1 -code-completion-at=%s:%(line-3):14 -fsyntax-only -code-completion-patterns %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-NESTED-2 %s
|
|
// RUN: %clang_cc1 -code-completion-at=%s:%(line-3):15 -fsyntax-only -code-completion-patterns %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-NESTED-2 %s
|
|
// CHECK-NESTED-2: COMPLETION: t : [#int#]t
|
|
}
|
|
|
|
// Handle templates
|
|
template <typename T>
|
|
struct Test { T x; };
|
|
template <>
|
|
struct Test<int> {
|
|
int x;
|
|
char y;
|
|
};
|
|
void bar() {
|
|
Test<char> T{.x = 2};
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-1):17 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC3 %s
|
|
// CHECK-CC3: COMPLETION: x : [#T#]x
|
|
Test<int> X{.x = 2};
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-1):16 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC4 %s
|
|
// CHECK-CC4: COMPLETION: x : [#int#]x
|
|
// CHECK-CC4-NEXT: COMPLETION: y : [#char#]y
|
|
}
|
|
|
|
template <typename T>
|
|
void aux() {
|
|
Test<T> X{.x = T(2)};
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-1):14 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC3 %s
|
|
}
|
|
|
|
namespace signature_regression {
|
|
// Verify that an old bug is gone: passing an init-list as a constructor arg
|
|
// would emit overloads as a side-effect.
|
|
struct S{int x;};
|
|
int wrongFunction(S);
|
|
int rightFunction();
|
|
int dummy = wrongFunction({1});
|
|
int x = rightFunction();
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:%(line-1):25 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-SIGNATURE-REGRESSION %s
|
|
// CHECK-SIGNATURE-REGRESSION-NOT: OVERLOAD: [#int#]wrongFunction
|
|
// CHECK-SIGNATURE-REGRESSION: OVERLOAD: [#int#]rightFunction
|
|
// CHECK-SIGNATURE-REGRESSION-NOT: OVERLOAD: [#int#]wrongFunction
|
|
}
|
|
|
|
struct WithAnon {
|
|
int outer;
|
|
struct { int inner; };
|
|
};
|
|
auto TestWithAnon = WithAnon { .inner = 2 };
|
|
// RUN: %clang_cc1 -fsyntax-only -code-completion-patterns -code-completion-at=%s:%(line-1):33 %s -o - -std=c++2a | FileCheck -check-prefix=CHECK-CC5 %s
|
|
// CHECK-CC5: COMPLETION: inner : [#int#]inner
|
|
// CHECK-CC5: COMPLETION: outer : [#int#]outer
|