aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/libs/clang16/tools/extra/clang-tidy/abseil/DurationUnnecessaryConversionCheck.cpp
diff options
context:
space:
mode:
authorthegeorg <thegeorg@yandex-team.com>2024-03-13 13:58:24 +0300
committerthegeorg <thegeorg@yandex-team.com>2024-03-13 14:11:53 +0300
commit11a895b7e15d1c5a1f52706396b82e3f9db953cb (patch)
treefabc6d883b0f946151f61ae7865cee9f529a1fdd /contrib/libs/clang16/tools/extra/clang-tidy/abseil/DurationUnnecessaryConversionCheck.cpp
parent9685917341315774aad5733b1793b1e533a88bbb (diff)
downloadydb-11a895b7e15d1c5a1f52706396b82e3f9db953cb.tar.gz
Export clang-format16 via ydblib project
6e6be3a95868fde888d801b7590af4044049563f
Diffstat (limited to 'contrib/libs/clang16/tools/extra/clang-tidy/abseil/DurationUnnecessaryConversionCheck.cpp')
-rw-r--r--contrib/libs/clang16/tools/extra/clang-tidy/abseil/DurationUnnecessaryConversionCheck.cpp114
1 files changed, 114 insertions, 0 deletions
diff --git a/contrib/libs/clang16/tools/extra/clang-tidy/abseil/DurationUnnecessaryConversionCheck.cpp b/contrib/libs/clang16/tools/extra/clang-tidy/abseil/DurationUnnecessaryConversionCheck.cpp
new file mode 100644
index 0000000000..9bb1fd57a4
--- /dev/null
+++ b/contrib/libs/clang16/tools/extra/clang-tidy/abseil/DurationUnnecessaryConversionCheck.cpp
@@ -0,0 +1,114 @@
+//===--- DurationUnnecessaryConversionCheck.cpp - 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
+//
+//===----------------------------------------------------------------------===//
+
+#include "DurationUnnecessaryConversionCheck.h"
+#include "DurationRewriter.h"
+#include "clang/AST/ASTContext.h"
+#include "clang/ASTMatchers/ASTMatchFinder.h"
+#include "clang/Tooling/FixIt.h"
+
+using namespace clang::ast_matchers;
+
+namespace clang::tidy::abseil {
+
+void DurationUnnecessaryConversionCheck::registerMatchers(MatchFinder *Finder) {
+ for (const auto &Scale : {"Hours", "Minutes", "Seconds", "Milliseconds",
+ "Microseconds", "Nanoseconds"}) {
+ std::string DurationFactory = (llvm::Twine("::absl::") + Scale).str();
+ std::string FloatConversion =
+ (llvm::Twine("::absl::ToDouble") + Scale).str();
+ std::string IntegerConversion =
+ (llvm::Twine("::absl::ToInt64") + Scale).str();
+
+ // Matcher which matches the current scale's factory with a `1` argument,
+ // e.g. `absl::Seconds(1)`.
+ auto FactoryMatcher = ignoringElidableConstructorCall(
+ callExpr(callee(functionDecl(hasName(DurationFactory))),
+ hasArgument(0, ignoringImpCasts(integerLiteral(equals(1))))));
+
+ // Matcher which matches either inverse function and binds its argument,
+ // e.g. `absl::ToDoubleSeconds(dur)`.
+ auto InverseFunctionMatcher = callExpr(
+ callee(functionDecl(hasAnyName(FloatConversion, IntegerConversion))),
+ hasArgument(0, expr().bind("arg")));
+
+ // Matcher which matches a duration divided by the factory_matcher above,
+ // e.g. `dur / absl::Seconds(1)`.
+ auto DivisionOperatorMatcher = cxxOperatorCallExpr(
+ hasOverloadedOperatorName("/"), hasArgument(0, expr().bind("arg")),
+ hasArgument(1, FactoryMatcher));
+
+ // Matcher which matches a duration argument to `FDivDuration`,
+ // e.g. `absl::FDivDuration(dur, absl::Seconds(1))`
+ auto FdivMatcher = callExpr(
+ callee(functionDecl(hasName("::absl::FDivDuration"))),
+ hasArgument(0, expr().bind("arg")), hasArgument(1, FactoryMatcher));
+
+ // Matcher which matches a duration argument being scaled,
+ // e.g. `absl::ToDoubleSeconds(dur) * 2`
+ auto ScalarMatcher = ignoringImpCasts(
+ binaryOperator(hasOperatorName("*"),
+ hasEitherOperand(expr(ignoringParenImpCasts(
+ callExpr(callee(functionDecl(hasAnyName(
+ FloatConversion, IntegerConversion))),
+ hasArgument(0, expr().bind("arg")))
+ .bind("inner_call")))))
+ .bind("binop"));
+
+ Finder->addMatcher(
+ callExpr(callee(functionDecl(hasName(DurationFactory))),
+ hasArgument(0, anyOf(InverseFunctionMatcher,
+ DivisionOperatorMatcher, FdivMatcher,
+ ScalarMatcher)))
+ .bind("call"),
+ this);
+ }
+}
+
+void DurationUnnecessaryConversionCheck::check(
+ const MatchFinder::MatchResult &Result) {
+ const auto *OuterCall = Result.Nodes.getNodeAs<Expr>("call");
+
+ if (isInMacro(Result, OuterCall))
+ return;
+
+ FixItHint Hint;
+ if (const auto *Binop = Result.Nodes.getNodeAs<BinaryOperator>("binop")) {
+ const auto *Arg = Result.Nodes.getNodeAs<Expr>("arg");
+ const auto *InnerCall = Result.Nodes.getNodeAs<Expr>("inner_call");
+ const Expr *LHS = Binop->getLHS();
+ const Expr *RHS = Binop->getRHS();
+
+ if (LHS->IgnoreParenImpCasts() == InnerCall) {
+ Hint = FixItHint::CreateReplacement(
+ OuterCall->getSourceRange(),
+ (llvm::Twine(tooling::fixit::getText(*Arg, *Result.Context)) + " * " +
+ tooling::fixit::getText(*RHS, *Result.Context))
+ .str());
+ } else {
+ assert(RHS->IgnoreParenImpCasts() == InnerCall &&
+ "Inner call should be find on the RHS");
+
+ Hint = FixItHint::CreateReplacement(
+ OuterCall->getSourceRange(),
+ (llvm::Twine(tooling::fixit::getText(*LHS, *Result.Context)) + " * " +
+ tooling::fixit::getText(*Arg, *Result.Context))
+ .str());
+ }
+ } else if (const auto *Arg = Result.Nodes.getNodeAs<Expr>("arg")) {
+ Hint = FixItHint::CreateReplacement(
+ OuterCall->getSourceRange(),
+ tooling::fixit::getText(*Arg, *Result.Context));
+ }
+ diag(OuterCall->getBeginLoc(),
+ "remove unnecessary absl::Duration conversions")
+ << Hint;
+}
+
+} // namespace clang::tidy::abseil