fwdanalysis.cpp File Reference

#include "fwdanalysis.h"
#include "astutils.h"
#include "config.h"
#include "library.h"
#include "settings.h"
#include "symboldatabase.h"
#include "token.h"
#include "vfvalue.h"
#include <list>
#include <map>
#include <string>

Go to the source code of this file.

Functions
static bool	isUnchanged (const Token *startToken, const Token *endToken, const std::set< nonneg int > &exprVarIds, bool local)
static bool	hasFunctionCall (const Token *tok)
static bool	hasGccCompoundStatement (const Token *tok)
static bool	nonLocal (const Variable *var, bool deref)
static bool	hasVolatileCastOrVar (const Token *expr)

Function Documentation

hasFunctionCall()

static bool hasFunctionCall ( const Token *  tok )

static

Definition at line 58 of file fwdanalysis.cpp.

References Token::astOperand1(), Token::astOperand2(), and Token::Match().

Referenced by FwdAnalysis::checkRecursive().

hasGccCompoundStatement()

static bool hasGccCompoundStatement ( const Token *  tok )

static

Definition at line 68 of file fwdanalysis.cpp.

References Token::astOperand1(), Token::astOperand2(), Token::previous(), Token::simpleMatch(), and Token::str().

Referenced by FwdAnalysis::checkRecursive().

hasVolatileCastOrVar()

static bool hasVolatileCastOrVar ( const Token *  expr )

static

Definition at line 82 of file fwdanalysis.cpp.

References none, op1_and_op2, Token::simpleMatch(), Token::variable(), and visitAstNodes().

Referenced by FwdAnalysis::reassign(), and FwdAnalysis::unusedValue().

isUnchanged()

static bool isUnchanged ( const Token *  startToken, const Token *  endToken, const std::set< nonneg int > &  exprVarIds, bool  local  )

static

Definition at line 33 of file fwdanalysis.cpp.

References Token::astParent(), Token::isUnaryOp(), Token::Match(), Token::next(), Token::simpleMatch(), and Token::str().

Referenced by FwdAnalysis::checkRecursive().

nonLocal()

static bool nonLocal ( const Variable *  var, bool  deref  )

static

Definition at line 77 of file fwdanalysis.cpp.

References Variable::isArgument(), Variable::isExtern(), Variable::isLocal(), Variable::isPointer(), Variable::isReference(), and Variable::isStatic().

Referenced by valueFlowContainerSize().