From: Matthieu Eyraud <eyraud@adacore.com>
Date: Fri, 2 Jul 2021 12:37:55 +0000 (+0200)
Subject: [Ada] Emit specific SCOs for decisions of quantified expressions
X-Git-Tag: basepoints/gcc-13~4186
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3a6f30ed5da68be1fbc53a801093f31615db619b;p=thirdparty%2Fgcc.git

[Ada] Emit specific SCOs for decisions of quantified expressions

gcc/ada/

	* scos.ads: Extend the documentation.
	* par_sco.adb (Process_Decisions): Emit specific SCOs for
	quantified expressions.
---

diff --git a/gcc/ada/par_sco.adb b/gcc/ada/par_sco.adb
index 9720e4764a55..09e4d500249b 100644
--- a/gcc/ada/par_sco.adb
+++ b/gcc/ada/par_sco.adb
@@ -827,6 +827,14 @@ package body Par_SCO is
                   return Skip;
                end;
 
+            when N_Quantified_Expression =>
+               declare
+                  Cond : constant Node_Id := Condition (N);
+               begin
+                  Process_Decisions (Cond, 'W', Pragma_Sloc);
+                  return Skip;
+               end;
+
             --  All other cases, continue scan
 
             when others =>
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads
index d8e88dd1ab03..cdac5521e993 100644
--- a/gcc/ada/scos.ads
+++ b/gcc/ada/scos.ads
@@ -257,7 +257,7 @@ package SCOs is
    --      I       decision in IF statement or if expression
    --      P       decision in pragma Assert / Check / Pre/Post_Condition
    --      A[name] decision in aspect Pre/Post (aspect name optional)
-   --      W       decision in WHILE iteration scheme
+   --      W       decision in WHILE iteration scheme or quantified expression
    --      X       decision in some other expression context
 
    --    For E, G, I, P, W, sloc is the source location of the EXIT, ENTRY, IF,