]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Pretty-print filter of loop parameter specification
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 16 Mar 2026 12:42:08 +0000 (13:42 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 29 May 2026 08:49:48 +0000 (10:49 +0200)
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.

gcc/ada/sprint.adb

index 0ccea82c1bf1426c0bbeba053f2f9b7e43bffc79..f95a7eaddbf8d2f77fd68fa9df822a74a2fda795 100644 (file)
@@ -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;