diff options
author | Reid Kleckner <reid@kleckner.net> | 2014-11-03 21:24:50 +0000 |
---|---|---|
committer | Reid Kleckner <reid@kleckner.net> | 2014-11-03 21:24:50 +0000 |
commit | 734e0ab01d133dc07f3c67b116894a4b1bb0be3c (patch) | |
tree | 2861cf5e11310b9a73fbe30e0df537ead8f02001 /lib/Sema/SemaDecl.cpp | |
parent | d2e9988fb1897dc0de3b666647efa0fc9d221658 (diff) |
Don't diagnose no-prototype callee-cleanup function definitions
We already have a warning on the call sites of code like this:
void f() { }
void g() { f(1, 2, 3); }
t.c:2:21: warning: too many arguments in call to 'f'
We can limit ourselves to diagnosing unprototyped forward declarations
of f to cut down on noise.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@221184 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaDecl.cpp')
-rw-r--r-- | lib/Sema/SemaDecl.cpp | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp index fe5981121f..b9f8f637e2 100644 --- a/lib/Sema/SemaDecl.cpp +++ b/lib/Sema/SemaDecl.cpp @@ -7383,6 +7383,21 @@ Sema::ActOnFunctionDeclarator(Scope *S, Declarator &D, DeclContext *DC, if (!NewFD->isInvalidDecl() && NewFD->isMSVCRTEntryPoint()) CheckMSVCRTEntryPoint(NewFD); + // Diagnose no-prototype function declarations with calling conventions that + // don't support variadic calls. + const FunctionType *FT = R->castAs<FunctionType>(); + if (FT->isFunctionNoProtoType() && !D.isFunctionDefinition()) { + CallingConv CC = FT->getExtInfo().getCC(); + if (!supportsVariadicCall(CC)) { + // Windows system headers sometimes accidentally use stdcall without + // (void) parameters, so we relax this to a warning. + int DiagID = + CC == CC_X86StdCall ? diag::warn_cconv_knr : diag::err_cconv_knr; + Diag(NewFD->getLocation(), DiagID) + << FunctionType::getNameForCallConv(CC); + } + } + if (!NewFD->isInvalidDecl()) D.setRedeclaration(CheckFunctionDeclaration(S, NewFD, Previous, isExplicitSpecialization)); @@ -7948,21 +7963,6 @@ bool Sema::CheckFunctionDeclaration(Scope *S, FunctionDecl *NewFD, // Semantic checking for this function declaration (in isolation). - // Diagnose calling conventions that don't support variadic calls. - QualType NewQType = Context.getCanonicalType(NewFD->getType()); - const FunctionType *NewType = cast<FunctionType>(NewQType); - if (isa<FunctionNoProtoType>(NewType)) { - FunctionType::ExtInfo NewTypeInfo = NewType->getExtInfo(); - if (!supportsVariadicCall(NewTypeInfo.getCC())) { - // Windows system headers sometimes accidentally use stdcall without - // (void) parameters, so use a default-error warning in this case :-/ - int DiagID = NewTypeInfo.getCC() == CC_X86StdCall - ? diag::warn_cconv_knr : diag::err_cconv_knr; - Diag(NewFD->getLocation(), DiagID) - << FunctionType::getNameForCallConv(NewTypeInfo.getCC()); - } - } - if (getLangOpts().CPlusPlus) { // C++-specific checks. if (CXXConstructorDecl *Constructor = dyn_cast<CXXConstructorDecl>(NewFD)) { |