Cppcheck
Public Member Functions | List of all members
ContainerExpressionAnalyzer Struct Reference
Inheritance diagram for ContainerExpressionAnalyzer:
ExpressionAnalyzer SingleValueFlowAnalyzer ValueFlowAnalyzer Analyzer

Public Member Functions

 ContainerExpressionAnalyzer (const Token *expr, ValueFlow::Value val, const TokenList &t, const Settings &s)
 
bool match (const Token *tok) const override
 
Action isWritable (const Token *tok, Direction) const override
 
void writeValue (ValueFlow::Value *val, const Token *tok, Direction d) const override
 
int getIndirect (const Token *tok) const override
 
Action isModified (const Token *tok) const override
 
- Public Member Functions inherited from ExpressionAnalyzer
 ExpressionAnalyzer (const Token *e, ValueFlow::Value val, const TokenList &t, const Settings &s)
 
void setupExprVarIds (const Token *start, int depth=0)
 
virtual bool skipUniqueExprIds () const
 
bool invalid () const override
 
ProgramState getProgramState () const override
 
bool dependsOnThis () const override
 
bool isGlobal () const override
 
bool isVariable () const override
 
Action isAliasModified (const Token *tok, int indirect) const override
 
- Public Member Functions inherited from SingleValueFlowAnalyzer
 SingleValueFlowAnalyzer (ValueFlow::Value v, const TokenList &t, const Settings &s)
 
const std::unordered_map< nonneg int, const Variable * > & getVars () const
 
const std::unordered_map< nonneg int, const Variable * > & getAliasedVars () const
 
const ValueFlow::ValuegetValue (const Token *) const override
 
ValueFlow::ValuegetValue (const Token *) override
 
void makeConditional () override
 
bool useSymbolicValues () const override
 
void addErrorPath (const Token *tok, const std::string &s) override
 
bool isAlias (const Token *tok, bool &inconclusive) const override
 
bool lowerToPossible () override
 Lower any values to possible. More...
 
bool lowerToInconclusive () override
 Lower any values to inconclusive. More...
 
bool isConditional () const override
 If the value is conditional. More...
 
bool stopOnCondition (const Token *condTok) const override
 If analysis should stop on the condition. More...
 
bool updateScope (const Token *endBlock, bool) const override
 If the analysis is unsure whether to update a scope, this will return true if the analysis should bifurcate the scope. More...
 
ValuePtr< Analyzerreanalyze (Token *tok, const std::string &msg) const override
 Return analyzer for expression at token. More...
 
- Public Member Functions inherited from ValueFlowAnalyzer
 ValueFlowAnalyzer (const TokenList &t, const Settings &s)
 
virtual bool internalMatch (const Token *) const
 
bool isCPP () const
 
const SettingsgetSettings () const
 
Action analyzeLifetime (const Token *tok) const
 
std::unordered_map< nonneg int, const Token * > getSymbols (const Token *tok) const
 
ConditionState analyzeCondition (const Token *tok, int depth=20) const
 
virtual Action isThisModified (const Token *tok) const
 
Action isGlobalModified (const Token *tok) const
 
const TokenfindMatch (const Token *tok) const
 
bool isSameSymbolicValue (const Token *tok, ValueFlow::Value *value=nullptr) const
 
Action analyzeMatch (const Token *tok, Direction d) const
 
Action analyzeToken (const Token *ref, const Token *tok, Direction d, bool inconclusiveRef) const
 
Action analyze (const Token *tok, Direction d) const override
 Analyze a token. More...
 
template<class F >
std::vector< MathLib::bigintevaluateInt (const Token *tok, F getProgramMemory) const
 
std::vector< MathLib::bigintevaluateInt (const Token *tok) const
 
std::vector< MathLib::bigintevaluate (Evaluate e, const Token *tok, const Token *ctx=nullptr) const override
 Try to evaluate the value of a token(most likely a condition) More...
 
void assume (const Token *tok, bool state, unsigned int flags) override
 The condition that will be assumed during analysis. More...
 
void updateState (const Token *tok) override
 Update the state of the program at the token. More...
 
virtual void internalUpdate (Token *, const ValueFlow::Value &, Direction)
 
void update (Token *tok, Action a, Direction d) override
 Update the state of the value. More...
 
- Public Member Functions inherited from Analyzer
std::vector< MathLib::bigintevaluate (const Token *tok, const Token *ctx=nullptr) const
 
virtual ~Analyzer ()=default
 
 Analyzer (const Analyzer &)=default
 

Additional Inherited Members

- Public Types inherited from ValueFlowAnalyzer
using ProgramState = ProgramMemory::Map
 
- Public Types inherited from Analyzer
enum class  Terminate {
  None , Bail , Escape , Modified ,
  Inconclusive , Conditional
}
 
enum class  Direction { Forward , Reverse }
 
enum class  Evaluate { Integral , ContainerEmpty }
 
- Static Public Member Functions inherited from ExpressionAnalyzer
static bool nonLocal (const Variable *var, bool deref)
 
- Static Public Member Functions inherited from ValueFlowAnalyzer
static const std::string & getAssign (const Token *tok, Direction d)
 
- Public Attributes inherited from ExpressionAnalyzer
const Tokenexpr
 
 bool = true
 
bool unknown {}
 
bool dependOnThis {}
 
bool uniqueExprId {}
 
- Public Attributes inherited from SingleValueFlowAnalyzer
std::unordered_map< nonneg int, const Variable * > varids
 
std::unordered_map< nonneg int, const Variable * > aliases
 
ValueFlow::Value value
 
- Public Attributes inherited from ValueFlowAnalyzer
const TokenListtokenlist
 
const Settingssettings
 
ProgramMemoryState pms
 
- Protected Member Functions inherited from Analyzer
 Analyzer ()=default
 

Detailed Description

Definition at line 8260 of file valueflow.cpp.

Constructor & Destructor Documentation

◆ ContainerExpressionAnalyzer()

ContainerExpressionAnalyzer::ContainerExpressionAnalyzer ( const Token expr,
ValueFlow::Value  val,
const TokenList t,
const Settings s 
)
inline

Definition at line 8261 of file valueflow.cpp.

Member Function Documentation

◆ getIndirect()

int ContainerExpressionAnalyzer::getIndirect ( const Token tok) const
inlineoverridevirtual

Reimplemented from ValueFlowAnalyzer.

Definition at line 8342 of file valueflow.cpp.

References ValueFlowAnalyzer::getIndirect(), ValueType::pointer, and Token::valueType().

Referenced by isModified().

◆ isModified()

Action ContainerExpressionAnalyzer::isModified ( const Token tok) const
inlineoverridevirtual

◆ isWritable()

Action ContainerExpressionAnalyzer::isWritable ( const Token tok,
Direction   
) const
inlineoverridevirtual

◆ match()

bool ContainerExpressionAnalyzer::match ( const Token tok) const
inlineoverridevirtual

Reimplemented from ExpressionAnalyzer.

Definition at line 8265 of file valueflow.cpp.

References astIsIterator(), ExpressionAnalyzer::expr, Token::exprId(), and isAliasOf().

◆ writeValue()

void ContainerExpressionAnalyzer::writeValue ( ValueFlow::Value val,
const Token tok,
Direction  d 
) const
inlineoverridevirtual

The documentation for this struct was generated from the following file: