From 7fef55ece2345a14d351a89cfd611482bb9a025f Mon Sep 17 00:00:00 2001 From: =?utf8?q?L=C3=A9o=20Creuse?= Date: Tue, 18 Jul 2023 11:08:23 +0200 Subject: [PATCH] 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. --- 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 ce7de7f3d795..5e65fa25de1d 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; -- 2.47.2