clang  6.0.0svn
Functions
DynamicTypeChecker.cpp File Reference
#include "ClangSACheckers.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/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeMap.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
Include dependency graph for DynamicTypeChecker.cpp:

Go to the source code of this file.

Functions

static bool hasDefinition (const ObjCObjectPointerType *ObjPtr)
 

Function Documentation

◆ hasDefinition()

static bool hasDefinition ( const ObjCObjectPointerType ObjPtr)
static

Definition at line 152 of file DynamicTypeChecker.cpp.

References clang::ASTContext::canAssignObjCInterfaces(), clang::ento::DynamicTypeInfo::canBeASubClass(), clang::Type::getAs(), clang::ento::SVal::getAsRegion(), clang::ento::CheckerContext::getASTContext(), clang::CastExpr::getCastKind(), clang::ObjCInterfaceDecl::getDefinition(), clang::ento::getDynamicTypeInfo(), clang::ObjCObjectPointerType::getInterfaceDecl(), clang::ento::CheckerContext::getState(), clang::ento::CheckerContext::getSVal(), clang::ento::DynamicTypeInfo::getType(), clang::Expr::getType(), clang::ObjCObjectPointerType::isSpecialized(), clang::ento::DynamicTypeInfo::isValid(), clang::ento::CheckerManager::registerChecker(), and clang::ObjCObjectPointerType::stripObjCKindOfTypeAndQuals().

Referenced by clang::ObjCInterfaceDecl::all_declared_ivar_begin(), clang::ObjCInterfaceDecl::all_referenced_protocol_begin(), clang::ObjCInterfaceDecl::all_referenced_protocol_end(), clang::CXXRecordDecl::calculateInheritanceModel(), clang::ObjCInterfaceDecl::ClassImplementsProtocol(), clang::ObjCInterfaceDecl::FindCategoryDeclaration(), clang::ObjCInterfaceDecl::FindPropertyVisibleInPrimaryClass(), clang::ObjCInterfaceDecl::getCategoryListRaw(), clang::ObjCInterfaceDecl::getDefinition(), clang::ObjCProtocolDecl::getDefinition(), clang::ObjCInterfaceDecl::getEndOfDefinitionLoc(), clang::ObjCInterfaceDecl::getReferencedProtocols(), clang::ObjCProtocolDecl::getReferencedProtocols(), clang::ObjCInterfaceDecl::getSuperClass(), clang::ObjCInterfaceDecl::getSuperClassTInfo(), clang::VarDecl::hasDefinition(), clang::ObjCInterfaceDecl::isDesignatedInitializer(), clang::ObjCInterfaceDecl::isImplicitInterfaceDecl(), clang::VarDecl::isThisDeclarationADefinition(), clang::ObjCInterfaceDecl::lookupInheritedClass(), clang::ObjCInterfaceDecl::lookupInstanceVariable(), clang::ObjCInterfaceDecl::lookupMethod(), clang::ObjCInterfaceDecl::lookupPrivateMethod(), clang::CXXRecordDecl::nullFieldOffsetIsZero(), clang::ObjCInterfaceDecl::protocol_begin(), clang::ObjCProtocolDecl::protocol_begin(), clang::ObjCInterfaceDecl::protocol_end(), clang::ObjCProtocolDecl::protocol_end(), clang::ObjCInterfaceDecl::protocol_loc_begin(), clang::ObjCProtocolDecl::protocol_loc_begin(), clang::ObjCInterfaceDecl::protocol_loc_end(), clang::ObjCProtocolDecl::protocol_loc_end(), clang::ObjCProtocolDecl::protocol_size(), clang::ObjCInterfaceDecl::setExternallyCompleted(), and clang::ObjCProtocolDecl::setProtocolList().