1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
/*
* This file is part of the LibreOffice project.
*
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
*/
#include <string>
#include "plugin.hxx"
#include "compat.hxx"
//
// We don't like using C-style casts in C++ code
//
namespace {
class CStyleCast:
public RecursiveASTVisitor<CStyleCast>, public loplugin::Plugin
{
public:
explicit CStyleCast(InstantiationData const & data): Plugin(data) {}
virtual void run() override {
if (compiler.getLangOpts().CPlusPlus) {
TraverseDecl(compiler.getASTContext().getTranslationUnitDecl());
}
}
bool VisitCStyleCastExpr(const CStyleCastExpr * expr);
};
static const char * recommendedFix(clang::CastKind ck) {
switch(ck) {
case CK_IntegralToPointer: return "reinterpret_cast";
case CK_PointerToIntegral: return "reinterpret_cast";
case CK_BaseToDerived: return "static_cast";
default: return "???";
}
}
bool CStyleCast::VisitCStyleCastExpr(const CStyleCastExpr * expr) {
if (ignoreLocation(expr)) {
return true;
}
// casting to void is typically used when a parameter or field is only used in
// debug mode, and we want to eliminate an "unused" warning
if( expr->getCastKind() == CK_ToVoid ) {
return true;
}
// ignore integral-type conversions for now, there is unsufficient agreement about
// the merits of C++ style casting in this case
if( expr->getCastKind() == CK_IntegralCast ) {
return true;
}
if( expr->getCastKind() == CK_NoOp ) {
return true;
}
// ignore pointer-type conversions for now
if( expr->getCastKind() == CK_BitCast ) {
return true;
}
// ignore stuff from inside templates for now
if( expr->getCastKind() == CK_Dependent ) {
return true;
}
SourceLocation spellingLocation = compiler.getSourceManager().getSpellingLoc(
expr->getLocStart());
StringRef filename = compiler.getSourceManager().getFilename(spellingLocation);
// ignore C code
if ( filename.endswith(".h") ) {
return true;
}
if ( compat::isInMainFile(compiler.getSourceManager(), spellingLocation) ) {
if (filename.startswith(SRCDIR "/sal") // sal has tons of weird stuff going on that I don't understand enough to fix
|| filename.startswith(SRCDIR "/bridges")) { // I'm not messing with this code - far too dangerous
return true;
}
} else {
if (filename.startswith(SRCDIR "/include/tools/solar.h")
|| filename.startswith(SRCDIR "/include/cppuhelper/")) {
return true;
}
}
report(
DiagnosticsEngine::Warning,
"c-style cast, type=%0, from=%1, to=%2, recommendedFix=%3",
expr->getSourceRange().getBegin())
<< expr->getCastKind()
<< expr->getSubExprAsWritten()->getType()
<< expr->getType()
<< recommendedFix(expr->getCastKind())
<< expr->getSourceRange();
return true;
}
loplugin::Plugin::Registration< CStyleCast > X("cstylecast");
}
/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
|
