class LoopExit

Declaration

class LoopExit : public ProgramPoint { /* full declaration omitted */ };

Description

Represents a point when we exit a loop. When this ProgramPoint is encountered we can be sure that the symbolic execution of the corresponding LoopStmt is finished on the given path. Note: It is possible to encounter a LoopExit element when we haven't even encountered the loop itself. At the current state not all loop exits will result in a LoopExit program point.

Declared at: clang/include/clang/Analysis/ProgramPoint.h:712

Inherits from: ProgramPoint

Member Variables

Method Overview

• public LoopExit(const clang::Stmt * LoopStmt, const clang::LocationContext * LC)
• private LoopExit()
• public const clang::Stmt * getLoopStmt() const
• private static bool isKind(const clang::ProgramPoint & Location)

Inherited from ProgramPoint:

• public Profile
• public castAs
• public dump
• public getAs
• protected getData1
• protected getData2
• public getHashValue
• public getKind
• public getLocationContext
• public getProgramPoint
• public getStackFrame
• public getTag
• public isPurgeKind
• public printJson
• protected setData2
• public withTag

Methods

¶LoopExit(const clang::Stmt* LoopStmt,
         const clang::LocationContext* LC)

Declared at: clang/include/clang/Analysis/ProgramPoint.h:714

Parameters

const clang::Stmt* LoopStmt

const clang::LocationContext* LC

¶LoopExit()

Declared at: clang/include/clang/Analysis/ProgramPoint.h:723

¶const clang::Stmt* getLoopStmt() const

Declared at: clang/include/clang/Analysis/ProgramPoint.h:717

¶static bool isKind(
    const clang::ProgramPoint& Location)

Declared at: clang/include/clang/Analysis/ProgramPoint.h:724

Parameters

const clang::ProgramPoint& Location