PR tree-optimization/86415 - strlen() not folded for substrings within constant arrays

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

-- { 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 = 78 then
      -- 78 = Ver_Len_Max + Ver_Prefix'Length
      -- actual version should be shorter than this
      raise Program_Error;
   end if;
end Test_Version;