[fuzz] Assertion `Access == AS_private || Access == AS_protected' failed.

[llvmbot]

Bugzilla Link	21837
Resolution	FIXED
Resolved on	Feb 21, 2019 14:10
Version	trunk
OS	Linux
Blocks	#23431
Attachments	test case
Reporter	LLVM Bugzilla Contributor
CC	@majnemer,@nico,@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/lib/Sema/SemaAccess.cpp:737: AccessResult HasAccess(clang::Sema &, const (anonymous namespace)::EffectiveContext &, const clang::CXXRecordDecl *, clang::AccessSpecifier, const (anonymous namespace)::AccessTarget &): Assertion `Access == AS_private || Access == AS_protected' failed.

[majnemer]

reasonable test case:
struct B {
template <struct U : U { } > void f();
};

[nico]

*** Bug llvm/llvm-bugzilla-archive#22055 has been marked as a duplicate of this bug. ***

[nico]

Slightly different test case:

struct A {
template <class B {}, B> void f() {}
};

[rnk]

Another one:

template struct U;
struct A {
enum { X = U<struct B{}>::val, Y = sizeof(B) };
};

All of these test cases define a struct that gets an access specifier of AS_none, but the struct ends up hanging out in a RecordDecl, confusing access control.

[rnk]

None of these examples crash anymore.

[nico]

mentioned in issue llvm/llvm-bugzilla-archive#22055

[kcc]

mentioned in issue #23431

[GabrielRavier]

mentioned in issue llvm/llvm-bugzilla-archive#37355