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

[official-gcc.git] / gcc / testsuite / gnat.dg / assertion_policy1_pkg.ads

package Assertion_Policy1_Pkg is
   pragma Assertion_Policy (Ignore);

   procedure Proc (Low : Integer; High : Integer)
     with Pre => Low < High;
end Assertion_Policy1_Pkg;