mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-05-14 18:06:32 +00:00
b7c922607c
As that bug reports, the problem here is that the lambda's 'context-decl' was not set to the concept, and the lambda picked up template arguments from the concept. SO, we failed to get the correct template arguments in SemaTemplateInstantiate. However, a Concept Specialization is NOT a decl, its an expression, so we weren't able to put the concept in the decl tree like we needed. This patch introduces a ConceptSpecializationDecl, which is the smallest type possible to use for this purpose, containing only the template arguments. The net memory impliciation of this is turning a trailing-objects into a pointer to a type with trailing-objects, so it should be minor. As future work, we may consider giving this type more responsibility, or figuring out how to better merge duplicates, but as this is just a template-argument collection at the moment, there isn't much value to it. Differential Revision: https://reviews.llvm.org/D136451
94 lines
1.8 KiB
C++
94 lines
1.8 KiB
C++
// RUN: %clang_cc1 -std=c++20 -verify %s
|
|
// expected-no-diagnostics
|
|
|
|
namespace GH57945 {
|
|
template<typename T>
|
|
concept c = true;
|
|
|
|
template<typename>
|
|
auto f = []() requires c<void> {
|
|
};
|
|
|
|
void g() {
|
|
f<int>();
|
|
};
|
|
}
|
|
|
|
namespace GH57945_2 {
|
|
template<typename>
|
|
concept c = true;
|
|
|
|
template<typename T>
|
|
auto f = [](auto... args) requires c<T> {
|
|
};
|
|
|
|
template <typename T>
|
|
auto f2 = [](auto... args)
|
|
requires (sizeof...(args) > 0)
|
|
{};
|
|
|
|
void g() {
|
|
f<void>();
|
|
f2<void>(5.0);
|
|
}
|
|
}
|
|
|
|
namespace GH57958 {
|
|
template<class> concept C = true;
|
|
template<int> constexpr bool v = [](C auto) { return true; }(0);
|
|
int _ = v<0>;
|
|
}
|
|
namespace GH57958_2 {
|
|
template<class> concept C = true;
|
|
template<int> constexpr bool v = [](C auto...) { return true; }(0);
|
|
int _ = v<0>;
|
|
}
|
|
|
|
namespace GH57971 {
|
|
template<typename>
|
|
concept any = true;
|
|
|
|
template<typename>
|
|
auto f = [](any auto) {
|
|
};
|
|
|
|
using function_ptr = void(*)(int);
|
|
function_ptr ptr = f<void>;
|
|
}
|
|
|
|
// GH58368: A lambda defined in a concept requires we store
|
|
// the concept as a part of the lambda context.
|
|
namespace LambdaInConcept {
|
|
using size_t = unsigned long;
|
|
|
|
template<size_t...Ts>
|
|
struct IdxSeq{};
|
|
|
|
template <class T, class... Ts>
|
|
concept NotLike = true;
|
|
|
|
template <size_t, class... Ts>
|
|
struct AnyExcept {
|
|
template <NotLike<Ts...> T> operator T&() const;
|
|
template <NotLike<Ts...> T> operator T&&() const;
|
|
};
|
|
|
|
template <class T>
|
|
concept ConstructibleWithN = (requires {
|
|
[]<size_t I, size_t... Idxs>
|
|
(IdxSeq<I, Idxs...>)
|
|
requires requires { T{AnyExcept<I, T>{}}; }
|
|
{ }
|
|
(IdxSeq<1,2,3>{});
|
|
});
|
|
|
|
struct Foo {
|
|
int i;
|
|
double j;
|
|
char k;
|
|
};
|
|
|
|
static_assert(ConstructibleWithN<Foo>);
|
|
|
|
}
|