Remove SVFG::fromValue.

luhsra · May 9, 2022 · cfb6657 · cfb6657
1 parent 71ba6bd
commit cfb6657
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 27 deletions.
diff --git a/include/Graphs/SVFG.h b/include/Graphs/SVFG.h
@@ -173,11 +173,6 @@ class SVFG : public VFG
         return getSVFGNode(getDef(pagNode));
     }
 
-    /// Return the corresponding SVFGNodes to a given llvm::Value.
-    /// return an empty list, if the no mapping is possible
-    std::set<const SVFGNode*> fromValue(const llvm::Value* value) const;
-
-
     /// Perform statistics
     void performStat();
 

diff --git a/lib/Graphs/SVFG.cpp b/lib/Graphs/SVFG.cpp
@@ -571,28 +571,6 @@ void SVFG::dump(const std::string& file, bool simple)
     GraphPrinter::WriteGraphToFile(outs(), file, this, simple);
 }
 
-std::set<const SVFGNode*> SVFG::fromValue(const llvm::Value* value) const
-{
-    SVFIR* pag = SVFIR::getPAG();
-    std::set<const SVFGNode*> ret;
-    // search for all PAGEdges first
-    for (const PAGEdge* pagEdge : pag->getValueEdges(value))
-    {
-        PAGEdgeToStmtVFGNodeMapTy::const_iterator it = PAGEdgeToStmtVFGNodeMap.find(pagEdge);
-        if (it != PAGEdgeToStmtVFGNodeMap.end())
-        {
-            ret.emplace(it->second);
-        }
-    }
-    // add all PAGNodes
-    PAGNode* pagNode = pag->getGNode(pag->getValueNode(value));
-    if(hasDef(pagNode))
-    {
-        ret.emplace(getDefSVFGNode(pagNode));
-    }
-    return ret;
-}
-
 /**
  * Get all inter value flow edges at this indirect call site, including call and return edges.
  */