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/AST/Stmt.h" 17 #include "clang/Analysis/FlowSensitive/DataflowAnalysis.h" 18 #include "clang/Analysis/FlowSensitive/DataflowEnvironment.h" 19 #include "llvm/ADT/DenseSet.h" 20 21 namespace clang { 22 namespace dataflow { 23 24 /// Models the behavior of Chromium's CHECK, DCHECK, etc. macros, so that code 25 /// after a call to `*CHECK` can rely on the condition being true. 26 class ChromiumCheckModel : public DataflowModel { 27 public: 28 ChromiumCheckModel() = default; 29 bool transfer(const Stmt *Stmt, Environment &Env) override; 30 31 private: 32 /// Declarations for `::logging::CheckError::.*Check`, lazily initialized. 33 llvm::SmallDenseSet<const CXXMethodDecl *> CheckDecls; 34 }; 35 36 } // namespace dataflow 37 } // namespace clang 38 39 #endif // CLANG_ANALYSIS_FLOWSENSITIVE_MODELS_CHROMIUMCHECKMODEL_H 40