clang 20.0.0git
Classes | Namespaces | Enumerations | Functions
CheckerHelpers.h File Reference
#include "ProgramState_Fwd.h"
#include "SVals.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/Stmt.h"
#include "clang/Basic/OperatorKinds.h"
#include <optional>
#include <tuple>

Go to the source code of this file.

Classes

class  clang::ento::OperatorKind
 

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::ento
 

Enumerations

enum class  clang::ento::Nullability : char { clang::ento::Contradicted , clang::ento::Nullable , clang::ento::Unspecified , clang::ento::Nonnull }
 

Functions

bool clang::ento::containsMacro (const Stmt *S)
 
bool clang::ento::containsEnum (const Stmt *S)
 
bool clang::ento::containsStaticLocal (const Stmt *S)
 
bool clang::ento::containsBuiltinOffsetOf (const Stmt *S)
 
template<class T >
bool clang::ento::containsStmt (const Stmt *S)
 
std::pair< const clang::VarDecl *, const clang::Expr * > clang::ento::parseAssignment (const Stmt *S)
 
Nullability clang::ento::getNullabilityAnnotation (QualType Type)
 Get nullability annotation for a given type.
 
std::optional< intclang::ento::tryExpandAsInteger (StringRef Macro, const Preprocessor &PP)
 Try to parse the value of a defined preprocessor macro.
 
OperatorKind clang::ento::operationKindFromOverloadedOperator (OverloadedOperatorKind OOK, bool IsBinary)
 
std::optional< SVal > clang::ento::getPointeeVal (SVal PtrSVal, ProgramStateRef State)