SVF::SVFArgument Class Reference

#include <SVFLLVMValue.h>

Inheritance diagram for SVF::SVFArgument:

Public Member Functions
	SVFArgument (const SVFType *ty, const SVFFunction *fun, u32_t argNo, bool uncalled)
	SVFArgument ()=delete
const SVFFunction *	getParent () const
u32_t	getArgNo () const
bool	isArgOfUncalledFunction () const
Public Member Functions inherited from SVF::SVFLLVMValue
	SVFLLVMValue ()=delete
virtual	~SVFLLVMValue ()=default
GNodeK	getKind () const
	Get the type of this SVFValue.
const std::string &	getName () const
void	setName (std::string &&n)
virtual const SVFType *	getType () const
bool	isConstDataOrAggData () const
bool	ptrInUncalledFunction () 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.

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

Private Attributes
const SVFFunction *	fun
u32_t	argNo
bool	uncalled

Friends
class	SVFIRWriter
class	SVFIRReader

Additional Inherited Members
Public Types inherited from SVF::SVFLLVMValue
enum	SVFValKind {   SVFVal , SVFFunc , SVFBB , SVFInst ,   SVFCall , SVFVCall , SVFGlob , SVFArg ,   SVFConst , SVFConstData , SVFMetaAsValue , SVFOther }
typedef s64_t	GNodeK
Protected Member Functions inherited from SVF::SVFLLVMValue
	SVFLLVMValue (const SVFType *ty, SVFValKind k)
	Constructor without name.
void	setConstDataOrAggData ()
void	setPtrInUncalledFunction ()
Protected Attributes inherited from SVF::SVFLLVMValue
const SVFType *	type
	Type of this SVFValue.
std::string	name
	Short name of value for printing & debugging.
std::string	sourceLoc

Detailed Description

Definition at line 563 of file SVFLLVMValue.h.

Constructor & Destructor Documentation

SVFArgument() [1/2]

SVF::SVFArgument::SVFArgument ( const SVFType *  ty, const SVFFunction *  fun, u32_t  argNo, bool  uncalled  )

inline

Definition at line 572 of file SVFLLVMValue.h.

        : SVFLLVMValue(ty, SVFLLVMValue::SVFArg), fun(fun), argNo(argNo),
          uncalled(uncalled)
    {
    }

SVFArgument() [2/2]

SVF::SVFArgument::SVFArgument ( )

delete

Member Function Documentation

classof()

static bool SVF::SVFArgument::classof ( const SVFLLVMValue *  node )

inlinestatic

Definition at line 597 of file SVFLLVMValue.h.

    {
        return node->getKind() == SVFArg;
    }

getArgNo()

u32_t SVF::SVFArgument::getArgNo ( ) const

inline

Return the index of this formal argument in its containing function. For example in "void foo(int a, float b)" a is 0 and b is 1.

Definition at line 587 of file SVFLLVMValue.h.

    {
        return argNo;
    }

getParent()

const SVFFunction * SVF::SVFArgument::getParent ( ) const

inline

Definition at line 580 of file SVFLLVMValue.h.

    {
        return fun;
    }

isArgOfUncalledFunction()

bool SVF::SVFArgument::isArgOfUncalledFunction ( ) const

inline

Definition at line 592 of file SVFLLVMValue.h.

    {
        return uncalled;
    }

Friends And Related Symbol Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 566 of file SVFLLVMValue.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 565 of file SVFLLVMValue.h.

Member Data Documentation

argNo

u32_t SVF::SVFArgument::argNo

private

Definition at line 569 of file SVFLLVMValue.h.

fun

const SVFFunction* SVF::SVFArgument::fun

private

Definition at line 568 of file SVFLLVMValue.h.

uncalled

bool SVF::SVFArgument::uncalled

private

Definition at line 570 of file SVFLLVMValue.h.

---

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

• /home/runner/work/SVF/SVF/svf-llvm/include/SVF-LLVM/SVFLLVMValue.h