gcc/testsuite/gnat.dg/spipaterr.adb

   1 -- { dg-do run }
   2
   3 with Text_IO; use Text_IO;
   4 with GNAT.SPITBOL.Patterns; use GNAT.SPITBOL.Patterns;
   5 procedure Spipaterr is
   6     X : String := "ABCDE";
   7     Y : Pattern := Len (1) & X (2 .. 2);
   8 begin
   9     if Match ("XB", Y) then
  10        null;
  11     else
  12        raise Program_Error;
  13     end if;
  14 end;