diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/spipaterr.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/spipaterr.adb | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/spipaterr.adb b/gcc/testsuite/gnat.dg/spipaterr.adb new file mode 100644 index 00000000000..b68dc2e10fa --- /dev/null +++ b/gcc/testsuite/gnat.dg/spipaterr.adb @@ -0,0 +1,14 @@ +-- { dg-do run } + +with Text_IO; use Text_IO; +with GNAT.SPITBOL.Patterns; use GNAT.SPITBOL.Patterns; +procedure Spipaterr is + X : String := "ABCDE"; + Y : Pattern := Len (1) & X (2 .. 2); +begin + if Match ("XB", Y) then + null; + else + raise Program_Error; + end if; +end; |