[gcc r12-1635] [Ada] Make "gcc -gnatDGL" handle unterminated last lines properly

[gcc r12-1635] [Ada] Make "gcc -gnatDGL" handle unterminated last lines properly

[Pierre-Marie de Rodat]

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

commit r12-1635-gca5cdc9053ffe033e8ece1c4be7882c67b3f5a39
Author: Bob Duff <duff@adacore.com>
Date:   Mon Mar 22 16:22:49 2021 -0400

    [Ada] Make "gcc -gnatDGL" handle unterminated last lines properly
    
    gcc/ada/
    
            * sprint.adb (Write_Source_Line): Check for EOF in
            Line_Terminator loop.  Note that when a source file is read in,
            an EOF character is added to the end.

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

diff --git a/gcc/ada/sprint.adb b/gcc/ada/sprint.adb
index 5f2d027dfaf..7fc73409d1a 100644
--- a/gcc/ada/sprint.adb
+++ b/gcc/ada/sprint.adb
@@ -4847,7 +4847,10 @@ package body Sprint is
          Write_Int (Int (L));
          Write_Str (": ");
 
-         while Src (Loc) not in Line_Terminator loop
+         --  We need to check for EOF here, in case the last line of the source
+         --  file does not have a Line_Terminator.
+
+         while Src (Loc) not in Line_Terminator | EOF loop
             Write_Char (Src (Loc));
             Loc := Loc + 1;
          end loop;