tbaeder added inline comments.
================
Comment at: clang/test/AST/Interp/lambda.cpp:92
+ static_assert(foo() == 1); // expected-error {{not an integral constant
expression}}
+}
+
----------------
tbaeder wrote:
> tbaeder wrote:
> > aaron.ballman wrote:
> > > How about some tests like:
> > > ```
> > > constexpr int call_thru_func_ptr(int i) {
> > > auto l = [](int i) { return i; };
> > > int (*fp)(int) = l;
> > > return fp(i);
> > > }
> > > static_assert(call_thru_func_ptr(12) == 12);
> > >
> > > constexpr int call_through_copied_lambda(auto lam, int i) {
> > > auto copy = lam;
> > > return copy(i);
> > > }
> > >
> > > constexpr int call_through_copied_lambda(auto lam) {
> > > auto copy = lam;
> > > return copy();
> > > }
> > >
> > > void func() {
> > > constexpr int i = 12;
> > > static_assert(call_through_copied_lambda([i]() { return i; }) == 12);
> > > }
> > > ```
> > Heh:
> > ```
> > array.cpp:1245:15: error: static assertion expression is not an integral
> > constant expression
> > 1245 | static_assert(call_thru_func_ptr(12) == 12);
> > | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
> > array.cpp:1243:10: note: non-constexpr function '__invoke' cannot be used
> > in a constant expression
> > 1243 | return fp(i);
> > | ^
> > array.cpp:1245:15: note: in call to 'call_thru_func_ptr(12)'
> > 1245 | static_assert(call_thru_func_ptr(12) == 12);
> > | ^
> > array.cpp:1239:12: note: declared here
> > 1239 | auto l = [](int i) { return i; };
> > | ^
> >
> > ```
> Ah, I didn't know there is something like a "lambda static invoker". I see
> the current interpreter basically checks for that and then calls the lambda
> call operator instead. Doing that is hard for me though, because the call
> operator requires different arguments and I can't just itnogre the static
> invoker either because it has an empty body.
Okay, I think I figured it out, I'm just special-casing the static invoker and
emitting byte code for its body manually. This will make the patch larger
though.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D146030/new/
https://reviews.llvm.org/D146030
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
