Searched refs:cond_returns_true (Results 1 – 1 of 1) sorted by relevance
626 bool cond_returns_true = cond_result_pred.GetFirstElement<bool>(); in ComputeWhileLoopTripCountUpperBound() local627 if (!cond_returns_true) { in ComputeWhileLoopTripCountUpperBound()