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