Skip to content
Snippets Groups Projects
Commit 7fef55ec authored by Léo Creuse's avatar Léo Creuse Committed by Marc Poulhiès
Browse files

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.
parent 46a508ec
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment