shafik added inline comments.
================
Comment at: clang/lib/AST/ExprConstant.cpp:8763
if (isLambdaCallOperator(Info.CurrentCall->Callee)) {
- // Ensure we actually have captured 'this'. (an error will have
- // been previously reported if not).
+ // Ensure we actually have captured 'this'. If something was wrong with
+ // 'this' capture, the error would have been previously reported.
----------------
shafik wrote:
> Fznamznon wrote:
> > shafik wrote:
> > > shafik wrote:
> > > > Fznamznon wrote:
> > > > > shafik wrote:
> > > > > > It might be worth it to review all the examples here:
> > > > > > https://eel.is/c++draft/expr.prim.lambda
> > > > > >
> > > > > > and make sure the test we have actually covers all the scenarios.
> > > > > > It looks like we capture most of them but I have not gone over them
> > > > > > fully.
> > > > > At least the ones about `this` capture seem to be working and
> > > > > covered. Not all of them have the same behavior as described though,
> > > > > for example on https://eel.is/c++draft/expr.prim.lambda#closure-6
> > > > > clang complains about missing capture, though gcc agrees
> > > > > https://godbolt.org/z/hfxbEP5fW , so this is probably a bug in the
> > > > > example. Anyway I think this is a bit out of the scope of the patch.
> > > > I will dig into that discrepancy.
> > > If you move the lambda to be a global, it works:
> > > https://godbolt.org/z/84ax7518o which is what the original example has.
> > Yes, this is understandable. But in the example there is also an `assert`
> > which doesn't do well in global scope.
> >
> > BTW, in case this is interesting, another one that doesn't seem to be
> > working with clang is
> > https://eel.is/c++draft/expr.prim.lambda#capture-example-2
> > https://godbolt.org/z/dP71j3MxK.
> > Yes, this is understandable. But in the example there is also an `assert`
> > which doesn't do well in global scope.
> >
>
> Oh interesting, I missed that one!
>
> > BTW, in case this is interesting, another one that doesn't seem to be
> > working with clang is
> > https://eel.is/c++draft/expr.prim.lambda#capture-example-2
> > https://godbolt.org/z/dP71j3MxK.
>
> Another interesting one, if we change it to `int y` clang diagnoses it:
> https://godbolt.org/z/rjx71qj8j
>
> I am not sure what the `(y)` means I think that should be ill-formed, seems
> like a clang bug. Let me look at it some more.
>
> Thank you for doing this deeper look.
`(y)` is a type b/c it is a template parameter, duh!
I filed a bug report against clang:
https://github.com/llvm/llvm-project/issues/61105
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D144866/new/
https://reviews.llvm.org/D144866
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
