11 #include "clang/AST/ASTContext.h" 12 #include "clang/ASTMatchers/ASTMatchFinder.h" 13 #include "clang/Lex/Lexer.h" 22 switch (InitType->getScalarTypeKind()) {
23 case Type::STK_CPointer:
24 case Type::STK_BlockPointer:
25 case Type::STK_ObjCObjectPointer:
26 case Type::STK_MemberPointer:
32 case Type::STK_Integral:
33 switch (InitType->getAs<BuiltinType>()->getKind()) {
34 case BuiltinType::Char_U:
35 case BuiltinType::UChar:
36 case BuiltinType::Char_S:
37 case BuiltinType::SChar:
39 case BuiltinType::WChar_U:
40 case BuiltinType::WChar_S:
42 case BuiltinType::Char16:
44 case BuiltinType::Char32:
50 case Type::STK_Floating:
51 switch (InitType->getAs<BuiltinType>()->getKind()) {
52 case BuiltinType::Half:
53 case BuiltinType::Float:
59 case Type::STK_FloatingComplex:
60 case Type::STK_IntegralComplex:
62 InitType->getAs<ComplexType>()->getElementType());
64 case Type::STK_FixedPoint:
65 switch (InitType->getAs<BuiltinType>()->getKind()) {
66 case BuiltinType::ShortAccum:
67 case BuiltinType::SatShortAccum:
69 case BuiltinType::Accum:
70 case BuiltinType::SatAccum:
72 case BuiltinType::LongAccum:
73 case BuiltinType::SatLongAccum:
75 case BuiltinType::UShortAccum:
76 case BuiltinType::SatUShortAccum:
78 case BuiltinType::UAccum:
79 case BuiltinType::SatUAccum:
81 case BuiltinType::ULongAccum:
82 case BuiltinType::SatULongAccum:
84 case BuiltinType::ShortFract:
85 case BuiltinType::SatShortFract:
87 case BuiltinType::Fract:
88 case BuiltinType::SatFract:
90 case BuiltinType::LongFract:
91 case BuiltinType::SatLongFract:
93 case BuiltinType::UShortFract:
94 case BuiltinType::SatUShortFract:
96 case BuiltinType::UFract:
97 case BuiltinType::SatUFract:
99 case BuiltinType::ULongFract:
100 case BuiltinType::SatULongFract:
103 llvm_unreachable(
"Unhandled fixed point BuiltinType");
106 llvm_unreachable(
"Invalid scalar type kind");
110 switch (E->getStmtClass()) {
111 case Stmt::CXXNullPtrLiteralExprClass:
112 case Stmt::ImplicitValueInitExprClass:
114 case Stmt::InitListExprClass:
115 return cast<InitListExpr>(E)->getNumInits() == 0;
116 case Stmt::CharacterLiteralClass:
117 return !cast<CharacterLiteral>(E)->getValue();
118 case Stmt::CXXBoolLiteralExprClass:
119 return !cast<CXXBoolLiteralExpr>(E)->getValue();
120 case Stmt::IntegerLiteralClass:
121 return !cast<IntegerLiteral>(E)->getValue();
122 case Stmt::FloatingLiteralClass: {
123 llvm::APFloat Value = cast<FloatingLiteral>(E)->getValue();
124 return Value.isZero() && !Value.isNegative();
132 auto *UnaryOp = dyn_cast<UnaryOperator>(E);
133 if (UnaryOp && UnaryOp->getOpcode() == UO_Plus)
134 return UnaryOp->getSubExpr();
139 auto *InitList = dyn_cast<InitListExpr>(E);
140 if (InitList && InitList->getNumInits() == 1)
141 return InitList->getInit(0);
152 if (E1->getStmtClass() != E2->getStmtClass())
155 switch (E1->getStmtClass()) {
156 case Stmt::UnaryOperatorClass:
157 return sameValue(cast<UnaryOperator>(E1)->getSubExpr(),
158 cast<UnaryOperator>(E2)->getSubExpr());
159 case Stmt::CharacterLiteralClass:
160 return cast<CharacterLiteral>(E1)->getValue() ==
161 cast<CharacterLiteral>(E2)->getValue();
162 case Stmt::CXXBoolLiteralExprClass:
163 return cast<CXXBoolLiteralExpr>(E1)->getValue() ==
164 cast<CXXBoolLiteralExpr>(E2)->getValue();
165 case Stmt::IntegerLiteralClass:
166 return cast<IntegerLiteral>(E1)->getValue() ==
167 cast<IntegerLiteral>(E2)->getValue();
168 case Stmt::FloatingLiteralClass:
169 return cast<FloatingLiteral>(E1)->getValue().bitwiseIsEqual(
170 cast<FloatingLiteral>(E2)->getValue());
171 case Stmt::StringLiteralClass:
172 return cast<StringLiteral>(E1)->getString() ==
173 cast<StringLiteral>(E2)->getString();
174 case Stmt::DeclRefExprClass:
175 return cast<DeclRefExpr>(E1)->getDecl() == cast<DeclRefExpr>(E2)->getDecl();
181 UseDefaultMemberInitCheck::UseDefaultMemberInitCheck(StringRef
Name,
184 UseAssignment(Options.get(
"UseAssignment", 0) != 0),
185 IgnoreMacros(Options.getLocalOrGlobal(
"IgnoreMacros", true) != 0) {}
198 anyOf(stringLiteral(), characterLiteral(), integerLiteral(),
199 unaryOperator(anyOf(hasOperatorName(
"+"), hasOperatorName(
"-")),
200 hasUnaryOperand(integerLiteral())),
202 unaryOperator(anyOf(hasOperatorName(
"+"), hasOperatorName(
"-")),
203 hasUnaryOperand(floatLiteral())),
204 cxxBoolLiteral(), cxxNullPtrLiteralExpr(), implicitValueInitExpr(),
205 declRefExpr(to(enumConstantDecl())));
209 isDefaultConstructor(), unless(isInstantiated()),
210 forEachConstructorInitializer(
215 hasInClassInitializer(anything()),
216 hasParent(recordDecl(isUnion()))))),
217 isWritten(), withInitializer(ignoringImplicit(Init)))
223 unless(ast_matchers::isTemplateInstantiation()),
224 forEachConstructorInitializer(
225 cxxCtorInitializer(forField(hasInClassInitializer(anything())),
227 withInitializer(ignoringImplicit(Init)))
233 if (
const auto *Default =
234 Result.Nodes.getNodeAs<CXXCtorInitializer>(
"default"))
235 checkDefaultInit(Result, Default);
236 else if (
const auto *Existing =
237 Result.Nodes.getNodeAs<CXXCtorInitializer>(
"existing"))
238 checkExistingInit(Result, Existing);
240 llvm_unreachable(
"Bad Callback. No node provided.");
243 void UseDefaultMemberInitCheck::checkDefaultInit(
244 const MatchFinder::MatchResult &
Result,
const CXXCtorInitializer *Init) {
245 const FieldDecl *Field = Init->getAnyMember();
247 SourceLocation StartLoc = Field->getBeginLoc();
248 if (StartLoc.isMacroID() && IgnoreMacros)
251 SourceLocation FieldEnd =
252 Lexer::getLocForEndOfToken(Field->getSourceRange().getEnd(), 0,
254 SourceLocation LParenEnd = Lexer::getLocForEndOfToken(
255 Init->getLParenLoc(), 0, *Result.SourceManager,
getLangOpts());
256 CharSourceRange InitRange =
257 CharSourceRange::getCharRange(LParenEnd, Init->getRParenLoc());
260 diag(Field->getLocation(),
"use default member initializer for %0")
262 << FixItHint::CreateInsertion(FieldEnd, UseAssignment ?
" = " :
"{")
263 << FixItHint::CreateInsertionFromRange(FieldEnd, InitRange);
265 if (UseAssignment && isa<ImplicitValueInitExpr>(Init->getInit()))
266 Diag << FixItHint::CreateInsertion(
270 Diag << FixItHint::CreateInsertion(FieldEnd,
"}");
272 Diag << FixItHint::CreateRemoval(Init->getSourceRange());
275 void UseDefaultMemberInitCheck::checkExistingInit(
276 const MatchFinder::MatchResult &Result,
const CXXCtorInitializer *Init) {
277 const FieldDecl *Field = Init->getMember();
279 if (!
sameValue(Field->getInClassInitializer(), Init->getInit()))
282 diag(Init->getSourceLocation(),
"member initializer for %0 is redundant")
284 << FixItHint::CreateRemoval(Init->getSourceRange());
void check(const ast_matchers::MatchFinder::MatchResult &Result) override
ClangTidyChecks that register ASTMatchers should do the actual work in here.
void store(ClangTidyOptions::OptionMap &Options, StringRef LocalName, StringRef Value) const
Stores an option with the check-local name LocalName with string value Value to Options.
LangOptions getLangOpts() const
Returns the language options from the context.
static const Expr * getInitializer(const Expr *E)
static const Expr * ignoreUnaryPlus(const Expr *E)
Base class for all clang-tidy checks.
void registerMatchers(ast_matchers::MatchFinder *Finder) override
Override this to register AST matchers with Finder.
static constexpr llvm::StringLiteral Name
std::map< std::string, std::string > OptionMap
static StringRef getValueOfValueInit(const QualType InitType)
llvm::Optional< llvm::Expected< tooling::AtomicChanges > > Result
static bool isZero(const Expr *E)
void storeOptions(ClangTidyOptions::OptionMap &Opts) override
Should store all options supported by this check with their current values or default values for opti...
===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
Every ClangTidyCheck reports errors through a DiagnosticsEngine provided by this context.
DiagnosticBuilder diag(SourceLocation Loc, StringRef Description, DiagnosticIDs::Level Level=DiagnosticIDs::Warning)
Add a diagnostic with the check's name.
static bool sameValue(const Expr *E1, const Expr *E2)