13 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CHECKERHELPERS_H 14 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CHECKERHELPERS_H 37 if (Child && containsStmt<T>(Child))
43 std::pair<const clang::VarDecl *, const clang::Expr *>
A (possibly-)qualified type.
bool containsStaticLocal(const Stmt *S)
Stmt - This represents one statement.
The base class of the type hierarchy.
bool containsBuiltinOffsetOf(const Stmt *S)
The l-value was considered opaque, so the alignment was determined from a type, but that type was an ...
bool containsStmt(const Stmt *S)
std::pair< const clang::VarDecl *, const clang::Expr * > parseAssignment(const Stmt *S)
Dataflow Directional Tag Classes.
Nullability getNullabilityAnnotation(QualType Type)
Get nullability annotation for a given type.
bool containsMacro(const Stmt *S)
bool containsEnum(const Stmt *S)