///
bool isThisDeclarationADefinition() const {
return IsDeleted || IsDefaulted || Body || IsLateTemplateParsed ||
- WillHaveBody || hasDefiningAttr();
+ hasDefiningAttr();
}
/// doesThisDeclarationHaveABody - Returns whether this specific
// emitted, because (say) the definition could include "inline".
FunctionDecl *Def = FD->getDefinition();
+ // We may currently be parsing the body of FD, in which case
+ // FD->getDefinition() will be null, but we still want to treat FD as though
+ // it's a definition.
+ if (!Def && FD->willHaveBody())
+ Def = FD;
+
if (Def &&
!isDiscardableGVALinkage(S.getASTContext().GetGVALinkageForFunction(Def)))
return true;
if (FD) {
FD->setBody(Body);
- FD->setWillHaveBody(false);
if (getLangOpts().CPlusPlus14) {
if (!FD->isInvalidDecl() && Body && !FD->isDependentContext() &&
return;
}
- // Deleted function does not have a body.
- Fn->setWillHaveBody(false);
-
if (const FunctionDecl *Prev = Fn->getPreviousDecl()) {
// Don't consider the implicit declaration we generate for explicit
// specializations. FIXME: Do not generate these implicit declarations.
Previous.clear();
}
- if (isFriend) {
- Function->setObjectOfFriendDecl();
- if (FunctionTemplate)
- FunctionTemplate->setObjectOfFriendDecl();
- }
-
SemaRef.CheckFunctionDeclaration(/*Scope*/ nullptr, Function, Previous,
isExplicitSpecialization);
// If the original function was part of a friend declaration,
// inherit its namespace state and add it to the owner.
if (isFriend) {
+ PrincipalDecl->setObjectOfFriendDecl();
DC->makeDeclVisibleInContext(PrincipalDecl);
bool QueuedInstantiation = false;
template class Test<int>;
}
-
-namespace pr14785 {
-template<typename T>
-struct Somewhat {
- void internal() const { }
- friend void operator+(int const &, Somewhat<T> const &) {} // expected-error{{redefinition of 'operator+'}}
-};
-
-void operator+(int const &, Somewhat<char> const &x) { // expected-note {{previous definition is here}}
- x.internal(); // expected-note{{in instantiation of template class 'pr14785::Somewhat<char>' requested here}}
-}
-}