Searched refs:HeaderMayThrow (Results 1 – 2 of 2) sorted by relevance
49 HeaderMayThrow = !isGuaranteedToTransferExecutionToSuccessor(Header); in computeLoopSafetyInfo()50 MayThrow = HeaderMayThrow; in computeLoopSafetyInfo()246 return !HeaderMayThrow || in isGuaranteedToExecute()
101 bool HeaderMayThrow = false; // Same as previous, but specific to loop header variable