projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04b0694) | patch
[Ada] Fixes for pretty command-line GNATprove output with -gnatdF
authorYannick Moy <moy@adacore.com>
Wed, 22 Jul 2020 07:14:54 +0000 (09:14 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 20 Oct 2020 07:21:44 +0000 (03:21 -0400)
commitc01c11cc9cbb2d2a78f03c7c90d98149fd650a95
tree314c27103d1c9628cd8fe7ed69f0d8bfc3aa13abtree
parent04b06947cbcfebaa1ba5beb3c9bf086af5beababcommit | diff
[Ada] Fixes for pretty command-line GNATprove output with -gnatdF

gcc/ada/

* errout.adb (Write_Source_Code_Line): Adopt display closer to
GCC format.
(Output_Messages): Deal specially with info messages.
* erroutc.adb (Prescan_Message): Fix bug leading to check
messages being considered as error messages in pretty output
mode.
gcc/ada/errout.adb diff | blob | history
gcc/ada/erroutc.adb diff | blob | history