diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:30:55 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:30:55 +0200 |
| commit | f9adb9d4809ee3a581551734f9d82a03ce5cff18 (patch) | |
| tree | dca6bc667fec0d4019625565da962cad56295847 /gcc/ada/scng.adb | |
| parent | 83f331504ee98ff8a88d47bb91ea0feafd3f97b2 (diff) | |
| download | gcc-f9adb9d4809ee3a581551734f9d82a03ce5cff18.zip gcc-f9adb9d4809ee3a581551734f9d82a03ce5cff18.tar.gz gcc-f9adb9d4809ee3a581551734f9d82a03ce5cff18.tar.bz2 | |
[multiple changes]
2011-08-02 Vincent Celier <celier@adacore.com>
* link.c: Only import "auto-host.h" when building the gnattools.
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_util.adb: Inter-unit inlining does not work for a subprogram
which calls a local subprogram, so extract subprogram
from Mark_Non_ALFA_Subprogram_Body.
2011-08-02 Javier Miranda <miranda@adacore.com>
* exp_ch9.adb
(Extract_Dispatching_Call): If the type of the dispatching object is an
access type then return an explicit dereference in the Object out-mode
parameter.
2011-08-02 Gary Dismukes <dismukes@adacore.com>
* sem_ch3.adb (Analyze_Subtype_Declaration): Generate range
compatibility checks for all indexes of an array subtype, not just the
first. Reset Has_Dynamic_Range_Check on the subtype before each
potential check to ensure that Insert_Range_Checks will not elide any
of the dynamic checks.
2011-08-02 Yannick Moy <moy@adacore.com>
* par-prag.ad (Process_Restrictions_Or_Restriction_Warnings): recognize
SPARK restriction at parsing time.
* scng.adb (Scan): Generate a token Tok_SPARK_Hide for a SPARK HIDE
directive only if the SPARK restriction is set for this unit.
From-SVN: r177183
Diffstat (limited to 'gcc/ada/scng.adb')
| -rw-r--r-- | gcc/ada/scng.adb | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/scng.adb b/gcc/ada/scng.adb index 420a4f0..73b8f39 100644 --- a/gcc/ada/scng.adb +++ b/gcc/ada/scng.adb @@ -28,6 +28,8 @@ with Err_Vars; use Err_Vars; with Hostparm; use Hostparm; with Namet; use Namet; with Opt; use Opt; +with Restrict; use Restrict; +with Rident; use Rident; with Scans; use Scans; with Sinput; use Sinput; with Snames; use Snames; @@ -1762,7 +1764,12 @@ package body Scng is return; end if; - if Source (Start_Of_Comment) = '#' then + -- Generate a token Tok_SPARK_Hide for a SPARK HIDE directive + -- only if the SPARK restriction is set for this unit. + + if Restriction_Check_Required (SPARK) + and then Source (Start_Of_Comment) = '#' + then declare Scan_SPARK_Ptr : Source_Ptr; |