gcc/testsuite/gnat.dg/fixedpnt2.adb

   1 --  { dg-do compile }
   2
   3 with Ada.Unchecked_Conversion;
   4
   5 package body Fixedpnt2 is
   6
   7    function To_Integer_64 is
   8       new Ada.Unchecked_Conversion (Source => My_Type,
   9                                     Target => T_Integer_64);
  10
  11    function To_T is
  12       new Ada.Unchecked_Conversion (Source => T_Integer_64,
  13                                     Target => My_Type);
  14
  15    function "*" (Left  : in T_Integer_32;
  16                  Right : in My_Type)
  17       return My_Type is
  18          (To_T (S => T_Integer_64 (Left) * To_Integer_64 (S => Right)));
  19
  20    function "*" (Left  : in My_Type;
  21                  Right : in T_Integer_32)
  22       return My_Type is
  23          (To_T (S => To_Integer_64 (S => Left) * T_Integer_64 (Right)));
  24
  25 end Fixedpnt2;