view gcc/testsuite/gnat.dg/modular2.adb @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
line wrap: on
line source

--  { dg-do run }

procedure modular2 is
   type x is mod 2 ** 64;
   r : x := x'last;
begin
   r := r + 1;
end;