From e243bf23499bf3e38abfd3766e2d261ccf26ec89 Mon Sep 17 00:00:00 2001
From: Yannick Moy <moy@adacore.com>
Date: Fri, 8 Jan 2021 09:38:59 +0100
Subject: [PATCH] [Ada] Minor tweak in pretty-printing of expressions

gcc/ada/

	* pprint.adb (Expression_Image): Special case for
	expression-with-actions.
---
 gcc/ada/pprint.adb | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/pprint.adb b/gcc/ada/pprint.adb
index 696d4b353aac..5091a862fe66 100644
--- a/gcc/ada/pprint.adb
+++ b/gcc/ada/pprint.adb
@@ -682,7 +682,7 @@ package body Pprint is
          end case;
       end Expr_Name;
 
-   --  Start of processing for Expression_Name
+   --  Start of processing for Expression_Image
 
    begin
       if not From_Source then
@@ -697,6 +697,12 @@ package body Pprint is
          end;
       end if;
 
+      --  Reach to the underlying expression for an expression-with-actions
+
+      if Nkind (Expr) = N_Expression_With_Actions then
+         return Expression_Image (Expression (Expr), Default);
+      end if;
+
       --  Compute left (start) and right (end) slocs for the expression
       --  Consider using Sinput.Sloc_Range instead, except that it does not
       --  work properly currently???
-- 
GitLab