diff options
Diffstat (limited to 'src/checks/level2/virtual-call-ctor.cpp')
-rw-r--r-- | src/checks/level2/virtual-call-ctor.cpp | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/src/checks/level2/virtual-call-ctor.cpp b/src/checks/level2/virtual-call-ctor.cpp new file mode 100644 index 00000000..cc94d3f3 --- /dev/null +++ b/src/checks/level2/virtual-call-ctor.cpp @@ -0,0 +1,96 @@ +/* + This file is part of the clazy static checker. + + Copyright (C) 2015 Klarälvdalens Datakonsult AB, a KDAB Group company, info@kdab.com + Author: Sérgio Martins <sergio.martins@kdab.com> + + Copyright (C) 2015 Sergio Martins <smartins@kde.org> + + This library is free software; you can redistribute it and/or + modify it under the terms of the GNU Library General Public + License as published by the Free Software Foundation; either + version 2 of the License, or (at your option) any later version. + + This library is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + Library General Public License for more details. + + You should have received a copy of the GNU Library General Public License + along with this library; see the file COPYING.LIB. If not, write to + the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, + Boston, MA 02110-1301, USA. +*/ + +#include "virtual-call-ctor.h" +#include "Utils.h" +#include "HierarchyUtils.h" + +#include <clang/AST/Decl.h> +#include <clang/AST/DeclCXX.h> + +using namespace std; +using namespace clang; + +VirtualCallCtor::VirtualCallCtor(const std::string &name, ClazyContext *context) + : CheckBase(name, context) +{ +} + +void VirtualCallCtor::VisitDecl(Decl *decl) +{ + auto ctorDecl = dyn_cast<CXXConstructorDecl>(decl); + auto dtorDecl = dyn_cast<CXXDestructorDecl>(decl); + if (!ctorDecl && !dtorDecl) + return; + + Stmt *ctorOrDtorBody = ctorDecl ? ctorDecl->getBody() : dtorDecl->getBody(); + if (!ctorOrDtorBody) + return; + + CXXRecordDecl *classDecl = ctorDecl ? ctorDecl->getParent() : dtorDecl->getParent(); + + std::vector<Stmt*> processedStmts; + SourceLocation loc = containsVirtualCall(classDecl, ctorOrDtorBody, processedStmts); + if (loc.isValid()) { + if (ctorDecl) { + emitWarning(getLocStart(decl), "Calling pure virtual function in CTOR"); + } else { + emitWarning(getLocStart(decl), "Calling pure virtual function in DTOR"); + } + emitWarning(loc, "Called here"); + } +} + +SourceLocation VirtualCallCtor::containsVirtualCall(clang::CXXRecordDecl *classDecl, clang::Stmt *stmt, + std::vector<Stmt*> &processedStmts) +{ + if (!stmt) + return {}; + + // already processed ? we don't want recurring calls + if (clazy::contains(processedStmts, stmt)) + return {}; + + processedStmts.push_back(stmt); + + std::vector<CXXMemberCallExpr*> memberCalls; + clazy::getChilds<CXXMemberCallExpr>(stmt, memberCalls); + + for (CXXMemberCallExpr *callExpr : memberCalls) { + CXXMethodDecl *memberDecl = callExpr->getMethodDecl(); + if (!memberDecl || !isa<CXXThisExpr>(callExpr->getImplicitObjectArgument())) + continue; + + if (memberDecl->getParent() == classDecl) { + if (memberDecl->isPure()) { + return getLocStart(callExpr); + } else { + if (containsVirtualCall(classDecl, memberDecl->getBody(), processedStmts).isValid()) + return getLocStart(callExpr); + } + } + } + + return {}; +} |