[fuzz] Assertion `Field->getInClassInitializer() && "initializer hasn't been parsed"' failed.

[llvmbot]

Bugzilla Link	21855
Resolution	FIXED
Resolved on	Feb 21, 2019 14:19
Version	trunk
OS	Linux
Blocks	#23431
Attachments	test case
Reporter	LLVM Bugzilla Contributor
CC	@erichkeane,@rnk

Extended Description

Fuzzing discovered that the attached test case, when given as input to

clang -fno-crash-diagnostics -std=c++11 -xc++ -c -emit-llvm

causes this assertion failure:

clang-3.6: tools/clang/include/clang/AST/ExprCXX.h:975: clang::Expr *clang::CXXDefaultInitExpr::getExpr(): Assertion `Field->getInClassInitializer() && "initializer hasn't been parsed"' failed.

[rnk]

Still repros

[erichkeane]

I discovered this with one of our internal tests. Our reduced test case is similar and has the same issues:

template < class > struct A
{
int N = sizeof (A < wchar_t >) /;
void F()
{
A < wchar_t > a;
}
};

clang -std=c++11

[rnk]

Looks like this was fixed. Erich's example gives a proper error like so:

template struct A {
int N = sizeof(A<wchar_t>) / ;
void F() { A<wchar_t> a; }
};

$ clang -cc1 -std=c++11 t.cpp -emit-llvm
t.cpp:3:37: error: expected expression
int N = sizeof (A < wchar_t >) /;
^
1 error generated.

And the original attached test case doesn't crash.

[kcc]

mentioned in issue #23431