gcc/testsuite/gnat.dg/test_version.adb


1
2
3
4
5
6
7
8
9
10
11
12
13

-- { dg-do run }
with GNAT.Compiler_Version;
procedure Test_Version is
   package Vsn is new GNAT.Compiler_Version;
   use Vsn;
   X : constant String := Version;
begin
   if X'Length = 46 then
      -- 46 = Ver_Len_Max + Ver_Prefix
      -- actual version should be shorter than this
      raise Program_Error;
   end if;
end Test_Version;