]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f244e99) | patch
[Ada] Special-case printing of SPARK_Mode in error messages
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 5 Sep 2022 13:12:42 +0000 (15:12 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 12 Sep 2022 08:16:52 +0000 (10:16 +0200)
commit9ccd61dfee0f21cf049653cfdaf2c28750ebe3cd
tree1a98ef3bdef558861d70cfd04474cf1a0825f279tree | snapshot
parentf244e994b5ff5b6499a30171b4716f1a6983d6d8commit | diff
[Ada] Special-case printing of SPARK_Mode in error messages

For error messages with inserted names that include acronyms like SPARK
or CPP, we want to preserve the casing. The list of special-cased named
is currently the same as in gnatpp.

gcc/ada/

* erroutc.adb (Set_Msg_Insertion_Name): Special-case printing with
acronyms.
gcc/ada/erroutc.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git