diff options
| author | Yannick Moy <moy@adacore.com> | 2020-07-10 16:52:03 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-20 03:21:32 -0400 |
| commit | be273749fa010ad65af1eba98875c7383295a750 (patch) | |
| tree | e6767851d18ffd0b32664b18e8f1952cc2f0f9c2 /gcc/ada/debug.adb | |
| parent | bc60bb5eb9b18315b1af7ffa408969690720f8b1 (diff) | |
| download | gcc-be273749fa010ad65af1eba98875c7383295a750.zip gcc-be273749fa010ad65af1eba98875c7383295a750.tar.gz gcc-be273749fa010ad65af1eba98875c7383295a750.tar.bz2 | |
[Ada] Display source code pointing at locations in messages for GNATprove
gcc/ada/
* errout.adb: (Error_Msg-Internal): Pass the location for a line
insertion if any in the message.
(Output_Messages: Add display of source code lines if -gnatdF is
set.
(Write_Source_Code_Line): Code clean up.
* erroutc.adb (Prescan_Message): Apply prescan for continuation
lines when -gnatdF is set, and record presence of line
insertion.
* erroutc.ads (Has_Insertion_Line): New global for prescan.
(Error_Msg_Object): Add field to record line insertion if
present.
* errutil.adb (Error_Msg): Pass no location for Insertion_Sloc.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions