1-- { dg-do run } 2with GNAT.Compiler_Version; 3procedure Test_Version is 4 package Vsn is new GNAT.Compiler_Version; 5 use Vsn; 6 X : constant String := Version; 7begin 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; 13end Test_Version; 14