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