Lines Matching refs:Initial
1283 // The initial traversal does not capture back-edges, so those need to be
2289 // to initial lockset. Also turn off checking for lock and unlock functions.
2344 // Use the default initial lockset in case there are no predecessors.
2493 CFGBlockInfo *Initial = &BlockInfo[CFGraph->getEntry().getBlockID()];
2501 intersectAndWarn(Initial->EntrySet, Final->ExitSet,
