]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd4f48b) | patch
ada: Improve error message on violation of SPARK_Mode rules
authorYannick Moy <moy@adacore.com>
Tue, 27 Jun 2023 09:49:09 +0000 (11:49 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 6 Jul 2023 11:36:09 +0000 (13:36 +0200)
commitd1715f6e7613969d44ab6ab0585eb99200fd62cc
tree61c0342b2dd6f4d404e9f17d757af7733768e5a5tree | snapshot
parentfd4f48b37718748b39344129e70223a5d290c6ebcommit | diff
ada: Improve error message on violation of SPARK_Mode rules

SPARK_Mode On can only be used on library-level entities.
Improve the error message here.

gcc/ada/

* errout.ads: Add explain code.
* sem_prag.adb (Check_Library_Level_Entity): Refine error message
and add explain code.
gcc/ada/errout.ads diff | blob | blame | history
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git