#include <SVFValue.h>

Inheritance diagram for SVF::SVFCallInst:

Public Member Functions
	SVFCallInst (const SVFType ty, const SVFBasicBlock b, bool va, bool tm, SVFValKind k=SVFCall)

	SVFCallInst (void)=delete

u32_t	arg_size () const

bool	arg_empty () const

const SVFValue *	getArgOperand (u32_t i) const

u32_t	getNumArgOperands () const

const SVFValue *	getCalledOperand () const

bool	isVarArg () const

const SVFFunction *	getCalledFunction () const

const SVFFunction *	getCaller () const

Public Member Functions inherited from SVF::SVFInstruction
	SVFInstruction (const SVFType ty, const SVFBasicBlock b, bool tm, bool isRet, SVFValKind k=SVFInst)
	return true if this is an return instruction of a function More...

	SVFInstruction (void)=delete

const SVFBasicBlock *	getParent () const

const SVFFunction *	getFunction () const

bool	isRetInst () const

Public Member Functions inherited from SVF::SVFValue
	SVFValue ()=delete

virtual	~SVFValue ()=default

GNodeK	getKind () const
	Get the type of this SVFValue. More...

const std::string &	getName () const

void	setName (const std::string &n)

void	setName (std::string &&n)

virtual const SVFType *	getType () const

bool	isConstDataOrAggData () const

bool	ptrInUncalledFunction () const

bool	isblackHole () const

bool	isNullPtr () const

virtual void	setSourceLoc (const std::string &sourceCodeInfo)

virtual const std::string	getSourceLoc () const

std::string	toString () const
	Needs to be implemented by a SVF front end. More...

Static Public Member Functions
static bool	classof (const SVFValue *node)

static bool	classof (const SVFInstruction *node)

Static Public Member Functions inherited from SVF::SVFInstruction
static bool	classof (const SVFValue *node)

Protected Member Functions

void	addArgument (const SVFValue *a)
	attributes to be set only through Module builders e.g., LLVMModule More...

void	setCalledOperand (const SVFValue *v)

Protected Member Functions inherited from SVF::SVFValue
	SVFValue (const SVFType *ty, SVFValKind k)
	Constructor without name. More...

void	setConstDataOrAggData ()

void	setPtrInUncalledFunction ()

Private Attributes
std::vector< const SVFValue * >	args

bool	varArg

const SVFValue *	calledVal

Friends
class	SVFIRWriter

class	SVFIRReader

class	LLVMModuleSet

class	SVFIRBuilder

Additional Inherited Members
Public Types inherited from SVF::SVFValue
enum	SVFValKind { SVFVal , SVFFunc , SVFBB , SVFInst , SVFCall , SVFVCall , SVFGlob , SVFArg , SVFConst , SVFConstData , SVFConstInt , SVFConstFP , SVFNullPtr , SVFBlackHole , SVFMetaAsValue , SVFOther }

typedef s64_t	GNodeK

Protected Attributes inherited from SVF::SVFValue
const SVFType *	type
	Type of this SVFValue. More...

std::string	name
	Short name of value for printing & debugging. More...

std::string	sourceLoc

Detailed Description

Definition at line 664 of file SVFValue.h.

Constructor & Destructor Documentation

◆ SVFCallInst() [1/2]

SVF::SVFCallInst::SVFCallInst	(	const SVFType *	ty,
		const SVFBasicBlock *	b,
		bool	va,
		bool	tm,
		SVFValKind	k = `SVFCall`
	)

inline

Definition at line 689 of file SVFValue.h.

                                                                                                      :
         SVFInstruction(ty, b, tm, false, k), varArg(va), calledVal(nullptr)
     {
     }

◆ SVFCallInst() [2/2]

SVF::SVFCallInst::SVFCallInst ( void )

delete

Member Function Documentation

◆ addArgument()

void SVF::SVFCallInst::addArgument ( const SVFValue * a )

inlineprotected

attributes to be set only through Module builders e.g., LLVMModule

Definition at line 678 of file SVFValue.h.

     {
         args.push_back(a);
     }

◆ arg_empty()

bool SVF::SVFCallInst::arg_empty ( ) const

inline

Definition at line 707 of file SVFValue.h.

     {
         return args.empty();
     }

◆ arg_size()

u32_t SVF::SVFCallInst::arg_size ( ) const

inline

Definition at line 703 of file SVFValue.h.

     {
         return args.size();
     }

◆ classof() [1/2]

static bool SVF::SVFCallInst::classof ( const SVFInstruction * node )

inlinestatic

Definition at line 699 of file SVFValue.h.

     {
         return node->getKind() == SVFCall || node->getKind() == SVFVCall;
     }

◆ classof() [2/2]

static bool SVF::SVFCallInst::classof ( const SVFValue * node )

inlinestatic

Definition at line 695 of file SVFValue.h.

     {
         return node->getKind() == SVFCall || node->getKind() == SVFVCall;
     }

◆ getArgOperand()

const SVFValue* SVF::SVFCallInst::getArgOperand ( u32_t i ) const

inline

Definition at line 711 of file SVFValue.h.

     {
         assert(i < arg_size() && "out of bound access of the argument");
         return args[i];
     }

◆ getCalledFunction()

const SVFFunction* SVF::SVFCallInst::getCalledFunction ( ) const

inline

Definition at line 728 of file SVFValue.h.

     {
         return SVFUtil::dyn_cast<SVFFunction>(calledVal);
     }

◆ getCalledOperand()

const SVFValue* SVF::SVFCallInst::getCalledOperand ( ) const

inline

Definition at line 720 of file SVFValue.h.

     {
         return calledVal;
     }

◆ getCaller()

const SVFFunction* SVF::SVFCallInst::getCaller ( ) const

inline

Definition at line 732 of file SVFValue.h.

     {
         return getFunction();
     }

◆ getNumArgOperands()

u32_t SVF::SVFCallInst::getNumArgOperands ( ) const

inline

Definition at line 716 of file SVFValue.h.

     {
         return arg_size();
     }

◆ isVarArg()

bool SVF::SVFCallInst::isVarArg ( ) const

inline

Definition at line 724 of file SVFValue.h.

     {
         return varArg;
     }

◆ setCalledOperand()

void SVF::SVFCallInst::setCalledOperand ( const SVFValue * v )

inlineprotected

Definition at line 682 of file SVFValue.h.

     {
         calledVal = v;
     }

Friends And Related Function Documentation

◆ LLVMModuleSet

friend class LLVMModuleSet

friend

Definition at line 668 of file SVFValue.h.

◆ SVFIRBuilder

friend class SVFIRBuilder

friend

Definition at line 669 of file SVFValue.h.

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 667 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 666 of file SVFValue.h.

Member Data Documentation

◆ args

std::vector<const SVFValue*> SVF::SVFCallInst::args

private

Definition at line 672 of file SVFValue.h.

◆ calledVal

const SVFValue* SVF::SVFCallInst::calledVal

private

Definition at line 674 of file SVFValue.h.

◆ varArg

bool SVF::SVFCallInst::varArg

private

Definition at line 673 of file SVFValue.h.

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

/home/runner/work/SVF/SVF/svf/include/SVFIR/SVFValue.h

Public Member Functions

Static Public Member Functions

Protected Member Functions

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ SVFCallInst() [1/2]

◆ SVFCallInst() [2/2]

Member Function Documentation

◆ addArgument()

◆ arg_empty()

◆ arg_size()

◆ classof() [1/2]

◆ classof() [2/2]

◆ getArgOperand()

◆ getCalledFunction()

◆ getCalledOperand()

◆ getCaller()

◆ getNumArgOperands()

◆ isVarArg()

◆ setCalledOperand()

Friends And Related Function Documentation

◆ LLVMModuleSet

◆ SVFIRBuilder

◆ SVFIRReader

◆ SVFIRWriter

Member Data Documentation

◆ args

◆ calledVal

◆ varArg