Searched refs:AggressiveUndef (Results 1 – 2 of 2) sorted by relevance
123 bool AggressiveUndef) { in getFeasibleSuccessors() argument134 if (AggressiveUndef) in getFeasibleSuccessors()176 if (AggressiveUndef) in getFeasibleSuccessors()206 bool AggressiveUndef) { in isEdgeFeasible() argument209 getFeasibleSuccessors(*TI, SuccFeasible, AggressiveUndef); in isEdgeFeasible()
171 bool AggressiveUndef = false);196 bool AggressiveUndef);