Searched refs:ForwardMap (Results 1 – 3 of 3) sorted by relevance
344 InterExplodedGraphMap *ForwardMap, in trim() argument354 Pass2Ty &Pass2 = ForwardMap ? *ForwardMap : Pass2Scratch; in trim()
2336 InterExplodedGraphMap ForwardMap; in TrimmedGraph() local2337 G = OriginalGraph->trim(Nodes, &ForwardMap, &InverseMap); in TrimmedGraph()2345 if (const ExplodedNode *NewNode = ForwardMap.lookup(Nodes[i])) { in TrimmedGraph()
400 InterExplodedGraphMap *ForwardMap = nullptr,