gcc/ada/checks.adb

4387       OK1 : Boolean;  variable
4408            (Left_Opnd  (N), OK1, Lo_Left,  Hi_Left, Assume_Valid);
4410          if not OK1 then
4415            (Right_Opnd (N), OK1, Lo_Right, Hi_Right, Assume_Valid);
4416          return OK1;
4587               (Right_Opnd (N), OK1, Lor, Hir, Assume_Valid);
4593               (Right_Opnd (N), OK1, Lo_Right, Hi_Right, Assume_Valid);
4595             if OK1 then
4621                   OK1 := False;
4652                   OK1 := False;
4684                   OK1 := False;
4700                     (First (Expressions (N)), OK1, Lor, Hir, Assume_Valid);
4751                        (Type_Low_Bound (Etype (Indx)), OK1, LL, LU,
4754                      if OK1 then
4756                           (Type_High_Bound (Etype (Indx)), OK1, UL, UU,
4759                         if OK1 then
4789                   OK1 := False;
4799                Determine_Range (Expression (N), OK1, Lor, Hir, Assume_Valid);
4814                   Determine_Range_R (Expression (N), OK1, Lor_Real, Hir_Real,
4817                   if OK1 then
4824                OK1 := False;
4830             OK1 := False;
4839       if OK1 then
4926       OK1 : Boolean;  variable
4950            (Left_Opnd  (N), OK1, Lo_Left,  Hi_Left, Assume_Valid);
4952          if not OK1 then
4957            (Right_Opnd (N), OK1, Lo_Right, Hi_Right, Assume_Valid);
4958          return OK1;
5140               (Right_Opnd (N), OK1, Lor, Hir, Assume_Valid);
5146               (Right_Opnd (N), OK1, Lo_Right, Hi_Right, Assume_Valid);
5148             if OK1 then
5249                   OK1 := False;
5259                Determine_Range_R (Expression (N), OK1, Lor, Hir, Assume_Valid);
5271                     (Expression (N), OK1, Lor_Int, Hir_Int, Assume_Valid);
5273                   if OK1 then
5280                OK1 := False;
5286             OK1 := False;
5295       if OK1 then