Models the behavior of Chromium's CHECK, DCHECK, etc. More...
#include "clang/Analysis/FlowSensitive/Models/ChromiumCheckModel.h"
Inheritance diagram for clang::dataflow::ChromiumCheckModel:
Collaboration diagram for clang::dataflow::ChromiumCheckModel:
Public Member Functions | |
| ChromiumCheckModel ()=default | |
| bool | transfer (const Stmt *Stmt, Environment &Env) override |
Return value indicates whether the model processed the Stmt. More... | |
 Public Member Functions inherited from clang::dataflow::Environment::ValueModel | |
| virtual | ~ValueModel ()=default |
| virtual bool | compareEquivalent (QualType Type, const Value &Val1, const Environment &Env1, const Value &Val2, const Environment &Env2) |
Returns true if and only if Val1 is equivalent to Val2. More... | |
| virtual bool | merge (QualType Type, const Value &Val1, const Environment &Env1, const Value &Val2, const Environment &Env2, Value &MergedVal, Environment &MergedEnv) |
Modifies MergedVal to approximate both Val1 and Val2. More... | |
Detailed Description
Models the behavior of Chromium's CHECK, DCHECK, etc.
macros, so that code after a call to *CHECK can rely on the condition being true.
Definition at line 26 of file ChromiumCheckModel.h.
Constructor & Destructor Documentation
◆ ChromiumCheckModel()
|
default |
Member Function Documentation
◆ transfer()
|
overridevirtual |
Return value indicates whether the model processed the Stmt.
Implements clang::dataflow::DataflowModel.
Definition at line 53 of file ChromiumCheckModel.cpp.
References clang::dataflow::Environment::addToFlowCondition(), clang::dataflow::Environment::getBoolLiteralValue(), and clang::dataflow::isCheckLikeMethod().
The documentation for this class was generated from the following files:
- include/clang/Analysis/FlowSensitive/Models/ChromiumCheckModel.h
- lib/Analysis/FlowSensitive/Models/ChromiumCheckModel.cpp
