Searched refs:dfsIdx (Results 1 – 1 of 1) sorted by relevance
585 int dfsIdx = module->GetDFSIndex(); in InnerModuleInstantiation() local586 ASSERT(dfsAncIdx <= dfsIdx); in InnerModuleInstantiation()588 if (dfsAncIdx == dfsIdx) { in InnerModuleInstantiation()999 int dfsIdx = module->GetDFSIndex(); in InnerModuleEvaluation() local1000 ASSERT(dfsAncIdx <= dfsIdx); in InnerModuleEvaluation()1002 if (dfsAncIdx == dfsIdx) { in InnerModuleEvaluation()