Re: [C++ Patch] PR 61088

2014-05-22 Thread Jason Merrill
On 05/22/2014 02:26 PM, Paolo Carlini wrote: Good. I wanted to ask about that. Also, by copy instead of by value, right? Because the Standard always talks about copy (likewise clang). Yes. Right, thanks. I'm probably going to add it, at some point. Me, I was looking for something not using C

Re: [C++ Patch] PR 61088

2014-05-22 Thread Paolo Carlini
Hi, On 05/22/2014 08:13 PM, Jason Merrill wrote: On 05/22/2014 04:27 AM, Paolo Carlini wrote: lambda-ice7.C:8:9: error: cannot capture by value ‘a’ of incomplete type ‘A’ [=](){a;}; ^ All the carets in your mail are in the first column; is this one in the right place for you? It would be def

Re: [C++ Patch] PR 61088

2014-05-22 Thread Jason Merrill
On 05/22/2014 04:27 AM, Paolo Carlini wrote: lambda-ice7.C:8:9: error: cannot capture by value ‘a’ of incomplete type ‘A’ [=](){a;}; ^ All the carets in your mail are in the first column; is this one in the right place for you? Let's not print out the expression, we've been moving away from

[C++ Patch] PR 61088

2014-05-22 Thread Paolo Carlini
Hi, again, a simple core issue, an ICE on invalid, with some rather more interesting side issues. The core is that we are not enforcing that an incomplete type cannot be captured by value. Thus the add_capture check. Then: 1- I'm also adding the early error_mark_node check because otherwise in