diff --git a/svf/lib/SVFIR/SVFValue.cpp b/svf/lib/SVFIR/SVFValue.cpp index d7b8d1d81..b885b9f1b 100644 --- a/svf/lib/SVFIR/SVFValue.cpp +++ b/svf/lib/SVFIR/SVFValue.cpp @@ -1,16 +1,10 @@ #include "SVFIR/SVFValue.h" #include "Util/SVFUtil.h" +#include "Graphs/GenericGraph.h" using namespace SVF; using namespace SVFUtil; -__attribute__((weak)) -std::string SVFValue::toString() const -{ - assert("SVFValue::toString should be implemented or supported by fronted" && false); - abort(); -} - /// Add field (index and offset) with its corresponding type void StInfo::addFldWithType(u32_t fldIdx, const SVFType* type, u32_t elemIdx) { @@ -274,3 +268,17 @@ SVFInstruction::SVFInstruction(const SVFType* ty, const SVFBasicBlock* b, : SVFValue(ty, k), bb(b), terminator(tm), ret(isRet) { } + +__attribute__((weak)) +std::string SVFValue::toString() const +{ + assert("SVFValue::toString should be implemented or supported by fronted" && false); + abort(); +} + +__attribute__((weak)) +const std::string SVFBaseNode::valueOnlyToString() const +{ + assert("SVFBaseNode::valueOnlyToString should be implemented or supported by fronted" && false); + abort(); +} \ No newline at end of file diff --git a/svf/lib/Util/SVFUtil.cpp b/svf/lib/Util/SVFUtil.cpp index 46cf5281f..f9cb3afd8 100644 --- a/svf/lib/Util/SVFUtil.cpp +++ b/svf/lib/Util/SVFUtil.cpp @@ -396,11 +396,4 @@ bool SVFUtil::isRetInstNode(const ICFGNode* node) bool SVFUtil::isProgExitCall(const CallICFGNode* cs) { return isProgExitFunction(cs->getCalledFunction()); -} - -__attribute__((weak)) -const std::string SVFBaseNode::valueOnlyToString() const -{ - assert("SVFBaseNode::valueOnlyToString should be implemented or supported by fronted" && false); - abort(); } \ No newline at end of file