compiler: give error for non-int arguments to make

[official-gcc.git] / gcc / testsuite / gnat.dg / thin_pointer2.adb

-- PR ada/42253
-- Testcase by Duncan Sands <baldrick@gcc.gnu.org>

-- { dg-do run }

with Thin_Pointer2_Pkg; use Thin_Pointer2_Pkg;

procedure Thin_Pointer2 is
begin
   if F /= '*' then
      raise Program_Error;
   end if;
end;