clang  9.0.0
Functions
CastValueChecker.cpp File Reference
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "llvm/ADT/Optional.h"
Include dependency graph for CastValueChecker.cpp:

Go to the source code of this file.

Functions

static std::string getCastName (const Expr *Cast)
 
static void evalNonNullParamNonNullReturn (const CallExpr *CE, DefinedOrUnknownSVal ParamDV, CheckerContext &C)
 
static void evalNonNullParamNullReturn (const CallExpr *CE, DefinedOrUnknownSVal ParamDV, CheckerContext &C)
 
static void evalNullParamNullReturn (const CallExpr *CE, DefinedOrUnknownSVal ParamDV, CheckerContext &C)
 

Function Documentation

◆ evalNonNullParamNonNullReturn()

static void evalNonNullParamNonNullReturn ( const CallExpr CE,
DefinedOrUnknownSVal  ParamDV,
CheckerContext &  C 
)
static

Definition at line 62 of file CastValueChecker.cpp.

References clang::CallExpr::getArg(), getCastName(), and State.

Referenced by evalNullParamNullReturn().

◆ evalNonNullParamNullReturn()

static void evalNonNullParamNullReturn ( const CallExpr CE,
DefinedOrUnknownSVal  ParamDV,
CheckerContext &  C 
)
static

Definition at line 88 of file CastValueChecker.cpp.

References clang::CallExpr::getArg(), getCastName(), and State.

Referenced by evalNullParamNullReturn().

◆ evalNullParamNullReturn()

static void evalNullParamNullReturn ( const CallExpr CE,
DefinedOrUnknownSVal  ParamDV,
CheckerContext &  C 
)
static

◆ getCastName()

static std::string getCastName ( const Expr Cast)
static