[fuzz] Assertion `(Destructor->isDefaulted() && !Destructor->doesThisDeclarationHaveABody() && !Destructor->isDeleted()) && "DefineImplicitDestructor - call it for implicit default dtor"' failed.

[llvmbot]

Bugzilla Link	21961
Resolution	WORKSFORME
Resolved on	Oct 21, 2016 19:06
Version	trunk
OS	Linux
Blocks	#23431
Reporter	LLVM Bugzilla Contributor
CC	@gburgessiv

Extended Description

Fuzzing discovered that the test case below, 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/SemaDeclCXX.cpp:9226: void clang::Sema::DefineImplicitDestructor(clang::SourceLocation, clang::CXXDestructorDecl*): Assertion `(Destructor->isDefaulted() && !Destructor->doesThisDeclarationHaveABody() && !Destructor->isDeleted()) && "DefineImplicitDestructor - call it for implicit default dtor"' failed.

Test case:

---

struct A {
~A() = delete;
~A() = default;
};

[llvmbot]

The same also goes for the constructor (though the assert is different):

struct A {
A() = delete;
A() = default;
};

clang-3.6: tools/clang/lib/Sema/SemaDeclCXX.cpp:8757: void clang::Sema::DefineImplicitDefaultConstructor(clang::SourceLocation, clang::CXXConstructorDecl*): Assertion `(Constructor->isDefaulted() && Constructor->isDefaultConstructor() && !Constructor->doesThisDeclarationHaveABody() && !Constructor->isDeleted()) && "DefineImplicitDefaultConstructor - call it for implicit default ctor"' failed.

[gburgessiv]

Seems to have been fixed at some point ($clangpp is clang at r284690):

$ echo 'struct A {
~A() = delete;
~A() = default;
};' | $clangpp -fno-crash-diagnostics -std=c++11 -xc++ -c -emit-llvm -

:3:3: error: destructor cannot be redeclared
~A() = default;
^
:2:3: note: previous definition is here
~A() = delete;
^
1 error generated.

$ echo 'struct A {
A() = delete;
A() = default;
};' | $clangpp -fno-crash-diagnostics -std=c++11 -xc++ -c -emit-llvm -
:3:3: error: constructor cannot be redeclared
A() = default;
^
:2:3: note: previous definition is here
A() = delete;
^
1 error generated.

[kcc]

mentioned in issue #23431