class ChromiumCheckModel

Declaration

class ChromiumCheckModel : public DataflowModel { /* full declaration omitted */ };

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.

Declared at: clang/include/clang/Analysis/FlowSensitive/Models/ChromiumCheckModel.h:26

Inherits from: DataflowModel

Member Variables

private llvm::SmallDenseSet<const CXXMethodDecl*> CheckDecls

Declarations for `::logging::CheckError::.*Check`, lazily initialized.

Method Overview

• public ChromiumCheckModel()
• public bool transfer(const clang::Stmt * Stmt, clang::dataflow::Environment & Env)

Inherited from DataflowModel:

• public transfer

Inherited from Environment::ValueModel:

• public compareEquivalent
• public merge

Methods

¶ChromiumCheckModel()

Declared at: clang/include/clang/Analysis/FlowSensitive/Models/ChromiumCheckModel.h:28

¶bool transfer(const clang::Stmt* Stmt,
              clang::dataflow::Environment& Env)

Description

Return value indicates whether the model processed the `Stmt`.

Declared at: clang/include/clang/Analysis/FlowSensitive/Models/ChromiumCheckModel.h:29

Parameters

const clang::Stmt* Stmt

clang::dataflow::Environment& Env