clang
9.0.0
|
#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"
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) |
|
static |
Definition at line 62 of file CastValueChecker.cpp.
References clang::CallExpr::getArg(), getCastName(), and State.
Referenced by evalNullParamNullReturn().
|
static |
Definition at line 88 of file CastValueChecker.cpp.
References clang::CallExpr::getArg(), getCastName(), and State.
Referenced by evalNullParamNullReturn().
|
static |
Definition at line 115 of file CastValueChecker.cpp.
References evalNonNullParamNonNullReturn(), evalNonNullParamNullReturn(), clang::CallExpr::getArg(), clang::Type::getPointeeCXXRecordDecl(), clang::Expr::getType(), and State.
|
static |
Definition at line 58 of file CastValueChecker.cpp.
References clang::NamedDecl::getNameAsString(), clang::Type::getPointeeCXXRecordDecl(), and clang::Expr::getType().
Referenced by clang::CXXNamedCastExpr::CXXNamedCastExpr(), evalNonNullParamNonNullReturn(), and evalNonNullParamNullReturn().