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
|
//===--- IntegralLiteralExpressionMatcher.h - clang-tidy ------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MODERNIZE_INTEGRAL_LITERAL_EXPRESSION_MATCHER_H
#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MODERNIZE_INTEGRAL_LITERAL_EXPRESSION_MATCHER_H
#include <clang/Lex/Token.h>
#include <llvm/ADT/ArrayRef.h>
namespace clang::tidy::modernize {
enum class LiteralSize {
Unknown = 0,
Int,
UnsignedInt,
Long,
UnsignedLong,
LongLong,
UnsignedLongLong
};
// Parses an array of tokens and returns true if they conform to the rules of
// C++ for whole expressions involving integral literals. Follows the operator
// precedence rules of C++. Optionally exclude comma operator expressions.
class IntegralLiteralExpressionMatcher {
public:
IntegralLiteralExpressionMatcher(ArrayRef<Token> Tokens, bool CommaAllowed)
: Current(Tokens.begin()), End(Tokens.end()), CommaAllowed(CommaAllowed) {
}
bool match();
LiteralSize largestLiteralSize() const;
private:
bool advance();
bool consume(tok::TokenKind Kind);
bool nonTerminalChainedExpr(
bool (IntegralLiteralExpressionMatcher::*NonTerminal)(),
const std::function<bool(Token)> &IsKind);
template <tok::TokenKind Kind>
bool nonTerminalChainedExpr(
bool (IntegralLiteralExpressionMatcher::*NonTerminal)()) {
return nonTerminalChainedExpr(NonTerminal,
[](Token Tok) { return Tok.is(Kind); });
}
template <tok::TokenKind K1, tok::TokenKind K2, tok::TokenKind... Ks>
bool nonTerminalChainedExpr(
bool (IntegralLiteralExpressionMatcher::*NonTerminal)()) {
return nonTerminalChainedExpr(
NonTerminal, [](Token Tok) { return Tok.isOneOf(K1, K2, Ks...); });
}
bool unaryOperator();
bool unaryExpr();
bool multiplicativeExpr();
bool additiveExpr();
bool shiftExpr();
bool compareExpr();
bool relationalExpr();
bool equalityExpr();
bool andExpr();
bool exclusiveOrExpr();
bool inclusiveOrExpr();
bool logicalAndExpr();
bool logicalOrExpr();
bool conditionalExpr();
bool commaExpr();
bool expr();
ArrayRef<Token>::iterator Current;
ArrayRef<Token>::iterator End;
LiteralSize LargestSize{LiteralSize::Unknown};
bool CommaAllowed;
};
} // namespace clang::tidy::modernize
#endif
|
