/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | 7strafor.adb | 52 if Max_Size - Length > 0 then 54 Result (Length + 1 .. Max_Size) := (others => ' '); 57 Result (1 .. Max_Size - 1) := Source (1 .. Max_Size - 1); 58 Result (Max_Size) := ASCII.NUL; 91 if Source_Length - 1 + Annex_Length <= Max_Size then 100 Result (Source_Length + Annex_Length + 1 .. Max_Size) := 104 Result (Source_Length .. Max_Size - 1) := 105 Annex (1 .. Max_Size - Source_Length); 106 Result (Max_Size) := ASCII.NUL;
|
H A D | s-secsta.adb | 181 Max_Size : constant Mark_Id := constant 196 if Fixed_Stack.Top + Max_Size > Fixed_Stack.Max then 200 if Fixed_Stack.Top + Max_Size > Fixed_Stack.Last then 206 Fixed_Stack.Max := Fixed_Stack.Top + Max_Size; 212 Fixed_Stack.Top := Fixed_Stack.Top + Max_Size; 239 while Chunk.Last - Stack.Top + 1 < Max_Size loop 255 elsif SSE.Storage_Count (Max_Size) <= Stack.Default_Size then 269 Last => Chunk.Last + Max_Size); 281 Stack.Top := Stack.Top + Max_Size;
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | 7strafor.adb | 52 if Max_Size - Length > 0 then 54 Result (Length + 1 .. Max_Size) := (others => ' '); 57 Result (1 .. Max_Size - 1) := Source (1 .. Max_Size - 1); 58 Result (Max_Size) := ASCII.NUL; 91 if Source_Length - 1 + Annex_Length <= Max_Size then 100 Result (Source_Length + Annex_Length + 1 .. Max_Size) := 104 Result (Source_Length .. Max_Size - 1) := 105 Annex (1 .. Max_Size - Source_Length); 106 Result (Max_Size) := ASCII.NUL;
|
H A D | s-secsta.adb | 181 Max_Size : constant Mark_Id := constant 196 if Fixed_Stack.Top + Max_Size > Fixed_Stack.Max then 200 if Fixed_Stack.Top + Max_Size > Fixed_Stack.Last then 206 Fixed_Stack.Max := Fixed_Stack.Top + Max_Size; 212 Fixed_Stack.Top := Fixed_Stack.Top + Max_Size; 239 while Chunk.Last - Stack.Top + 1 < Max_Size loop 255 elsif SSE.Storage_Count (Max_Size) <= Stack.Default_Size then 269 Last => Chunk.Last + Max_Size); 281 Stack.Top := Stack.Top + Max_Size;
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | s-trafor-default.adb | 50 if Max_Size - Length > 0 then 52 Result (Length + 1 .. Max_Size) := (others => ' '); 55 Result (1 .. Max_Size - 1) := 56 Source (Source'First .. Source'First - 1 + Max_Size - 1); 57 Result (Max_Size) := ASCII.NUL; 90 if Source_Length - 1 + Annex_Length <= Max_Size then 99 Result (Source_Length + Annex_Length + 1 .. Max_Size) := 104 Result (Source_Length .. Max_Size - 1) := 105 Annex (1 .. Max_Size - Source_Length); 106 Result (Max_Size) := ASCII.NUL;
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | s-trafor-default.adb | 50 if Max_Size - Length > 0 then 52 Result (Length + 1 .. Max_Size) := (others => ' '); 55 Result (1 .. Max_Size - 1) := 56 Source (Source'First .. Source'First - 1 + Max_Size - 1); 57 Result (Max_Size) := ASCII.NUL; 90 if Source_Length - 1 + Annex_Length <= Max_Size then 99 Result (Source_Length + Annex_Length + 1 .. Max_Size) := 104 Result (Source_Length .. Max_Size - 1) := 105 Annex (1 .. Max_Size - Source_Length); 106 Result (Max_Size) := ASCII.NUL;
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | s-trafor-default.adb | 50 if Max_Size - Length > 0 then 52 Result (Length + 1 .. Max_Size) := (others => ' '); 55 Result (1 .. Max_Size - 1) := 56 Source (Source'First .. Source'First - 1 + Max_Size - 1); 57 Result (Max_Size) := ASCII.NUL; 90 if Source_Length - 1 + Annex_Length <= Max_Size then 99 Result (Source_Length + Annex_Length + 1 .. Max_Size) := 104 Result (Source_Length .. Max_Size - 1) := 105 Annex (1 .. Max_Size - Source_Length); 106 Result (Max_Size) := ASCII.NUL;
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | s-trafor-default.adb | 50 if Max_Size - Length > 0 then 52 Result (Length + 1 .. Max_Size) := (others => ' '); 55 Result (1 .. Max_Size - 1) := 56 Source (Source'First .. Source'First - 1 + Max_Size - 1); 57 Result (Max_Size) := ASCII.NUL; 90 if Source_Length - 1 + Annex_Length <= Max_Size then 99 Result (Source_Length + Annex_Length + 1 .. Max_Size) := 104 Result (Source_Length .. Max_Size - 1) := 105 Annex (1 .. Max_Size - Source_Length); 106 Result (Max_Size) := ASCII.NUL;
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | s-trafor-default.adb | 50 if Max_Size - Length > 0 then 52 Result (Length + 1 .. Max_Size) := (others => ' '); 55 Result (1 .. Max_Size - 1) := 56 Source (Source'First .. Source'First - 1 + Max_Size - 1); 57 Result (Max_Size) := ASCII.NUL; 90 if Source_Length - 1 + Annex_Length <= Max_Size then 99 Result (Source_Length + Annex_Length + 1 .. Max_Size) := 104 Result (Source_Length .. Max_Size - 1) := 105 Annex (1 .. Max_Size - Source_Length); 106 Result (Max_Size) := ASCII.NUL;
|
H A D | s-secsta.adb | 182 Max_Size : constant SS_Ptr := constant 197 if Fixed_Stack.Top + Max_Size > Fixed_Stack.Max then 201 if Fixed_Stack.Top + Max_Size > Fixed_Stack.Last then 207 Fixed_Stack.Max := Fixed_Stack.Top + Max_Size; 213 Fixed_Stack.Top := Fixed_Stack.Top + Max_Size; 240 while Chunk.Last - Stack.Top + 1 < Max_Size loop 256 elsif SSE.Storage_Count (Max_Size) <= Stack.Default_Size then 270 Last => Chunk.Last + Max_Size); 282 Stack.Top := Stack.Top + Max_Size;
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
H A D | predicate8_pkg.ads | 14 type Ring_Buffer_Type (Max_Size : Small_Positive) is private 66 type Ring_Buffer_Type (Max_Size : Small_Positive) is record 69 Tail : Small_Positive := Max_Size; 70 Items : Element_Array_Type (1 .. Max_Size); 73 (Max_Size <= Small_Positive'Last and 74 Count <= Max_Size and 75 Head <= Max_Size and 76 Tail <= Max_Size and 77 ((Count = 0 and Tail = Max_Size and Head = 1) or 78 (Count = Max_Size + Tail - Head + 1) or
|
H A D | predicate8_pkg.adb | 10 is (Size (Buffer) = Buffer.Max_Size); 18 is (Buffer.Max_Size - Size (Buffer)); 37 (if Buffer.Head = Buffer.Max_Size then 1 else Buffer.Head + 1), 46 if Buffer.Tail = Buffer.Max_Size then 61 Buffer.Tail := Buffer.Max_Size;
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gnat.dg/ |
H A D | predicate8_pkg.ads | 14 type Ring_Buffer_Type (Max_Size : Small_Positive) is private 66 type Ring_Buffer_Type (Max_Size : Small_Positive) is record 69 Tail : Small_Positive := Max_Size; 70 Items : Element_Array_Type (1 .. Max_Size); 73 (Max_Size <= Small_Positive'Last and 74 Count <= Max_Size and 75 Head <= Max_Size and 76 Tail <= Max_Size and 77 ((Count = 0 and Tail = Max_Size and Head = 1) or 78 (Count = Max_Size + Tail - Head + 1) or
|
H A D | predicate8_pkg.adb | 10 is (Size (Buffer) = Buffer.Max_Size); 18 is (Buffer.Max_Size - Size (Buffer)); 37 (if Buffer.Head = Buffer.Max_Size then 1 else Buffer.Head + 1), 46 if Buffer.Tail = Buffer.Max_Size then 61 Buffer.Tail := Buffer.Max_Size;
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gnat.dg/ |
H A D | predicate8_pkg.ads | 14 type Ring_Buffer_Type (Max_Size : Small_Positive) is private 66 type Ring_Buffer_Type (Max_Size : Small_Positive) is record 69 Tail : Small_Positive := Max_Size; 70 Items : Element_Array_Type (1 .. Max_Size); 73 (Max_Size <= Small_Positive'Last and 74 Count <= Max_Size and 75 Head <= Max_Size and 76 Tail <= Max_Size and 77 ((Count = 0 and Tail = Max_Size and Head = 1) or 78 (Count = Max_Size + Tail - Head + 1) or
|
H A D | predicate8_pkg.adb | 10 is (Size (Buffer) = Buffer.Max_Size); 18 is (Buffer.Max_Size - Size (Buffer)); 37 (if Buffer.Head = Buffer.Max_Size then 1 else Buffer.Head + 1), 46 if Buffer.Tail = Buffer.Max_Size then 61 Buffer.Tail := Buffer.Max_Size;
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gnat.dg/ |
H A D | predicate8_pkg.ads | 14 type Ring_Buffer_Type (Max_Size : Small_Positive) is private 66 type Ring_Buffer_Type (Max_Size : Small_Positive) is record 69 Tail : Small_Positive := Max_Size; 70 Items : Element_Array_Type (1 .. Max_Size); 73 (Max_Size <= Small_Positive'Last and 74 Count <= Max_Size and 75 Head <= Max_Size and 76 Tail <= Max_Size and 77 ((Count = 0 and Tail = Max_Size and Head = 1) or 78 (Count = Max_Size + Tail - Head + 1) or
|
H A D | predicate8_pkg.adb | 10 is (Size (Buffer) = Buffer.Max_Size); 18 is (Buffer.Max_Size - Size (Buffer)); 37 (if Buffer.Head = Buffer.Max_Size then 1 else Buffer.Head + 1), 46 if Buffer.Tail = Buffer.Max_Size then 61 Buffer.Tail := Buffer.Max_Size;
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
H A D | predicate8_pkg.ads | 14 type Ring_Buffer_Type (Max_Size : Small_Positive) is private 66 type Ring_Buffer_Type (Max_Size : Small_Positive) is record 69 Tail : Small_Positive := Max_Size; 70 Items : Element_Array_Type (1 .. Max_Size); 73 (Max_Size <= Small_Positive'Last and 74 Count <= Max_Size and 75 Head <= Max_Size and 76 Tail <= Max_Size and 77 ((Count = 0 and Tail = Max_Size and Head = 1) or 78 (Count = Max_Size + Tail - Head + 1) or
|
H A D | predicate8_pkg.adb | 10 is (Size (Buffer) = Buffer.Max_Size); 18 is (Buffer.Max_Size - Size (Buffer)); 37 (if Buffer.Head = Buffer.Max_Size then 1 else Buffer.Head + 1), 46 if Buffer.Tail = Buffer.Max_Size then 61 Buffer.Tail := Buffer.Max_Size;
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gnat.dg/ |
H A D | predicate8_pkg.ads | 14 type Ring_Buffer_Type (Max_Size : Small_Positive) is private 66 type Ring_Buffer_Type (Max_Size : Small_Positive) is record 69 Tail : Small_Positive := Max_Size; 70 Items : Element_Array_Type (1 .. Max_Size); 73 (Max_Size <= Small_Positive'Last and 74 Count <= Max_Size and 75 Head <= Max_Size and 76 Tail <= Max_Size and 77 ((Count = 0 and Tail = Max_Size and Head = 1) or 78 (Count = Max_Size + Tail - Head + 1) or
|
H A D | predicate8_pkg.adb | 10 is (Size (Buffer) = Buffer.Max_Size); 18 is (Buffer.Max_Size - Size (Buffer)); 37 (if Buffer.Head = Buffer.Max_Size then 1 else Buffer.Head + 1), 46 if Buffer.Tail = Buffer.Max_Size then 61 Buffer.Tail := Buffer.Max_Size;
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
H A D | predicate8_pkg.ads | 14 type Ring_Buffer_Type (Max_Size : Small_Positive) is private 66 type Ring_Buffer_Type (Max_Size : Small_Positive) is record 69 Tail : Small_Positive := Max_Size; 70 Items : Element_Array_Type (1 .. Max_Size); 73 (Max_Size <= Small_Positive'Last and 74 Count <= Max_Size and 75 Head <= Max_Size and 76 Tail <= Max_Size and 77 ((Count = 0 and Tail = Max_Size and Head = 1) or 78 (Count = Max_Size + Tail - Head + 1) or
|
H A D | predicate8_pkg.adb | 10 is (Size (Buffer) = Buffer.Max_Size); 18 is (Buffer.Max_Size - Size (Buffer)); 37 (if Buffer.Head = Buffer.Max_Size then 1 else Buffer.Head + 1), 46 if Buffer.Tail = Buffer.Max_Size then 61 Buffer.Tail := Buffer.Max_Size;
|
/dports/devel/pragmarcs/PragmARC-1378e7a/ |
H A D | pragmarc-queue_bounded_unprotected.ads | 22 type Handle (Max_Size : Positive) is tagged limited private; -- Initial value: emtpy 97 type Handle (Max_Size : Positive) is tagged limited record 98 List : Implementation.Handle (Max_Size => Max_Size);
|