Searched refs:maybeCstUb (Results 1 – 1 of 1) sorted by relevance
54 auto maybeCstUb = extractConstantIndex(ub); in createFoldedSLE() local55 if (maybeCstV && maybeCstUb && *maybeCstV < *maybeCstUb) in createFoldedSLE()