gcc/testsuite/gnat.dg/test_version.adb

   1 -- { dg-do run }
   2 with GNAT.Compiler_Version;
   3 procedure Test_Version is
   4    package Vsn is new GNAT.Compiler_Version;
   5    use Vsn;
   6    X : constant String := Version;
   7 begin
   8    if X'Length = 78 then
   9       -- 78 = Ver_Len_Max + Ver_Prefix'Length
  10       -- actual version should be shorter than this
  11       raise Program_Error;
  12    end if;
  13 end Test_Version;