diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 12:52:48 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 12:52:48 +0200 |
| commit | 6413dd818096d3d76b6da424f454da7638bfe847 (patch) | |
| tree | a4c5ef63a6f4bff40cee7c54bc04bbb6b0aaffc9 /gcc/ada/sem_prag.adb | |
| parent | 2735b82d096137ab53517510fd3669e60a663915 (diff) | |
| download | gcc-6413dd818096d3d76b6da424f454da7638bfe847.zip gcc-6413dd818096d3d76b6da424f454da7638bfe847.tar.gz gcc-6413dd818096d3d76b6da424f454da7638bfe847.tar.bz2 | |
[multiple changes]
2014-05-21 Bob Duff <duff@adacore.com>
* sem_util.adb (Is_Dependent_Component_Of_Mutable_Object):
This was returning False if the Object is a constant view. Fix
it to return True in that case, because it might be a view of
a variable.
(Has_Discriminant_Dependent_Constraint): Fix latent
bug; this function was crashing when passed a discriminant.
2014-05-21 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Remove misplaced section that is now obsolete.
* s-arit64.adb: Minor code reorganization.
* sem_prag.adb: Minor comment fix (remove erroneous use of the
term erroneous).
2014-05-21 Robert Dewar <dewar@adacore.com>
* g-table.adb, g-dyntab.adb (Reallocate): Fix possible overflow in
computing new table size.
From-SVN: r210690
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index c8ef01a..f5a5074 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -1239,7 +1239,7 @@ package body Sem_Prag is Is_Input : Boolean) is procedure Usage_Error (Item : Node_Id; Item_Id : Entity_Id); - -- Emit an error concerning the erroneous usage of an item + -- Emit an error concerning the illegal usage of an item ----------------- -- Usage_Error -- @@ -1783,10 +1783,11 @@ package body Sem_Prag is Is_Last => Clause = Last_Clause); end if; - -- Do not normalize an erroneous clause because the inputs - -- and/or outputs may denote illegal items. Normalization is - -- disabled in ASIS mode as it alters the tree by introducing - -- new nodes similar to expansion. + -- Do not normalize a clause if errors were detected (count + -- of Serious_Errors has increased) because the inputs and/or + -- outputs may denote illegal items. Normalization is disabled + -- in ASIS mode as it alters the tree by introducing new nodes + -- similar to expansion. if Serious_Errors_Detected = Errors and then not ASIS_Mode then Normalize_Clause (Clause); @@ -2288,7 +2289,7 @@ package body Sem_Prag is raise Program_Error; end if; - -- Any other attempt to declare a global item is erroneous + -- Any other attempt to declare a global item is illegal else Error_Msg_N ("malformed global list", List); @@ -4700,7 +4701,7 @@ package body Sem_Prag is Prag := Stmt; -- A non-pragma is separating the group from the - -- current pragma, the placement is erroneous. + -- current pragma, the placement is illegal. else Grouping_Error (Prag); @@ -10584,7 +10585,7 @@ package body Sem_Prag is then Analyze_External_Option (Opt); - -- When an erroneous option Part_Of is without a parent + -- When an illegal option Part_Of is without a parent -- state, it appears in the list of expression of the -- aggregate rather than the component associations -- (SPARK RM 7.1.4(9)). @@ -10627,7 +10628,7 @@ package body Sem_Prag is Next (Opt); end loop; - -- Any other attempt to declare a state is erroneous + -- Any other attempt to declare a state is illegal else Error_Msg_N ("malformed abstract state declaration", State); @@ -25515,7 +25516,7 @@ package body Sem_Prag is elsif N = Name_Off then return Off; - -- Any other argument is erroneous + -- Any other argument is illegal else raise Program_Error; |