Require target lra in gcc.dg/pr108095.c
[official-gcc.git] / gcc / testsuite / gnat.dg / shift2.adb
blobb45e44018132025ce9e5de76e516011c4d868542
1 -- { dg-do compile }
3 with Interfaces; use Interfaces;
5 function Shift2 (V : Unsigned_32) return Unsigned_32 is
6 begin
7 return Shift_Left (V, (case V is when 0 => 1, when others => 0));
8 end;