Go to the documentation of this file.
13 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CHECKERHELPERS_H
14 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CHECKERHELPERS_H
19 #include "llvm/ADT/Optional.h"
39 for (
const Stmt *Child : S->children())
40 if (Child && containsStmt<T>(Child))
46 std::pair<const clang::VarDecl *, const clang::Expr *>
86 assert(IsBinary &&
"cannot get binary operator - we have a unary operator");
98 "cannot get unary operator - we have a binary operator");
OperatorKind(UnaryOperatorKind Un)
UnaryOperatorKind GetUnaryOpUnsafe() const
A (possibly-)qualified type.
bool containsStaticLocal(const Stmt *S)
Optional< UnaryOperatorKind > GetUnaryOp() const
bool containsBuiltinOffsetOf(const Stmt *S)
llvm::Optional< int > tryExpandAsInteger(StringRef Macro, const Preprocessor &PP)
Try to parse the value of a defined preprocessor macro.
The base class of the type hierarchy.
std::pair< const clang::VarDecl *, const clang::Expr * > parseAssignment(const Stmt *S)
Optional< BinaryOperatorKind > GetBinaryOp() const
BinaryOperatorKind GetBinaryOpUnsafe() const
OperatorKind(BinaryOperatorKind Bin)
bool containsStmt(const Stmt *S)
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
OperatorKind operationKindFromOverloadedOperator(OverloadedOperatorKind OOK, bool IsBinary)
Nullability getNullabilityAnnotation(QualType Type)
Get nullability annotation for a given type.
bool containsEnum(const Stmt *S)
Stmt - This represents one statement.
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
bool containsMacro(const Stmt *S)