mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-05-15 10:26:23 +00:00
4bf6cc63aa
As reported in GH60642, we asserted when there was a lambda defined in a template arguments inside of a concept, which caused us to not properly set up the list of instantiation args. This patch ensures that the 'lambda context decl' correctly falls-through the template argument instantiation, so that it is available when instantiating the lambda, and thus, when setting up the lambda instantiation args list.
119 lines
3.0 KiB
C++
119 lines
3.0 KiB
C++
// RUN: %clang_cc1 -std=c++20 -verify %s
|
|
// RUN: %clang_cc1 -std=c++20 -verify %s -triple powerpc64-ibm-aix
|
|
|
|
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>);
|
|
|
|
}
|
|
|
|
// GH60642 reported an assert being hit, make sure we don't assert.
|
|
namespace GH60642 {
|
|
template<auto Q> concept C = requires { Q.template operator()<float>(); };
|
|
template<class> concept D = true;
|
|
static_assert(C<[]<D>{}>); // ok
|
|
template<class> concept E = C<[]<D>{}>;
|
|
static_assert(E<int>); // previously Asserted.
|
|
|
|
// ensure we properly diagnose when "D" is false.
|
|
namespace DIsFalse {
|
|
template<auto Q> concept C = requires { Q.template operator()<float>(); };
|
|
template<class> concept D = false;
|
|
static_assert(C<[]<D>{}>);
|
|
// expected-error@-1{{static assertion failed}}
|
|
// expected-note@-2{{does not satisfy 'C'}}
|
|
// expected-note@-5{{because 'Q.template operator()<float>()' would be invalid: no matching member function for call to 'operator()'}}
|
|
template<class> concept E = C<[]<D>{}>;
|
|
static_assert(E<int>);
|
|
// expected-error@-1{{static assertion failed}}
|
|
// expected-note@-2{{because 'int' does not satisfy 'E'}}
|
|
// expected-note@-4{{does not satisfy 'C'}}
|
|
// expected-note@-11{{because 'Q.template operator()<float>()' would be invalid: no matching member function for call to 'operator()'}}
|
|
}
|
|
}
|