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 
20 namespace clang {
21 namespace 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.
25 class ChromiumCheckModel : public DataflowModel {
26 public:
27   ChromiumCheckModel() = default;
28   bool transfer(const CFGElement &Element, Environment &Env) override;
29 
30 private:
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