re PR c++/57408 (lambda, Variable length arrays, thread, internal compiler error: in expand_expr_real_1, at expr.c:9327)

PR c++/57408
	* semantics.c (add_capture): Set type to error_mark_node after
	error.

From-SVN: r200449
This commit is contained in:
Jason Merrill 2013-06-26 22:35:39 -04:00 committed by Jason Merrill
parent 412ec6cfb9
commit 447cf5546f
3 changed files with 38 additions and 0 deletions

View File

@ -1,3 +1,9 @@
2013-06-21 Jason Merrill <jason@redhat.com>
PR c++/57408
* semantics.c (add_capture): Set type to error_mark_node after
error.
2013-06-25 Ed Smith-Rowland <3dw4rd@verizon.net>
PR c++/57640

View File

@ -9521,6 +9521,7 @@ add_capture (tree lambda, tree id, tree initializer, bool by_reference_p,
&& variably_modified_type_p (TREE_TYPE (type), NULL_TREE))
inform (input_location, "because the array element type %qT has "
"variable size", TREE_TYPE (type));
type = error_mark_node;
}
else if (by_reference_p)
{

View File

@ -0,0 +1,31 @@
// PR c++/57408
// { dg-options "-std=c++1y -pedantic-errors" }
template<typename Callable>
struct Impl
{
Callable func;
Impl(Callable f) : func(f) { }
virtual void run() { func(); }
};
template<typename Callable>
void call(Callable f)
{
Impl<Callable>(f).run();
}
extern "C" int printf(const char*, ...);
int main(){
int y = 2;
float fa[2][y]; // { dg-error "array of array of runtime bound" }
fa[0][0]=0.8;
fa[0][1]=1.8;
auto fx=[&](){
for(int c=0; c<2; c++){
printf("use me", fa[0][c]); // { dg-error "capture of variable-size type" }
}
};
call(fx);
}