Inheritance diagram for OppositeExpressionAnalyzer:
Public Member Functions | |
| OppositeExpressionAnalyzer (bool pIsNot, const Token *e, ValueFlow::Value val, const TokenList &t, const Settings &s) | |
| bool | skipUniqueExprIds () const override |
| bool | match (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) |
| 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::Value * | getValue (const Token *) const override |
| ValueFlow::Value * | getValue (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< Analyzer > | reanalyze (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 |
| virtual int | getIndirect (const Token *tok) 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 | 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 |
| 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... | |
| Public Member Functions inherited from Analyzer | |
| std::vector< MathLib::bigint > | evaluate (const Token *tok, const Token *ctx=nullptr) const |
| virtual | ~Analyzer ()=default |
| Analyzer (const Analyzer &)=default | |
Public Attributes | |
| bool | isNot {} |
| Public Attributes inherited from ExpressionAnalyzer | |
| const Token * | expr |
| 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 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 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) |
| Protected Member Functions inherited from Analyzer | |
| Analyzer ()=default | |
Detailed Description
Definition at line 3392 of file valueflow.cpp.
Constructor & Destructor Documentation
◆ OppositeExpressionAnalyzer()
|
inline |
Definition at line 3395 of file valueflow.cpp.
Member Function Documentation
◆ match()
Reimplemented from ExpressionAnalyzer.
Definition at line 3403 of file valueflow.cpp.
References ExpressionAnalyzer::expr, ValueFlowAnalyzer::getSettings(), isNot, and isOppositeCond().
◆ skipUniqueExprIds()
|
inlineoverridevirtual |
Reimplemented from ExpressionAnalyzer.
Definition at line 3399 of file valueflow.cpp.
Member Data Documentation
◆ isNot
| bool OppositeExpressionAnalyzer::isNot {} |
Definition at line 3393 of file valueflow.cpp.
Referenced by match().
The documentation for this struct was generated from the following file:
