diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 14:39:44 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 14:39:44 +0200 |
| commit | da574a866b86e92f0305e68ddb7f1993365fb5dd (patch) | |
| tree | ba9f0ac533f629f4411df8124838123e84d56389 /gcc/ada/sinput-l.ads | |
| parent | 77a40ec16aeae9e13a96cef15799dd992cd23106 (diff) | |
| download | gcc-da574a866b86e92f0305e68ddb7f1993365fb5dd.zip gcc-da574a866b86e92f0305e68ddb7f1993365fb5dd.tar.gz gcc-da574a866b86e92f0305e68ddb7f1993365fb5dd.tar.bz2 | |
[multiple changes]
2014-05-21 Robert Dewar <dewar@adacore.com>
* stand.adb (Tree_Read): Read missing entities.
(Tree_Write): Write missing entities.
2014-05-21 Ben Brosgol <brosgol@adacore.com>
* gnat_ugn.texi: Wordsmithing edits to Coupling Metrics Control
section in gnatmetric chapter.
2014-05-21 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb (Expand_Actuals): Spec moved here, since not used
outside Exp_Ch6 (Expand_Actuals): Deal with proper insertion of
post-call copy write back (see detailed comment in code).
* exp_ch6.ads (Expand_Actuals): Moved to body, not used outside
Exp_Ch6.
* tbuild.ads: Minor reformatting.
2014-05-21 Robert Dewar <dewar@adacore.com>
* stand.ads: Add warning about adding new entities and
Tree_Read/Tree_Write.
2014-05-21 Robert Dewar <dewar@adacore.com>
* sem_util.adb (Set_Entity_With_Checks): Don't complain about
references to restricted entities within the units in which they
are declared.
2014-05-21 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Check_Bad_Body): Use Source_File_Is_Body to
simplify the needed test, and also deal with failure to catch
situations with non-standard names.
* sinput-l.ads, sinput-l.adb (Source_File_Is_No_Body): New function
(Source_File_Is_Subunit): Removed, no longer used.
2014-05-21 Javier Miranda <miranda@adacore.com>
* exp_ch4.adb
(Expand_Allocator_Expression.Apply_Accessibility_Check): for a
renaming of an access to interface object there is no need to
generate extra code to reference the tag.
From-SVN: r210696
Diffstat (limited to 'gcc/ada/sinput-l.ads')
| -rw-r--r-- | gcc/ada/sinput-l.ads | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/gcc/ada/sinput-l.ads b/gcc/ada/sinput-l.ads index a72237ba..c1ac9c5 100644 --- a/gcc/ada/sinput-l.ads +++ b/gcc/ada/sinput-l.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -64,19 +64,16 @@ package Sinput.L is -- Called on completing the parsing of a source file. This call completes -- the source file table entry for the current source file. + function Source_File_Is_Body (X : Source_File_Index) return Boolean; + -- Returns true if the designated source file contains a subprogram body + -- or a package body. This is a limited scan just to determine the answer + -- to this question.. + function Source_File_Is_No_Body (X : Source_File_Index) return Boolean; -- Returns true if the designated source file contains pragma No_Body; -- and no other tokens. If the source file contains anything other than -- this sequence of three tokens, then False is returned. - function Source_File_Is_Subunit (X : Source_File_Index) return Boolean; - -- This function determines if a source file represents a subunit. It - -- works by scanning for the first compilation unit token, and returning - -- True if it is the token SEPARATE. It will return False otherwise, - -- meaning that the file cannot possibly be a legal subunit. This - -- function does NOT do a complete parse of the file, or build a - -- tree. It is used in the main driver in the check for bad bodies. - ------------------------------------------------- -- Subprograms for Dealing With Instantiations -- ------------------------------------------------- |