1//===-- ChromiumCheckModel.h ------------------------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines a dataflow model for Chromium's family of CHECK functions.
10//
11//===----------------------------------------------------------------------===//
12#ifndef CLANG_ANALYSIS_FLOWSENSITIVE_MODELS_CHROMIUMCHECKMODEL_H
13#define CLANG_ANALYSIS_FLOWSENSITIVE_MODELS_CHROMIUMCHECKMODEL_H
14
15#include "clang/AST/DeclCXX.h"
16#include "clang/Analysis/FlowSensitive/DataflowAnalysis.h"
17#include "clang/Analysis/FlowSensitive/DataflowEnvironment.h"
18#include "llvm/ADT/DenseSet.h"
19
20namespace clang {
21namespace dataflow {
22
23/// Models the behavior of Chromium's CHECK, DCHECK, etc. macros, so that code
24/// after a call to `*CHECK` can rely on the condition being true.
25class ChromiumCheckModel : public DataflowModel {
26public:
27 ChromiumCheckModel() = default;
28 bool transfer(const CFGElement &Element, Environment &Env) override;
29
30private:
31 /// Declarations for `::logging::CheckError::.*Check`, lazily initialized.
32 llvm::SmallDenseSet<const CXXMethodDecl *> CheckDecls;
33};
34
35} // namespace dataflow
36} // namespace clang
37
38#endif // CLANG_ANALYSIS_FLOWSENSITIVE_MODELS_CHROMIUMCHECKMODEL_H
39