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

Method addThreadJoinEdgeSetMap

svf/include/Graphs/ThreadCallGraph.h:354–361  ·  view source on GitHub ↗

map call instruction to its PTACallGraphEdge map

Source from the content-addressed store, hash-verified

352
353 /// map call instruction to its PTACallGraphEdge map
354 inline void addThreadJoinEdgeSetMap(const CallICFGNode* cs, ThreadJoinEdge* edge)
355 {
356 if(edge!=nullptr)
357 {
358 callinstToThreadJoinEdgesMap[cs].insert(edge);
359 callinstToCallGraphEdgesMap[cs].insert(edge);
360 }
361 }
362
363 /// map call instruction to its PTACallGraphEdge map
364 inline void addHareParForEdgeSetMap(const CallICFGNode* cs, HareParForEdge* edge)

Callers

nothing calls this directly

Calls 1

insertMethod · 0.80

Tested by

no test coverage detected