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