MCPcopy Create free account
hub / github.com/SVF-tools/SVF / addHareParForEdgeSetMap

Method addHareParForEdgeSetMap

svf/include/Graphs/ThreadCallGraph.h:364–371  ·  view source on GitHub ↗

map call instruction to its PTACallGraphEdge map

Source from the content-addressed store, hash-verified

362
363 /// map call instruction to its PTACallGraphEdge map
364 inline void addHareParForEdgeSetMap(const CallICFGNode* cs, HareParForEdge* edge)
365 {
366 if(edge!=nullptr)
367 {
368 callinstToHareParForEdgesMap[cs].insert(edge);
369 callinstToCallGraphEdgesMap[cs].insert(edge);
370 }
371 }
372
373 /// has thread join edge
374 inline ThreadJoinEdge* hasThreadJoinEdge(const CallICFGNode* call, CallGraphNode* joinFunNode, CallGraphNode* threadRoutineFunNode, CallSiteID csId) const

Callers

nothing calls this directly

Calls 1

insertMethod · 0.80

Tested by

no test coverage detected