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/errutil.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/errutil.adb')
| -rw-r--r-- | gcc/ada/errutil.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/errutil.adb b/gcc/ada/errutil.adb index 75d29a9..d4821fc 100644 --- a/gcc/ada/errutil.adb +++ b/gcc/ada/errutil.adb @@ -209,6 +209,7 @@ package body Errutil is Sfile => Get_Source_File_Index (Sptr), Sptr => Sptr, Optr => Optr, + Insertion_Sloc => No_Location, Line => Get_Physical_Line_Number (Sptr), Col => Get_Column_Number (Sptr), Compile_Time_Pragma => Is_Compile_Time_Msg, |