[gcc r12-5020] [Ada] Add missing regular expression syntax error check

[gcc r12-5020] [Ada] Add missing regular expression syntax error check

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:c9148106881e8e25efc14ec7d49a71f5af4f13f1

commit r12-5020-gc9148106881e8e25efc14ec7d49a71f5af4f13f1
Author: Steve Baird <baird@adacore.com>
Date:   Thu Oct 21 10:47:06 2021 -0700

    [Ada] Add missing regular expression syntax error check
    
    gcc/ada/
    
            * libgnat/s-regexp.adb (Compile.Check_Well_Formed_Patern): When
            a "|" operator is encountered in a pattern, check that it is not
            the last character of the pattern.

Diff:
---
 gcc/ada/libgnat/s-regexp.adb | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/libgnat/s-regexp.adb b/gcc/ada/libgnat/s-regexp.adb
index 51ff39c3e76..79e7cda442b 100644
--- a/gcc/ada/libgnat/s-regexp.adb
+++ b/gcc/ada/libgnat/s-regexp.adb
@@ -210,7 +210,7 @@ package body System.Regexp is
          --  or the last occurrence of an opening curly brace, if Glob=True.
 
          procedure Raise_Exception_If_No_More_Chars (K : Integer := 0);
-         --  If no more characters are raised, call Raise_Exception
+         --  If S(J + 1 .. S'Last)'Length < K then call Raise_Exception
 
          --------------------------------------
          -- Raise_Exception_If_No_More_Chars --
@@ -431,6 +431,9 @@ package body System.Regexp is
                            & "applied to a term in regular expression", J);
                      end if;
 
+                     --  A second term must follow
+                     Raise_Exception_If_No_More_Chars (K => 1);
+
                      Past_Elmt := False;
                      Past_Term := False;
                   end if;