Lines Matching refs:High_Bound

274             Pred_Hi := Expr_Value (High_Bound (Pred));
365                Next_Hi := Expr_Value (High_Bound (Pred));
563                  and then Nkind (Original_Node (High_Bound (C))) = N_Identifier
565                  and then Compile_Time_Known_Value (High_Bound (C))
567                  and then Expr_Value (High_Bound (C)) = Hi
569                   Error_Msg_Node_2 := Original_Node (High_Bound (C));
740             Hi := Expr_Value (High_Bound (Set));
1035                    High_Bound => Hi);
1041                    High_Bound => Lit_Of (Value2));
1516                if Expr_Value (High_Bound (P)) >= Expr_Value (Lo)
1526                   if Expr_Value (High_Bound (C)) > Expr_Value (Hi) then
1530                   Check (C, Low_Bound (C), High_Bound (C));
1615                      Check (Choice, Low_Bound (Choice), High_Bound (Choice));
1676                            H : constant Node_Id := High_Bound (R);