Captures errors when loop has no exit. More...

#include <ScopDetectionDiagnostic.h>

Inheritance diagram for polly::ReportLoopHasNoExit:

Public Member Functions
	ReportLoopHasNoExit (Loop *L)
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.
const DebugLoc &	getDebugLoc () const override
	Get the source location of this error.
std::string	getEndUserMessage () const override
	Generate a message for the end-user describing this error.
Public Member Functions inherited from polly::RejectReason
	RejectReason (RejectReasonKind K)
virtual	~RejectReason ()=default
RejectReasonKind	getKind () const

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

Private Attributes
Loop *	L
	The loop that has no exit.
const DebugLoc	Loc

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

Detailed Description

Captures errors when loop has no exit.

Definition at line 589 of file ScopDetectionDiagnostic.h.

Constructor & Destructor Documentation

◆ ReportLoopHasNoExit()

polly::ReportLoopHasNoExit::ReportLoopHasNoExit ( Loop * L )

inline

Definition at line 596 of file ScopDetectionDiagnostic.h.

References L, Loc, polly::LoopHasNoExit, and polly::RejectReason::RejectReason().

Member Function Documentation

◆ classof()

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

static

Definition at line 521 of file ScopDetectionDiagnostic.cpp.

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

◆ getDebugLoc()

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

overridevirtual

Get the source location of this error.

Returns: The debug location for this error.

Reimplemented from polly::RejectReason.

Definition at line 525 of file ScopDetectionDiagnostic.cpp.

References Loc.

◆ getEndUserMessage()

std::string polly::ReportLoopHasNoExit::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.