Lines Matching refs:UB
1243 Expr *UB;
1247 /// Var < UB
1248 /// Var <= UB
1249 /// UB > Var
1250 /// UB >= Var
1261 UB(nullptr), Step(nullptr), TestIsLessOp(false), TestIsStrictOp(false),
1266 /// \brief Check test-expr for canonical form, save upper-bound (#UB), flags
1292 assert(!LB && !UB && !Step);
1296 (UB && UB->isValueDependent()) || (Step && Step->isValueDependent());
1301 assert(Var == nullptr && LB == nullptr && UB == nullptr && Step == nullptr &&
1314 assert(Var != nullptr && LB != nullptr && UB == nullptr && Step == nullptr &&
1318 UB = NewUB;
1357 if (UB && (IsConstZero ||
1435 // Check test-expr for canonical form, save upper-bound UB, flags for