Captures regions with an unreachable in the exit block. More...

#include <ScopDetectionDiagnostic.h>

Inheritance diagram for polly::ReportUnreachableInExit:

Public Member Functions
	ReportUnreachableInExit (BasicBlock *BB, DebugLoc DbgLoc)

RejectReason interface
std::string	getRemarkName () const override
	Generate the remark name to identify this remark.

const BasicBlock *	getRemarkBB () const override
	Get the Basic Block containing this remark.

std::string	getMessage () const override
	Generate a reasonable diagnostic message describing this error.

std::string	getEndUserMessage () const override
	Generate a message for the end-user describing this error.

const DebugLoc &	getDebugLoc () const override
	Get the source location of this error.

Public Member Functions inherited from polly::ReportCFG
	ReportCFG (const RejectReasonKind K)

Public Member Functions inherited from polly::RejectReason
	RejectReason (RejectReasonKind K)

virtual	~RejectReason ()=default

RejectReasonKind	getKind () const

virtual std::string	getRemarkName () const =0
	Generate the remark name to identify this remark.

virtual const BasicBlock *	getRemarkBB () const =0
	Get the Basic Block containing this remark.

virtual std::string	getMessage () const =0
	Generate a reasonable diagnostic message describing this error.

virtual std::string	getEndUserMessage () const
	Generate a message for the end-user describing this error.

virtual const DebugLoc &	getDebugLoc () const
	Get the source location of this error.

Static Public Member Functions
LLVM-RTTI interface
static bool	classof (const RejectReason *RR)

Static Public Member Functions inherited from polly::ReportCFG
static bool	classof (const RejectReason *RR)

Private Attributes
BasicBlock *	BB

DebugLoc	DbgLoc

Additional Inherited Members
Static Protected Attributes inherited from polly::RejectReason
static const DebugLoc	Unknown = DebugLoc()

Detailed Description

Captures regions with an unreachable in the exit block.

Definition at line 255 of file ScopDetectionDiagnostic.h.

Constructor & Destructor Documentation

◆ ReportUnreachableInExit()

polly::ReportUnreachableInExit::ReportUnreachableInExit	(	BasicBlock *	BB,
		DebugLoc	DbgLoc
	)

inline

Definition at line 260 of file ScopDetectionDiagnostic.h.

Member Function Documentation

◆ classof()

bool polly::ReportUnreachableInExit::classof ( const RejectReason * RR )

static

Definition at line 238 of file ScopDetectionDiagnostic.cpp.

References polly::RejectReason::getKind(), and polly::UnreachableInExit.

◆ getDebugLoc()

const DebugLoc & polly::ReportUnreachableInExit::getDebugLoc ( ) const

overridevirtual

Get the source location of this error.

Returns: The debug location for this error.

Reimplemented from polly::RejectReason.

Definition at line 232 of file ScopDetectionDiagnostic.cpp.

References DbgLoc.

◆ getEndUserMessage()

std::string polly::ReportUnreachableInExit::getEndUserMessage ( ) const

overridevirtual

Generate a message for the end-user describing this error.

The message provided has to be suitable for the end-user. So it should not reference any LLVM internal data structures or terminology. Ideally, the message helps the end-user to increase the size of the regions amenable to Polly.