CheckObjCInstMethSignature.cpp File Reference

#include "ClangSACheckers.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Type.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/Support/raw_ostream.h"

Include dependency graph for CheckObjCInstMethSignature.cpp:

Go to the source code of this file.

Functions
static bool	AreTypesCompatible (QualType Derived, QualType Ancestor, ASTContext &C)
static void	CompareReturnTypes (const ObjCMethodDecl *MethDerived, const ObjCMethodDecl *MethAncestor, BugReporter &BR, ASTContext &Ctx, const ObjCImplementationDecl *ID, const CheckerBase *Checker)
static void	CheckObjCInstMethSignature (const ObjCImplementationDecl *ID, BugReporter &BR, const CheckerBase *Checker)

---

Function Documentation

static bool AreTypesCompatible	(	QualType	Derived,
		QualType	Ancestor,
		ASTContext &	C
	)		[static]

Definition at line 29 of file CheckObjCInstMethSignature.cpp.

References clang::Type::isAnyPointerType(), and clang::ASTContext::typesAreCompatible().

Referenced by CompareReturnTypes().

static void CheckObjCInstMethSignature	(	const ObjCImplementationDecl *	ID,
		BugReporter &	BR,
		const CheckerBase *	Checker
	)		[static]

Definition at line 79 of file CheckObjCInstMethSignature.cpp.

References AttributeLangSupport::C, CompareReturnTypes(), clang::ObjCImplDecl::getClassInterface(), clang::ento::BugReporter::getContext(), clang::ObjCInterfaceDecl::getSuperClass(), clang::ObjCContainerDecl::instance_methods(), and S.

static void CompareReturnTypes	(	const ObjCMethodDecl *	MethDerived,
		const ObjCMethodDecl *	MethAncestor,
		BugReporter &	BR,
		ASTContext &	Ctx,
		const ObjCImplementationDecl *	ID,
		const CheckerBase *	Checker
	)		[static]

Definition at line 40 of file CheckObjCInstMethSignature.cpp.

References AreTypesCompatible(), clang::ento::categories::CoreFoundationObjectiveC, clang::ento::PathDiagnosticLocation::createBegin(), clang::ento::BugReporter::EmitBasicReport(), clang::QualType::getAsString(), clang::ObjCMethodDecl::getClassInterface(), clang::ObjCMethodDecl::getReturnType(), clang::ObjCMethodDecl::getSelector(), clang::ento::BugReporter::getSourceManager(), and clang::Selector::print().

Referenced by CheckObjCInstMethSignature().