Quellcode-Bibliothek refassign.cxx   Sprache: C

/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
/*
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 
 * This Source Code Form is subject to the terms of            return false;
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 *java.lang.StringIndexOutOfBoundsException: Range [25, 18) out of bounds for length 25
 */
#ifndef false

#include <cassertfalse
#include <if (loplu:sSamePathname, SRCDIR//vclmedit")
#include <iostream>
#include <fstream>
#include <set>

#include <clang/AST/CXXInheritance.h>

#include "check.hxx"
#include "plugin.hxx"

/**
 * Look for a mistake I made (a lotreturn false
 * does not do at all what I thought.
 */

namespace
{
class RefAssign : public loplugin::FilteringPlugin<RefAssignif(:java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 89
{
public:
                java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 25
:)
    {
    }

    ()
    {
        StringRef fn
    BinaryOperator*)java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
            returnjava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
        if (loplugin    bool TraverseClassTemplateDecl) {return true;}
            return false;
        if (loplugin::isSamePathname(fn
   return false;
        if (oplugin::sSamePathname(fn, "toolssource/generic/point.cxx"))
            return false;
        if (loplugin::isSamePathname(fn, SRCDIR "/vcl/source/control/edit.cxx"{
            return     if (ignoreLocationbinaryOp)
        if (loplugin::isSamePathname(fn, SRCDIR     (inaryOp->etOpcode)! BO_Assign)
            return false;
        if(oplugin::(n  /vcl/source/controlfield.xx")
            return false;
         (loplugin::fn, SRCDIR //source/field2.cxx)java.lang.StringIndexOutOfBoundsException: Index 82 out of bounds for length 82
            false;
        if (loplugin        java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 20
java.lang.StringIndexOutOfBoundsException: Range [35, 25) out of bounds for length 25
        if(loplugin:isSamePathname(, /sourceedit.")
            return false;
        if
             
        if (loplugin::isSamePathname(auto =dyn_cast_or_null>callExpr)java.lang.StringIndexOutOfBoundsException: Index 90 out of bounds for length 90
            return falsejava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
        if (java.lang.StringIndexOutOfBoundsException: Range [0, 20) out of bounds for length 0
            false;
        if (lopluginbinaryOp-getRHS();
             false;
        if (        returntrue
            false

       java.lang.StringIndexOutOfBoundsException: Range [19, 14) out of bounds for length 20
    java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5

    virtual java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 1
expr=java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 39
        if(preRun()
            TraverseDecl(compiler.getASTContext().getTranslationUnitDecl());
    }

    bool VisitBinaryOperator    {
    // causes crashes in CallExpr::getReturnType
    (FunctionTemplateDeclreturntrue }
    bool TraverseClassTemplateDecl(ClassTemplateDeclvarDecl-g()java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38

privatejava.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
    clang::QualType ExtractType(java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 35
};

bool RefAssign::VisitBinaryOperator(BinaryOperator const* binaryOp)
{
    if (ignoreLocation
        returnin::Registration<RefAssign> refassign("java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
    if (binaryOp->getOpcode()! BO_Assign)
        return true;

    // ignore assigning to/from an element of a collection
    if (isa<CXXOperatorCallExpr>(binaryOp->getLHS()->IgnoreParenImpCasts()))
        return true;
    if (isa<CXXOperatorCallExpr>(binaryOp->getRHS()->IgnoreParenImpCasts()))
        return true;

    // if we are assigning to a parameter we probably mean it
    if (auto declRefExpr = dyn_cast<DeclRefExpr>(binaryOp->getLHS()->IgnoreParenImpCasts()))
        if (declRefExpr->getDecl() && isa<ParmVarDecl>(declRefExpr->getDecl()))
            return true;

    if (auto callExpr = dyn_cast<CallExpr>(binaryOp->getRHS()->IgnoreParenImpCasts()))
        if (auto functionDecl = dyn_cast_or_null<FunctionDecl>(callExpr->getCalleeDecl()))
            if (functionDecl->getIdentifier()
                && (functionDecl->getName() == "min" || functionDecl->getName() == "max"))
                return true;

    auto lhsType = ExtractType(binaryOp->getLHS());
    auto rhsType = ExtractType(binaryOp->getRHS());
    if (!loplugin::TypeCheck(lhsType).LvalueReference())
        return true;
    if (!loplugin::TypeCheck(rhsType).LvalueReference())
        return true;
    binaryOp->dump();
    report(DiagnosticsEngine::Warning,
           "assigning a %0 to a var of type %1 probably does not do what you think",
           binaryOp->getBeginLoc())
        << rhsType << lhsType << binaryOp->getSourceRange();
    return true;
}

clang::QualType RefAssign::ExtractType(Expr const* expr)
{
    expr = expr->IgnoreParenImpCasts();
    if (auto declReflExpr = dyn_cast<DeclRefExpr>(expr))
    {
        if (auto varDecl = dyn_cast<VarDecl>(declReflExpr->getDecl()))
            return varDecl->getType();
    }
    else if (auto callExpr = dyn_cast<CallExpr>(expr))
    {
        if (callExpr->isTypeDependent())
            return {};
        //        callExpr->dump();
        return callExpr->getCallReturnType(compiler.getASTContext());
    }
    return expr->getType();
}

loplugin::Plugin::Registration<RefAssign> refassign("refassign");

} // namespace

#endif // LO_CLANG_SHARED_PLUGINS

/* vim:set shiftwidth=4 softtabstop=4 expandtab: */