diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 15:15:34 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 15:15:34 +0000 |
commit | 93468e33d6af32a018d3f4fe72cc591d8ba8489c (patch) | |
tree | c3ea2492b8063eb3e367076a7a649f1c50270310 /gcc/ada/s-except.ads | |
parent | cf45b2315ce75491ccf80351a6d83cd7c5d90cca (diff) | |
download | gcc-93468e33d6af32a018d3f4fe72cc591d8ba8489c.tar.gz |
2014-01-20 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Analyze_Attribute, case Loop_Entry): Allow
Loop_Entry in Assert, Assert_And_Cut, and Assume pragmas.
* sem_prag.adb (Analyze_Pragma, case Assert[_And_Cut], Assume):
Allow Loop_Entry to be used in these pragmas if they appear in
an appropriate context.
(Placement_Error): Specialize error
message for pragma Assert[_And_Cut] or pragma Assume containing
Loop_Entry attribute.
* a-exexpr-gcc.adb, sinput.adb: Minor reformatting.
* s-excmac-arm.ads, s-except.ads, s-excmac-gcc.ads: Minor reformatting
and code clean ups.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206818 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-except.ads')
-rw-r--r-- | gcc/ada/s-except.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/s-except.ads b/gcc/ada/s-except.ads index 255ca859783..b7087c68f69 100644 --- a/gcc/ada/s-except.ads +++ b/gcc/ada/s-except.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2006-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2006-2013, 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- -- @@ -37,7 +37,7 @@ package System.Exceptions is -- To let Ada.Exceptions "with" us and let us "with" Standard_Library ZCX_By_Default : constant Boolean; - -- Visible copy to allow Ada.Exceptions to know the exception model. + -- Visible copy to allow Ada.Exceptions to know the exception model private |