]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c329830) | patch
[Ada] Suggest use of First_Valid/Last_Valid on type with static predicate
authorYannick Moy <moy@adacore.com>
Wed, 19 Jan 2022 10:19:50 +0000 (11:19 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 9 May 2022 09:27:39 +0000 (09:27 +0000)
commit655ca5aaa970bb5e6727a72be6c3ba9d9f9d5f09
tree1df370a06f743d33c6b26c8a295a853467bffcaetree | snapshot
parentc32983082576e1452a19bc7df8901d6e6d9229c2commit | diff
[Ada] Suggest use of First_Valid/Last_Valid on type with static predicate

Attributes First_Valid/Last_Valid can be used on types with static
predicate, instead of First/Last/Range. Include that suggestion in
the corresponding error message.

gcc/ada/

* sem_util.adb (Bad_Predicated_Subtype_Use): Add continuation
message.
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git