diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-09-05 15:12:42 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-12 10:16:52 +0200 |
| commit | 9ccd61dfee0f21cf049653cfdaf2c28750ebe3cd (patch) | |
| tree | 1a98ef3bdef558861d70cfd04474cf1a0825f279 /gcc/ada/gcc-interface/decl.cc | |
| parent | f244e994b5ff5b6499a30171b4716f1a6983d6d8 (diff) | |
| download | gcc-9ccd61dfee0f21cf049653cfdaf2c28750ebe3cd.zip gcc-9ccd61dfee0f21cf049653cfdaf2c28750ebe3cd.tar.gz gcc-9ccd61dfee0f21cf049653cfdaf2c28750ebe3cd.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.cc')
0 files changed, 0 insertions, 0 deletions