Lines Matching refs:EdgeExec
820 if (!EdgeExec.count(CFGEdge(PredN, ThisN))) {1046 EdgeExec.clear();1058 if (EdgeExec.count(Edge))1060 EdgeExec.insert(Edge);