Go to the source code of this file.
static bool isInfeasibleCast (const DynamicCastInfo *CastInfo, bool CastSucceeds) static const NoteTag * getNoteTag (CheckerContext &C, const DynamicCastInfo *CastInfo, QualType CastToTy, const Expr *Object, bool CastSucceeds, bool IsKnownCast) static const NoteTag * getNoteTag (CheckerContext &C, SmallVector< QualType, 4 > CastToTyVec, const Expr *Object, bool IsKnownCast) static QualType alignReferenceTypes (QualType toAlign, QualType alignTowards, ASTContext &ACtx) static void addCastTransition (const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C, bool IsNonNullParam, bool IsNonNullReturn, bool IsCheckedCast=false) static void addInstanceOfTransition (const CallEvent &Call, DefinedOrUnknownSVal DV, ProgramStateRef State, CheckerContext &C, bool IsInstanceOf) static void evalNonNullParamNonNullReturn (const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C, bool IsCheckedCast=false) static void evalNonNullParamNullReturn (const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C) static void evalNullParamNullReturn (const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C) static void evalZeroParamNonNullReturn (const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C, bool IsCheckedCast=false) static void evalZeroParamNullReturn (const CallEvent &Call, DefinedOrUnknownSVal DV, CheckerContext &C) ◆ addCastTransition()Definition at line 198 of file CastValueChecker.cpp.
References alignReferenceTypes(), clang::C, clang::Call, clang::ento::SVal::getAsRegion(), clang::ento::getDynamicCastInfo(), getNoteTag(), isInfeasibleCast(), clang::Type::isPointerType(), clang::Type::isReferenceType(), clang::ento::setDynamicTypeAndCastInfo(), clang::ento::DynamicCastInfo::succeeds(), and V.
Referenced by evalNonNullParamNonNullReturn(), evalNonNullParamNullReturn(), evalZeroParamNonNullReturn(), and evalZeroParamNullReturn().
◆ addInstanceOfTransition()Definition at line 259 of file CastValueChecker.cpp.
References alignReferenceTypes(), clang::C, clang::Call, clang::ento::SVal::castAs(), clang::TemplateArgumentList::get(), clang::ento::SVal::getAsRegion(), clang::TemplateArgument::getAsType(), clang::ento::getDynamicCastInfo(), clang::TemplateArgument::getKind(), getNoteTag(), clang::FunctionDecl::getTemplateSpecializationArgs(), clang::Type::isPointerType(), clang::Type::isReferenceType(), clang::TemplateArgument::Pack, clang::TemplateArgument::pack_elements(), clang::ento::setDynamicTypeAndCastInfo(), clang::ento::DynamicCastInfo::succeeds(), clang::Success, and clang::TemplateArgument::Type.
◆ alignReferenceTypes() ◆ evalNonNullParamNonNullReturn() ◆ evalNonNullParamNullReturn() ◆ evalNullParamNullReturn() ◆ evalZeroParamNonNullReturn() ◆ evalZeroParamNullReturn() ◆ getNoteTag() [1/2] ◆ getNoteTag() [2/2] ◆ isInfeasibleCast()RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4