Lines Matching refs:Uint_0
45 Uint_Int_First : Uint := Uint_0;
218 while K /= Uint_0 loop
299 if A mod T16 /= Uint_0 then
310 if A mod Uint_2 /= Uint_0 then
387 if Input < Uint_0 then
1007 if Right < Uint_0 then
1036 elsif Int (Left) = Int (Uint_0) then
1040 elsif Direct (Right) and then Int (Right) = Int (Uint_0) then
1146 return Uint_0;
1232 pragma Assert (Right /= Uint_0);
1257 return Uint_0;
1470 pragma Assert (Right >= Uint_0);
1474 if Right = Uint_0 then
1479 elsif Left = Uint_0 then
1480 return Uint_0;
1553 exit when N = Uint_0;
1681 pragma Assert (Vin >= Uint_0);
1690 if V = Uint_0 then
1829 pragma Assert (Uint_Int_First /= Uint_0);
2015 if (Left < Uint_0) = (Right < Uint_0)
2016 or else Urem = Uint_0
2217 pragma Assert (Right /= Uint_0);
2231 if Left < Uint_0 then
2244 return Uint_0;
2512 return Uint_0;