https://gcc.gnu.org/g:131aa73d72aaf5d522702047148b3f5706ba6e83

commit r17-942-g131aa73d72aaf5d522702047148b3f5706ba6e83
Author: Piotr Trojanek <[email protected]>
Date:   Mon Mar 16 13:42:08 2026 +0100

    ada: Pretty-print filter of loop parameter specification
    
    Filter was only pretty-printed for iterator specification, but it can also
    appear in loop parameter specification. This only affects debug output.
    
    gcc/ada/ChangeLog:
    
            * sprint.adb (Sprint_Node_Actual): Print filter in loop parameter
            specification.

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

diff --git a/gcc/ada/sprint.adb b/gcc/ada/sprint.adb
index 0ccea82c1bf1..f95a7eaddbf8 100644
--- a/gcc/ada/sprint.adb
+++ b/gcc/ada/sprint.adb
@@ -2360,6 +2360,11 @@ package body Sprint is
 
             Sprint_Node (Discrete_Subtype_Definition (Node));
 
+            if Present (Iterator_Filter (Node)) then
+               Write_Str (" when ");
+               Sprint_Node (Iterator_Filter (Node));
+            end if;
+
          when N_Loop_Statement =>
             Write_Indent;

Reply via email to