Go to the source code of this file.
◆ REGISTER_CHECKER
#define REGISTER_CHECKER |
( |
|
name | ) |
|
Value: mgr.registerChecker<CallAndMessageChecker>(); \
Checker->Filter.Check_##name = true; \
}
CheckName getCurrentCheckName() const
Definition at line 608 of file CallAndMessageChecker.cpp.
◆ describeUninitializedArgumentInCall()
static void describeUninitializedArgumentInCall |
( |
const CallEvent & |
Call, |
|
|
int |
ArgumentNumber, |
|
|
llvm::raw_svector_ostream & |
Os |
|
) |
| |
|
static |
Definition at line 116 of file CallAndMessageChecker.cpp.
References clang::ento::CE_Block, clang::ento::CE_ObjCMessage, clang::ASTContext::CharTy, clang::ento::CheckerContext::emitReport(), clang::ento::CheckerContext::generateErrorNode(), clang::ento::SVal::getAs(), clang::ento::SVal::getAsRegion(), clang::Type::getAsStructureType(), clang::ento::CheckerContext::getASTContext(), clang::RecordDecl::getDefinition(), clang::ento::CallEvent::getKind(), clang::ObjCMethodCall::getMessageKind(), clang::Type::getPointeeType(), clang::ento::CheckerContext::getState(), clang::ValueDecl::getType(), clang::ento::TypedValueRegion::getValueType(), clang::QualType::isConstQualified(), clang::Type::isPointerType(), clang::Type::isReferenceType(), clang::ObjCMethodCall::isSetter(), clang::ento::SVal::isUndef(), clang::OCM_Message, clang::OCM_PropertyAccess, clang::OCM_Subscript, State, clang::T, and clang::ento::bugreporter::trackNullOrUndefValue().
◆ supportsNilWithFloatRet()
static bool supportsNilWithFloatRet |
( |
const llvm::Triple & |
triple | ) |
|
|
static |
Definition at line 542 of file CallAndMessageChecker.cpp.
References clang::ento::CheckerContext::addTransition(), clang::ASTContext::DoubleTy, clang::ASTContext::FloatTy, clang::ento::CheckerContext::generateErrorNode(), clang::ento::CheckerContext::getASTContext(), clang::ASTContext::getCanonicalType(), clang::ento::CheckerContext::getLocationContext(), clang::ObjCMethodCall::getOriginExpr(), clang::LocationContext::getParentMap(), clang::ento::CheckerContext::getSValBuilder(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), clang::CanQual< T >::getTypePtr(), clang::ASTContext::getTypeSize(), clang::ParentMap::isConsumedExpr(), clang::Type::isReferenceType(), clang::ASTContext::LongDoubleTy, clang::ASTContext::LongLongTy, clang::ento::SValBuilder::makeZeroVal(), clang::CodeGen::state, clang::ASTContext::UnsignedLongLongTy, clang::ASTContext::VoidPtrTy, and clang::ASTContext::VoidTy.