Inheritance diagram for MultiValueFlowAnalyzer:

Public Member Functions
	MultiValueFlowAnalyzer (const std::unordered_map< const Variable *, ValueFlow::Value > &args, const TokenList &t, const Settings &set)

virtual const std::unordered_map< nonneg int, const Variable * > &	getVars () const

const ValueFlow::Value *	getValue (const Token *tok) const override

ValueFlow::Value *	getValue (const Token *tok) override

void	makeConditional () 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...

bool	match (const Token *tok) const override

ProgramState	getProgramState () const override

Public Member Functions inherited from ValueFlowAnalyzer
	ValueFlowAnalyzer (const TokenList &t, const Settings &s)

virtual bool	internalMatch (const Token *) const

virtual int	getIndirect (const Token *tok) const

virtual bool	isGlobal () const

virtual bool	dependsOnThis () const

virtual bool	isVariable () const

bool	isCPP () const

const Settings &	getSettings () 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	isModified (const Token *tok) const

virtual Action	isAliasModified (const Token *tok, int indirect=-1) const

virtual Action	isThisModified (const Token *tok) const

Action	isGlobalModified (const Token *tok) const

virtual Action	isWritable (const Token *tok, Direction d) const

virtual void	writeValue (ValueFlow::Value value, const Token tok, Direction d) const

virtual bool	useSymbolicValues () const

const Token *	findMatch (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::bigint >	evaluateInt (const Token *tok, F getProgramMemory) const

std::vector< MathLib::bigint >	evaluateInt (const Token *tok) const

std::vector< MathLib::bigint >	evaluate (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...

ValuePtr< Analyzer >	reanalyze (Token *, const std::string &) const override
	Return analyzer for expression at token. More...

Public Member Functions inherited from Analyzer
std::vector< MathLib::bigint >	evaluate (const Token tok, const Token ctx=nullptr) const

virtual bool	invalid () const

virtual	~Analyzer ()=default

	Analyzer (const Analyzer &)=default

Public Attributes
std::unordered_map< nonneg int, ValueFlow::Value >	values

std::unordered_map< nonneg int, const Variable * >	vars

Public Attributes inherited from ValueFlowAnalyzer
const TokenList &	tokenlist

const Settings &	settings

ProgramMemoryState	pms

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 ValueFlowAnalyzer
static const std::string &	getAssign (const Token *tok, Direction d)

Protected Member Functions inherited from Analyzer
	Analyzer ()=default

Detailed Description

Definition at line 7412 of file valueflow.cpp.

Constructor & Destructor Documentation

◆ MultiValueFlowAnalyzer()

MultiValueFlowAnalyzer::MultiValueFlowAnalyzer	(	const std::unordered_map< const Variable *, ValueFlow::Value > &	args,
		const TokenList &	t,
		const Settings &	set
	)