view gcc/testsuite/gnat.dg/fixedpnt4.adb @ 143:76e1cf5455ef

add cbc_gc test
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 19:24:05 +0900
parents 84e7813d76e9
children
line wrap: on
line source

--  { dg-do compile }

procedure Fixedpnt4 is
   type T is delta 2.0/5.0 range -10.0 .. 10.0 with Small => 2.0/5.0;
   type T2 is delta 1.0/25.0 range -10.0 .. 10.0 with Small => 1.0/25.0;

   X : T := 1.0;
   Y : T2;
begin
   Y := X / X;
   Y := X / (X + X);
   Y := X / (X + X + 1.0);
   Y := (X + X) * (X + X);
end;