SVF::RetMU< Cond > Class Template Reference

#include <MSSAMuChi.h>

Inheritance diagram for SVF::RetMU< Cond >:

Public Member Functions
	RetMU (const SVFFunction *f, const MemRegion *m, Cond c=true)
	Constructor/Destructor for MU.
virtual	~RetMU ()
const SVFFunction *	getFunction () const
	Return function.
virtual void	dump ()
	Print MU.
Public Member Functions inherited from SVF::MSSAMU< Cond >
	MSSAMU (MUTYPE t, const MemRegion *m, Cond c)
	Constructor/Destructor for MU.
virtual	~MSSAMU ()
const MemRegion *	getMR () const
	Return MR.
MUTYPE	getType () const
	Return type.
void	setVer (MRVer *v)
	Set Ver.
MRVer *	getMRVer () const
	Get Ver.
Cond	getCond () const
	Return condition.
bool	operator< (const MSSAMU &rhs) const
	Avoid adding duplicated mus.

Static Public Member Functions
static bool	classof (const RetMU *)
	Methods for support type inquiry through isa, cast, and dyn_cast:
static bool	classof (const MSSAMU< Cond > *mu)

Private Attributes
const SVFFunction *	fun

Additional Inherited Members
Public Types inherited from SVF::MSSAMU< Cond >
enum	MUTYPE { LoadMSSAMU , CallMSSAMU , RetMSSAMU }
Protected Attributes inherited from SVF::MSSAMU< Cond >
MUTYPE	type
const MemRegion *	mr
MRVer *	ver
Cond	cond

Detailed Description

template<class Cond>
class SVF::RetMU< Cond >

RetMU is annotated at function return, representing memory objects returns to callers

Definition at line 277 of file MSSAMuChi.h.

Constructor & Destructor Documentation

RetMU()

template<class Cond >

SVF::RetMU< Cond >::RetMU ( const SVFFunction *  f, const MemRegion *  m, Cond  c = true  )

inline

Constructor/Destructor for MU.

Definition at line 284 of file MSSAMuChi.h.

                                                                   :
        MSSAMU<Cond>(MSSAMU<Cond>::RetMSSAMU,m,c), fun(f)
    {
    }

~RetMU()

template<class Cond >

virtual SVF::RetMU< Cond >::~RetMU ( )

inlinevirtual

Definition at line 288 of file MSSAMuChi.h.

{}

Member Function Documentation

classof() [1/2]

template<class Cond >

static bool SVF::RetMU< Cond >::classof ( const MSSAMU< Cond > *  mu )

inlinestatic

Definition at line 303 of file MSSAMuChi.h.

    {
        return mu->getType() == MSSAMU<Cond>::RetMSSAMU;
    }

classof() [2/2]

template<class Cond >

static bool SVF::RetMU< Cond >::classof ( const RetMU< Cond > *  )

inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 299 of file MSSAMuChi.h.

    {
        return true;
    }

dump()

template<class Cond >

virtual void SVF::RetMU< Cond >::dump ( )

inlinevirtual

Print MU.

Reimplemented from SVF::MSSAMU< Cond >.

Definition at line 310 of file MSSAMuChi.h.

    {
        SVFUtil::outs() << "RETMU(MR_" << this->getMR()->getMRID() << "V_" << this->getMRVer()->getSSAVersion() << ") \t" <<
                        this->getMR()->dumpStr() << "\n";
    }

getFunction()

template<class Cond >

const SVFFunction * SVF::RetMU< Cond >::getFunction ( ) const

inline

Return function.

Definition at line 292 of file MSSAMuChi.h.

    {
        return fun;
    }

Member Data Documentation

fun

template<class Cond >

const SVFFunction* SVF::RetMU< Cond >::fun

private

Definition at line 280 of file MSSAMuChi.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/MSSA/MSSAMuChi.h