clang 19.0.0git
Typedefs | Functions
NSErrorChecker.cpp File Reference
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclObjC.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/raw_ostream.h"
#include <optional>

Go to the source code of this file.

Typedefs

typedef llvm::ImmutableMap< SymbolRef, unsignedErrorOutFlag
 

Functions

static bool IsNSError (QualType T, IdentifierInfo *II)
 
static bool IsCFError (QualType T, IdentifierInfo *II)
 
static bool hasReservedReturnType (const FunctionDecl *D)
 
template<typename T >
static bool hasFlag (SVal val, ProgramStateRef state)
 
template<typename T >
static void setFlag (ProgramStateRef state, SVal val, CheckerContext &C)
 
static QualType parameterTypeFromSVal (SVal val, CheckerContext &C)
 

Typedef Documentation

◆ ErrorOutFlag

typedef llvm::ImmutableMap<SymbolRef, unsigned> ErrorOutFlag

Definition at line 180 of file NSErrorChecker.cpp.

Function Documentation

◆ hasFlag()

template<typename T >
static bool hasFlag ( SVal  val,
ProgramStateRef  state 
)
static

Definition at line 185 of file NSErrorChecker.cpp.

References clang::ento::SVal::getAsSymbol().

◆ hasReservedReturnType()

static bool hasReservedReturnType ( const FunctionDecl D)
static

Definition at line 99 of file NSErrorChecker.cpp.

References clang::FunctionDecl::getOverloadedOperator().

◆ IsCFError()

static bool IsCFError ( QualType  T,
IdentifierInfo II 
)
static

◆ IsNSError()

static bool IsNSError ( QualType  T,
IdentifierInfo II 
)
static

◆ parameterTypeFromSVal()

static QualType parameterTypeFromSVal ( SVal  val,
CheckerContext C 
)
static

◆ setFlag()

template<typename T >
static void setFlag ( ProgramStateRef  state,
SVal  val,
CheckerContext C 
)
static

Definition at line 193 of file NSErrorChecker.cpp.

References clang::C, and clang::ento::SVal::getAsSymbol().