(CheckDecls.empty()) {
32ParentClass->
getName() !=
"CheckError")
38 if(N ==
nullptr|| !N->getDeclName().isIdentifier() ||
39N->getName() !=
"logging")
43 if(N->getParent() ==
nullptr|| !N->getParent()->isTranslationUnit())
47 if(M->getDeclName().isIdentifier() && M->getName().ends_with(
"Check"))
51 returnCheckDecls.contains(&
D);
55 autoCS = Element.getAs<
CFGStmt>();
58 auto Stmt= CS->getStmt();
59 if(
const auto*
Call= dyn_cast<CallExpr>(
Stmt)) {
61dyn_cast_or_null<CXXMethodDecl>(
Call->getDirectCallee())) {
64 Env.assume(
Env.arena().makeLiteral(
false));
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Represents a top-level expression in a basic block.
Represents a static or instance method of a struct/union/class.
Represents a C++ struct/union/class.
method_range methods() const
DeclContext * getDeclContext()
bool isIdentifier() const
Predicate functions for querying what type of name this is.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Stmt - This represents one statement.
bool transfer(const CFGElement &Element, Environment &Env) override
Return value indicates whether the model processed the Element.
Holds the state of the program (store and heap) at a given program point.
static bool isCheckLikeMethod(llvm::SmallDenseSet< const CXXMethodDecl * > &CheckDecls, const CXXMethodDecl &D)
Determines whether D is one of the methods used to implement Chromium's CHECK macros.
The JSON file list parser is used to communicate input to InstallAPI.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4