[gcc r12-2205] [Ada] Fix index range violations in krunch

[gcc r12-2205] [Ada] Fix index range violations in krunch

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:90635a37c2d0e0468c3599398c5f8eeecf596f93

commit r12-2205-g90635a37c2d0e0468c3599398c5f8eeecf596f93
Author: Fedor Rybin <frybin@adacore.com>
Date:   Fri Jun 4 21:01:27 2021 +0300

    [Ada] Fix index range violations in krunch
    
    gcc/ada/
    
            * krunch.adb: Add safeguards against index range violations.

Diff:
---
 gcc/ada/krunch.adb | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/gcc/ada/krunch.adb b/gcc/ada/krunch.adb
index 4cff3ca13ab..f698d889c22 100644
--- a/gcc/ada/krunch.adb
+++ b/gcc/ada/krunch.adb
@@ -92,15 +92,16 @@ begin
       Startloc := 3;
       Buffer (2 .. Len - 5) := Buffer (7 .. Len);
       Curlen := Len - 5;
-      if Buffer (Curlen - 2 .. Curlen) = "128"
-        or else Buffer (3 .. 9) = "exn_lll"
-        or else Buffer (3 .. 9) = "exp_lll"
-        or else Buffer (3 .. 9) = "img_lll"
-        or else Buffer (3 .. 9) = "val_lll"
-        or else Buffer (3 .. 9) = "wid_lll"
-        or else (Buffer (3 .. 6) = "pack" and then Curlen = 10)
+      if (Curlen >= 3 and then Buffer (Curlen - 2 .. Curlen) = "128")
+        or else (Len >= 9 and then
+                    (Buffer (3 .. 9) = "exn_lll"
+                      or else Buffer (3 .. 9) = "exp_lll"
+                      or else Buffer (3 .. 9) = "img_lll"
+                      or else Buffer (3 .. 9) = "val_lll"
+                      or else Buffer (3 .. 9) = "wid_lll"))
+           or else (Curlen = 10 and then Buffer (3 .. 6) = "pack")
       then
-         if Buffer (3 .. 15) = "compare_array" then
+         if Len >= 15 and then Buffer (3 .. 15) = "compare_array" then
             Buffer (3 .. 4) := "ca";
             Buffer (5 .. Curlen - 11) := Buffer (16 .. Curlen);
             Curlen := Curlen - 11;