Skip to content

Commit

Permalink
SVF code formatter
Browse files Browse the repository at this point in the history
  • Loading branch information
yuleisui committed Nov 5, 2024
1 parent 1b11c8c commit f11838c
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion svf/include/Graphs/CallGraph.h
Original file line number Diff line number Diff line change
Expand Up @@ -225,7 +225,7 @@ class CallGraph : public GenericCallGraphTy

/// Whether we have already created this call graph edge
CallGraphEdge* hasGraphEdge(CallGraphNode* src, CallGraphNode* dst,
const CallICFGNode* callIcfgNode) const;
const CallICFGNode* callIcfgNode) const;

/// Add direct call edges
void addDirectCallGraphEdge(const CallICFGNode* call, const SVFFunction* callerFun, const SVFFunction* calleeFun);
Expand Down
4 changes: 2 additions & 2 deletions svf/lib/Graphs/CallGraph.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -96,8 +96,8 @@ void CallGraph::addCallGraphNode(const SVFFunction* fun)
* Whether we have already created this call graph edge
*/
CallGraphEdge* CallGraph::hasGraphEdge(CallGraphNode* src,
CallGraphNode* dst,
const CallICFGNode* callIcfgNode) const
CallGraphNode* dst,
const CallICFGNode* callIcfgNode) const
{
CallGraphEdge edge(src,dst,callIcfgNode);
CallGraphEdge* outEdge = src->hasOutgoingEdge(&edge);
Expand Down
2 changes: 1 addition & 1 deletion svf/lib/Graphs/ThreadCallGraph.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ using namespace SVFUtil;
* Constructor
*/
ThreadCallGraph::ThreadCallGraph(const CallGraph& cg) :
PTACallGraph(cg), tdAPI(ThreadAPI::getThreadAPI())
PTACallGraph(cg), tdAPI(ThreadAPI::getThreadAPI())
{
kind = ThdCallGraph;
DBOUT(DGENERAL, outs() << SVFUtil::pasMsg("Building ThreadCallGraph\n"));
Expand Down

0 comments on commit f11838c

Please sign in to comment.