FlowSensitiveTBHC.cpp File Reference

#include "Util/Options.h"
#include "SVF-FE/DCHG.h"
#include "SVF-FE/CPPUtil.h"
#include "WPA/FlowSensitiveTBHC.h"
#include "WPA/WPAStat.h"
#include "WPA/Andersen.h"

Go to the source code of this file.

Functions
static const DIType *	getVTInitType (const CopySVFGNode *copy, DCHGraph *dchg)

Function Documentation

getVTInitType()

static const DIType* getVTInitType ( const CopySVFGNode *  copy, DCHGraph *  dchg  )

static

Returns whether this instruction initialisates an object's vtable (metadata: ctir.vt.init). Returns the object's type, otherwise, nullptr.

Definition at line 505 of file FlowSensitiveTBHC.cpp.

{
    if (copy->getInst() == nullptr) return nullptr;
    const Instruction *inst = copy->getInst();

    const MDNode *mdNode = inst->getMetadata(cppUtil::ctir::vtInitMDName);
    if (mdNode == nullptr) return nullptr;

    const DIType *type = SVFUtil::dyn_cast<DIType>(mdNode);
    assert(type != nullptr && "TBHC: bad ctir.vt.init metadata");
    return dchg->getCanonicalType(type);
}