public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r14-2897] ada: Emit SCOs for nested decisions in quantified expressions
@ 2023-08-01 8:07 Marc Poulhi?s
0 siblings, 0 replies; only message in thread
From: Marc Poulhi?s @ 2023-08-01 8:07 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:7fef55ece2345a14d351a89cfd611482bb9a025f
commit r14-2897-g7fef55ece2345a14d351a89cfd611482bb9a025f
Author: Léo Creuse <creuse@adacore.com>
Date: Tue Jul 18 11:08:23 2023 +0200
ada: Emit SCOs for nested decisions in quantified expressions
The tree traversal for decision SCO emission did not recurse in the
iterator specification or loop parameter specification of quantified
expressions, resulting in missing coverage obligations for nested
decisions. This change fixes this by traversing all the attributes
of quantified expressions nodes.
gcc/ada/
* par_sco.adb (Process_Decisions): Traverse all attributes of
quantified expressions nodes.
Diff:
---
gcc/ada/par_sco.adb | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/gcc/ada/par_sco.adb b/gcc/ada/par_sco.adb
index ce7de7f3d79..5e65fa25de1 100644
--- a/gcc/ada/par_sco.adb
+++ b/gcc/ada/par_sco.adb
@@ -829,8 +829,15 @@ package body Par_SCO is
when N_Quantified_Expression =>
declare
- Cond : constant Node_Id := Condition (N);
+ Cond : constant Node_Id := Condition (N);
+ I_Spec : Node_Id := Empty;
begin
+ if Present (Iterator_Specification (N)) then
+ I_Spec := Iterator_Specification (N);
+ else
+ I_Spec := Loop_Parameter_Specification (N);
+ end if;
+ Process_Decisions (I_Spec, 'X', Pragma_Sloc);
Process_Decisions (Cond, 'W', Pragma_Sloc);
return Skip;
end;
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-08-01 8:07 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-08-01 8:07 [gcc r14-2897] ada: Emit SCOs for nested decisions in quantified expressions Marc Poulhi?s
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).