Searched refs:ForwardMap (Results 1 – 3 of 3) sorted by relevance
349 InterExplodedGraphMap *ForwardMap, in trim() argument360 Pass2Ty &Pass2 = ForwardMap ? *ForwardMap : Pass2Scratch; in trim()
2851 InterExplodedGraphMap ForwardMap; in TrimmedGraph() local2852 G = OriginalGraph->trim(Nodes, &ForwardMap, &InverseMap); in TrimmedGraph()2860 if (const ExplodedNode *NewNode = ForwardMap.lookup(Nodes[i])) { in TrimmedGraph()
385 InterExplodedGraphMap *ForwardMap = nullptr,