gcc/testsuite/gnat.dg/sso17.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnatws -O" }
   3
   4 with System;
   5
   6 procedure SSO17 is
   7
   8   type My_Float is new Float range 0.0 .. 359.99;
   9
  10   type Rec is record
  11     Az : My_Float;
  12     El : My_Float;
  13   end record;
  14   for Rec'Bit_Order use System.High_Order_First;
  15   for Rec'Scalar_Storage_Order use System.High_Order_First;
  16
  17   R : Rec;
  18
  19   procedure Is_True (B : Boolean);
  20   pragma No_Inline (Is_True);
  21
  22   procedure Is_True (B : Boolean) is
  23   begin
  24     if not B then
  25       raise Program_Error;
  26     end if;
  27   end;
  28
  29 begin
  30   R := (Az => 1.1, El => 2.2);
  31   Is_True (R.Az'Valid);
  32   R := (Az => 3.3, El => 4.4);
  33   Is_True (R.Az'Valid);
  34 end;