Searched refs:ForwardMap (Results 1 – 3 of 3) sorted by relevance
341 InterExplodedGraphMap *ForwardMap, in trim() argument352 Pass2Ty &Pass2 = ForwardMap ? *ForwardMap : Pass2Scratch; in trim()
2856 InterExplodedGraphMap ForwardMap; in TrimmedGraph() local2857 G = OriginalGraph->trim(Nodes, &ForwardMap, &InverseMap); in TrimmedGraph()2865 if (const ExplodedNode *NewNode = ForwardMap.lookup(Nodes[i])) { in TrimmedGraph()
375 InterExplodedGraphMap *ForwardMap = nullptr,