crtl/crtl.adb

   1 with Interfaces;
   2 with Unchecked_Conversion;
   3 with System.Storage_Elements;
   4
   5 package body Crtl is
   6
   7    function memcpy
   8      (S1 : System.Address; S2 : System.Address; N : size_t)
   9      return System.Address
  10    is
  11       type Pointer is access all Interfaces.Unsigned_8;
  12
  13       function To_Pointer is new Unchecked_Conversion (System.Address, Pointer);
  14       function To_Address is new Unchecked_Conversion (Pointer, System.Address);
  15
  16       ---------
  17       -- "+" --
  18       ---------
  19
  20       function "+" (Left : Pointer; Right : size_t) return Pointer is
  21          use System.Storage_Elements;
  22       begin
  23          return To_Pointer (To_Address (Left) +
  24                               System.Storage_Elements.Storage_Offset (Right));
  25       end "+";
  26       pragma Inline ("+");
  27
  28       ---------------
  29       -- Increment --
  30       ---------------
  31
  32       procedure Increment (Ref : in out Pointer) is
  33       begin
  34          Ref := Ref + 1;
  35       end Increment;
  36       pragma Inline (Increment);
  37
  38       T : Pointer := To_Pointer (S1);
  39       S : Pointer := To_Pointer (S2);
  40
  41    begin
  42       --        if S = null or else T = null then
  43       --           raise Dereference_Error;
  44       --        else
  45       for J in 1 .. N loop
  46          T.all := S.all;
  47          Increment (T);
  48          Increment (S);
  49       end loop;
  50       --       end if;
  51       return S1;
  52    end memcpy;
  53
  54 end Crtl;