commit df69e326b39dabc34f0c9b31f694079e5fa1343a
author Piotr Trojanek <trojanek@adacore.com> Fri May 20 22:29:51 2022 +0200
committer Pierre-Marie de Rodat <derodat@adacore.com> Mon Jul 04 07:45:51 2022 +0000
tree 6e5c68b34bb6053da1e1001daccecc0f811f22bd
parent 089a4a48ac3db93f07585563f3b41e92bac798fe

[Ada] Fix for resolution of overloaded subprogram for Iterable aspect

When resolving the Iterable aspect we look for a functions that are
declared in the same scope as the annotated type and that have the
required number and types formal parameters. However, we didn't guard
against functions that have no formal parameter at all.

gcc/ada/

	* sem_ch13.adb (Resolve_Iterable_Operation): Add guard to
	prevent crash when the examined function has no formal
	parameters and Etype is called on Empty entity.