diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-02 13:46:38 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 15:46:38 +0200 |
| commit | 4c60de0c970a2b152748ec3c65f65328b4689471 (patch) | |
| tree | 9a6536a6f1657333941661904bed92489a6d8938 /gcc/ada/restrict.adb | |
| parent | f5afb270e6dae6d56ddad1fb2b8661dffe03259c (diff) | |
| download | gcc-4c60de0c970a2b152748ec3c65f65328b4689471.zip gcc-4c60de0c970a2b152748ec3c65f65328b4689471.tar.gz gcc-4c60de0c970a2b152748ec3c65f65328b4689471.tar.bz2 | |
errout.adb (First_Node): minor renaming
2011-08-02 Yannick Moy <moy@adacore.com>
* errout.adb (First_Node): minor renaming
* restrict.adb (Check_Formal_Restriction): put restriction warning on
first node.
From-SVN: r177155
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 08af7e6..883128a 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -123,18 +123,14 @@ package body Restrict is -- Error_Msg_Sloc to the location of the pragma restriction, save and -- restore the previous value of the global variable around the call. - -- ??? N in call to Check_Restriction should be First_Node (N), but - -- this causes an exception to be raised when analyzing osint.adb. - -- To be modified together with the calls to Error_Msg_N. - Save_Error_Msg_Sloc := Error_Msg_Sloc; - Check_Restriction (Msg_Issued, SPARK, N); -- N -> First_Node (N) + Check_Restriction (Msg_Issued, SPARK, First_Node (N)); Error_Msg_Sloc := Save_Error_Msg_Sloc; if Msg_Issued then - Error_Msg_N ("\\| " & Msg, N); -- Error_Msg_N -> Error_Msg_F + Error_Msg_F ("\\| " & Msg, N); elsif SPARK_Mode then - Error_Msg_N ("|~~" & Msg, N); -- Error_Msg_N -> Error_Msg_F + Error_Msg_F ("|~~" & Msg, N); end if; end if; end Check_Formal_Restriction; |