diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2025-03-22 00:01:52 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2025-06-10 11:00:12 +0200 |
| commit | a35f642d231baa62d6b28e5e5aaf3cc30425552c (patch) | |
| tree | 8a037402f2c919ea3c23fcea32bb76f173d800d5 /gcc/dwarf2ctf.cc | |
| parent | e249cec1ac9957a1e0d064104014f9c4c339d2d6 (diff) | |
| download | gcc-a35f642d231baa62d6b28e5e5aaf3cc30425552c.zip gcc-a35f642d231baa62d6b28e5e5aaf3cc30425552c.tar.gz gcc-a35f642d231baa62d6b28e5e5aaf3cc30425552c.tar.bz2 | |
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.
Diffstat (limited to 'gcc/dwarf2ctf.cc')
0 files changed, 0 insertions, 0 deletions