commit a35f642d231baa62d6b28e5e5aaf3cc30425552c
author Gary Dismukes <dismukes@adacore.com> Sat Mar 22 00:01:52 2025 +0000
committer Eric Botcazou <ebotcazou@adacore.com> Tue Jun 10 11:00:12 2025 +0200
tree 8a037402f2c919ea3c23fcea32bb76f173d800d5
parent e249cec1ac9957a1e0d064104014f9c4c339d2d6

ada: Error on subtype with static predicate used in case_expression

The compiler improperly flags an error on the use of a subtype with a
static predicate as a choice in a case expression alternative, complaining
that the subtype has a nonstatic predicate. The fix for this is to add
a test for the subtype not having a static predicate.

gcc/ada/ChangeLog:

	* einfo.ads: Revise comment about Dynamic_Predicate flag to make it
	more accurate.
	* sem_case.adb (Check_Choices): Test "not Has_Static_Predicate_Aspect"
	as additional guard for error about use of subtype with nonstatic
	predicate as a case choice. Improve related error message.