Home | History | Annotate | Download | only in Core

Lines Matching refs:originalNode

1485     const ExplodedNode *originalNode = nodes[nodeIndex];
1486 originalNode)) {
1488       IndexMap[originalNode] = nodeIndex;