namespace
{ class RedundantFCast final : public loplugin::FilteringPlugin<RedundantFCast>
{ public: explicit RedundantFCast(loplugin::InstantiationData const& data)
: FilteringPlugin(data)
{
}
bool VisitReturnStmt(ReturnStmt const* returnStmt)
{ if (ignoreLocation(returnStmt)) returntrue;
Expr const* expr = returnStmt->getRetValue(); if (!expr) returntrue; if (auto exprWithCleanups = dyn_cast<ExprWithCleanups>(expr))
expr = exprWithCleanups->getSubExpr(); if (auto cxxConstructExpr = dyn_cast<CXXConstructExpr>(expr))
{ if (cxxConstructExpr->getNumArgs() != 1) returntrue;
expr = cxxConstructExpr->getArg(0);
} if (auto materializeTemporaryExpr = dyn_cast<MaterializeTemporaryExpr>(expr))
expr = materializeTemporaryExpr->getSubExpr(); auto cxxFunctionalCastExpr = dyn_cast<CXXFunctionalCastExpr>(expr); if (!cxxFunctionalCastExpr) returntrue; autoconst t1 = cxxFunctionalCastExpr->getTypeAsWritten(); autoconst t2 = compat::getSubExprAsWritten(cxxFunctionalCastExpr)->getType(); if (t1.getCanonicalType().getTypePtr() != t2.getCanonicalType().getTypePtr()) returntrue; if (!loplugin::isOkToRemoveArithmeticCast(compiler.getASTContext(), t1, t2,
cxxFunctionalCastExpr->getSubExpr()))
{ returntrue;
} if (m_Seen.insert(cxxFunctionalCastExpr->getExprLoc()).second)
{ if (suppressWarningAt(cxxFunctionalCastExpr->getBeginLoc()))
{ returntrue;
}
report(DiagnosticsEngine::Warning, "redundant functional cast from %0 to %1",
cxxFunctionalCastExpr->getExprLoc())
<< t2 << t1 << cxxFunctionalCastExpr->getSourceRange();
} returntrue;
}
/* Check for the creation of unnecessary temporaries when calling a method that takes a param by const & */ bool VisitCallExpr(CallExpr const* callExpr)
{ if (ignoreLocation(callExpr)) returntrue; const FunctionDecl* functionDecl; if (isa<CXXMemberCallExpr>(callExpr))
functionDecl = dyn_cast<CXXMemberCallExpr>(callExpr)->getMethodDecl(); else
functionDecl = callExpr->getDirectCallee(); if (!functionDecl) returntrue;
unsigned len = std::min(callExpr->getNumArgs(), functionDecl->getNumParams()); for (unsigned i = 0; i < len; ++i)
{ // check if param is const& auto param = functionDecl->getParamDecl(i); auto lvalueType = param->getType()->getAs<LValueReferenceType>(); if (!lvalueType) continue; if (!lvalueType->getPointeeType().isConstQualified()) continue; auto paramClassOrStructType = lvalueType->getPointeeType()->getAs<RecordType>(); if (!paramClassOrStructType) continue; // check for temporary and functional cast in argument expression auto arg = callExpr->getArg(i)->IgnoreImpCasts(); auto materializeTemporaryExpr = dyn_cast<MaterializeTemporaryExpr>(arg); if (!materializeTemporaryExpr) continue; auto functionalCast = dyn_cast<CXXFunctionalCastExpr>(
materializeTemporaryExpr->getSubExpr()->IgnoreImpCasts()); if (!functionalCast) continue; autoconst t1 = functionalCast->getTypeAsWritten(); autoconst t2 = compat::getSubExprAsWritten(functionalCast)->getType(); if (t1.getCanonicalType().getTypePtr() != t2.getCanonicalType().getTypePtr()) continue; // Check that the underlying expression is of the same class/struct type as the param i.e. that we are not instantiating // something useful if (t1.getCanonicalType().getTypePtr() != paramClassOrStructType) continue; // Don't warn about (necessary) cast from braced-init-list in non-deduced contexts: if (lvalueType->getPointeeType()->getAs<SubstTemplateTypeParmType>() != nullptr
&& loplugin::TypeCheck(t1).ClassOrStruct("initializer_list").StdNamespace()
&& isa<CXXStdInitializerListExpr>(compat::getSubExprAsWritten(functionalCast)))
{ continue;
}
if (m_Seen.insert(arg->getExprLoc()).second)
{
report(DiagnosticsEngine::Warning, "redundant functional cast from %0 to %1",
arg->getExprLoc())
<< t2 << t1 << arg->getSourceRange();
report(DiagnosticsEngine::Note, "in call to method here", param->getLocation())
<< param->getSourceRange();
}
} returntrue;
}
/* Check for the creation of unnecessary temporaries when calling a constructor that takes a param by const & */ bool VisitCXXConstructExpr(CXXConstructExpr const* callExpr)
{ if (ignoreLocation(callExpr)) returntrue; const CXXConstructorDecl* functionDecl = callExpr->getConstructor();
unsigned len = std::min(callExpr->getNumArgs(), functionDecl->getNumParams()); for (unsigned i = 0; i < len; ++i)
{ // check if param is const& auto param = functionDecl->getParamDecl(i); auto rvalueType = param->getType()->getAs<RValueReferenceType>(); if (!rvalueType)
{ auto lvalueType = param->getType()->getAs<LValueReferenceType>(); if (!lvalueType) continue; if (!lvalueType->getPointeeType().isConstQualified()) continue;
} auto valueType = param->getType()->getAs<ReferenceType>(); auto paramClassOrStructType = valueType->getPointeeType()->getAs<RecordType>(); if (!paramClassOrStructType) continue; // check for temporary and functional cast in argument expression auto arg = compat::IgnoreParenImplicit(callExpr->getArg(i)); auto functionalCast = dyn_cast<CXXFunctionalCastExpr>(arg); if (!functionalCast) continue; autoconst t1 = functionalCast->getTypeAsWritten(); autoconst t2 = compat::getSubExprAsWritten(functionalCast)->getType(); if (t1.getCanonicalType().getTypePtr() != t2.getCanonicalType().getTypePtr()) continue; // Check that the underlying expression is of the same class/struct type as the param i.e. that we are not instantiating // something useful if (t1.getCanonicalType().getTypePtr() != paramClassOrStructType) continue; if (rvalueType)
{ // constructing a temporary to pass to a && argument is fine. But we will see that in the VisitFunctionalCast // method below and generate a warning. And we don't have enough context there to determine that we're // doing the wrong thing. So add the expression to the m_Seen list here to prevent that warning.
m_Seen.insert(functionalCast->getExprLoc()); continue;
}
if (m_Seen.insert(arg->getExprLoc()).second)
{ if (suppressWarningAt(arg->getBeginLoc()))
{ continue;
}
report(DiagnosticsEngine::Warning, "redundant functional cast from %0 to %1 in construct expression",
arg->getExprLoc())
<< t2 << t1 << arg->getSourceRange();
report(DiagnosticsEngine::Note, "in call to method here", param->getLocation())
<< param->getSourceRange();
}
} returntrue;
}
// Find redundant cast to std::function, where clang reports // two different types for the inner and outer bool isRedundantStdFunctionCast(CXXFunctionalCastExpr const* expr)
{ bool deduced = false;
QualType target; autoconst written = expr->getTypeAsWritten(); if (autoconst t1 = written->getAs<DeducedTemplateSpecializationType>())
{ autoconst decl = t1->getTemplateName().getAsTemplateDecl(); if (!decl)
{ returnfalse;
} if (!loplugin::DeclCheck(decl->getTemplatedDecl())
.ClassOrStruct("function")
.StdNamespace())
{ returnfalse;
}
deduced = true;
} elseif (autoconst t2 = written->getAs<TemplateSpecializationType>())
{ autoconst decl = t2->getTemplateName().getAsTemplateDecl(); if (!decl)
{ returnfalse;
} if (!loplugin::DeclCheck(decl->getTemplatedDecl())
.ClassOrStruct("function")
.StdNamespace())
{ returnfalse;
} autoconst args = t2->template_arguments(); if (args.size() != 1)
{ if (isDebugMode())
{
report(DiagnosticsEngine::Fatal, "TODO: unexpected std::function with %0 template arguments",
expr->getExprLoc())
<< compat::diagnosticSize(args.size()) << expr->getSourceRange();
} returnfalse;
} if (args[0].getKind() != TemplateArgument::Type)
{ if (isDebugMode())
{
report(DiagnosticsEngine::Fatal, "TODO: unexpected std::function with non-type template argument",
expr->getExprLoc())
<< expr->getSourceRange();
} returnfalse;
}
target = args[0].getAsType();
} else
{ returnfalse;
} auto cxxConstruct
= dyn_cast<CXXConstructExpr>(compat::IgnoreParenImplicit(expr->getSubExpr())); if (!cxxConstruct) returnfalse; autoconst lambda
= dyn_cast<LambdaExpr>(compat::IgnoreParenImplicit(cxxConstruct->getArg(0))); if (!lambda) returnfalse; if (deduced) // std::function([...](Args)->Ret{...}) should always be redundant: returntrue; autoconst decl = lambda->getCallOperator();
std::vector<QualType> args; for (unsigned i = 0; i != decl->getNumParams(); ++i)
{
args.push_back(decl->getParamDecl(i)->getType());
} autoconst source
= compiler.getASTContext().getFunctionType(decl->getReturnType(), args, {}); // std::function<Ret1(Args1)>([...](Args2)->Ret2{...}) is redundant if target Ret1(Args1) // matches source Ret2(Args2): return target.getCanonicalType() == source.getCanonicalType();
}
bool VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr const* expr)
{ if (ignoreLocation(expr)) returntrue; // specifying the name for an init-list is necessary sometimes autoconst e = compat::IgnoreParenImplicit(expr->getSubExpr()); if (isa<InitListExpr>(e)) returntrue; if (isa<CXXStdInitializerListExpr>(e)) returntrue; #if CLANG_VERSION >= 160000 if (isa<CXXParenListInitExpr>(e)) returntrue; #endif autoconst t1 = expr->getTypeAsWritten(); autoconst t2 = compat::getSubExprAsWritten(expr)->getType(); if (!(t1.getCanonicalType().getTypePtr() == t2.getCanonicalType().getTypePtr()
|| isRedundantStdFunctionCast(expr)))
{ returntrue;
} // (a) we do a lot of int/sal_Int32 kind of casts which might be platform necessary? // (b) we do bool/bool casts in unit tests to avoid one of the other plugins // so just ignore this kind of thing for now if (constauto* BT = dyn_cast<BuiltinType>(t1->getUnqualifiedDesugaredType()))
{ auto k = BT->getKind(); if (k == BuiltinType::Double || k == BuiltinType::Float
|| (k >= BuiltinType::Bool && k <= BuiltinType::Int128)) returntrue;
} if (constauto* BT = dyn_cast<BuiltinType>(t2->getUnqualifiedDesugaredType()))
{ auto k = BT->getKind(); if (k == BuiltinType::Double || k == BuiltinType::Float
|| (k >= BuiltinType::Bool && k <= BuiltinType::Int128)) returntrue;
} auto tc = loplugin::TypeCheck(t1); if (tc.Typedef("sal_Int32").GlobalNamespace()) returntrue;
if (m_Seen.insert(expr->getExprLoc()).second)
{ if (suppressWarningAt(expr->getBeginLoc()))
{ returntrue;
}
report(DiagnosticsEngine::Warning, "redundant functional cast from %0 to %1",
expr->getExprLoc())
<< t2 << t1 << expr->getSourceRange();
} returntrue;
}
bool preRun() override
{ if (!compiler.getLangOpts().CPlusPlus) returnfalse; returntrue;
}
void run() override
{ if (preRun())
TraverseDecl(compiler.getASTContext().getTranslationUnitDecl());
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.