9eef4d1c5f
This removes the delayed typo correction functionality from Clang (regular typo correction still remains) due to fragility of the solution. An RFC was posted here: https://discourse.llvm.org/t/rfc-removing-support-for-delayed-typo-correction/86631 and while that RFC was asking for folks to consider stepping up to be maintainers, and we did have a few new contributors show some interest, experiments show that it's likely worth it to remove this functionality entirely and focus efforts on improving regular typo correction. This removal fixes ~20 open issues (quite possibly more), improves compile time performance by roughly .3-.4% (https://llvm-compile-time-tracker.com/?config=Overview&stat=instructions%3Au&remote=AaronBallman&sortBy=date), and does not appear to regress diagnostic behavior in a way we wouldn't find acceptable. Fixes #142457 Fixes #139913 Fixes #138850 Fixes #137867 Fixes #137860 Fixes #107840 Fixes #93308 Fixes #69470 Fixes #59391 Fixes #58172 Fixes #46215 Fixes #45915 Fixes #45891 Fixes #44490 Fixes #36703 Fixes #32903 Fixes #23312 Fixes #69874
86 lines
2.4 KiB
C++
86 lines
2.4 KiB
C++
// RUN: %clang_cc1 -std=c++2c -verify -fsyntax-only %s
|
|
|
|
template<typename... T>
|
|
struct S {
|
|
T...1; // expected-error{{expected member name or ';' after declaration specifiers}}
|
|
T...[; // expected-error{{expected expression}} \
|
|
// expected-error{{expected ']'}} \
|
|
// expected-note {{to match this '['}} \
|
|
// expected-warning{{declaration does not declare anything}}
|
|
|
|
T...[1; // expected-error{{expected ']'}} \
|
|
// expected-note {{to match this '['}} \
|
|
// expected-warning{{declaration does not declare anything}}
|
|
|
|
T...[]; // expected-error{{expected member name or ';' after declaration specifiers}}
|
|
|
|
void f(auto... v) {
|
|
decltype(v...[1]) a = v...[1];
|
|
decltype(v...[1]) b = v...[]; // expected-error{{expected expression}}
|
|
|
|
decltype(v...[1]) c = v...[ ; // expected-error{{expected expression}}\
|
|
// expected-error{{expected ']'}} \
|
|
// expected-note {{to match this '['}}
|
|
}
|
|
};
|
|
|
|
|
|
template <typename...>
|
|
struct typelist{};
|
|
|
|
template <typename... T>
|
|
requires requires(T...[0]) { {T...[0](0)}; }
|
|
struct SS : T...[1] {
|
|
[[maybe_unused]] T...[1] base = {};
|
|
using foo = T...[1];
|
|
SS()
|
|
: T...[1]()
|
|
{}
|
|
typelist<T...[0]> a;
|
|
const T...[0] f(T...[0] && p) noexcept((T...[0])0) {
|
|
T...[0] (*test)(const volatile T...[0]**);
|
|
thread_local T...[0] d;
|
|
[[maybe_unused]] T...[0] a = p;
|
|
auto ptr = new T...[0](0);
|
|
(*ptr).~T...[0]();
|
|
return T...[0](0);
|
|
typename T...[1]::foo b = 0;
|
|
T...[1]::i = 0;
|
|
return (T...[0])(a);
|
|
new T...[0];
|
|
[[maybe_unused]] auto l = []<T...[0]>(T...[0][1]) -> T...[0]{return{};};
|
|
[[maybe_unused]] auto _ = l.template operator()<T...[0]{}>({0});
|
|
}
|
|
operator T...[0]() const{}
|
|
};
|
|
|
|
struct base {
|
|
using foo = int;
|
|
static inline int i = 42;
|
|
};
|
|
|
|
int main() {
|
|
SS<int, base>().f(0);
|
|
}
|
|
|
|
|
|
namespace GH111460 {
|
|
template <typename... T>
|
|
requires( ); // expected-error {{expected expression}}
|
|
struct SS {
|
|
void f( ) {
|
|
(*p).~T...[](); // expected-error {{use of undeclared identifier 'p'}} \
|
|
expected-error {{undeclared identifier 'T' in destructor name}}
|
|
}
|
|
};
|
|
}
|
|
|
|
namespace GH119072 {
|
|
|
|
template<typename... Ts>
|
|
void foo() {
|
|
decltype(Ts...[0]::t) value;
|
|
}
|
|
|
|
}
|