diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-02 10:28:56 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-02 10:28:56 +0100 |
| commit | e0c23ac71cc0123d053fb5b23d33b5fbcf1f8947 (patch) | |
| tree | 786f95a5c26b0859c8ac363ddf0bae78825fe7db /gcc/ada/checks.adb | |
| parent | e99991618f2f64eda18a257b5d653bd0f5d91028 (diff) | |
| download | gcc-e0c23ac71cc0123d053fb5b23d33b5fbcf1f8947.zip gcc-e0c23ac71cc0123d053fb5b23d33b5fbcf1f8947.tar.gz gcc-e0c23ac71cc0123d053fb5b23d33b5fbcf1f8947.tar.bz2 | |
[multiple changes]
2015-03-02 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, exp_attr.adb, checks.adb, exp_aggr.adb: Minor
reformatting.
2015-03-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb: extend use of Available_Subtype.
2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Duplication_Error): Remove the special handling
of 'Class or _Class in the context of pre/postconditions.
(Process_Class_Wide_Condition): Remove the special handling of
'Class or _Class in the context of pre/postconditions.
* sem_util.adb (Original_Aspect_Pragma_Name): Names Pre_Class
and Post_Class no longer need to be converted to _Pre and _Post.
* sem_util.ads (Original_Aspect_Pragma_Name): Update the comment
on usage.
2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Process_Preconditions): Modify the
mechanism that find the first source declaration to correct exit
the loop once it has been found.
2015-03-02 Gary Dismukes <dismukes@adacore.com>
* a-strsea.adb: Minor typo fix.
2015-03-02 Bob Duff <duff@adacore.com>
* einfo.ads: Minor comment fixes.
From-SVN: r221103
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 759f940..e869605 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -2576,7 +2576,7 @@ package body Checks is or else Is_Formal_Subprogram (Subp) - -- Do not process imported subprograms since pre- and postconditions + -- Do not process imported subprograms since pre and postconditions -- are never verified on routines coming from a different language. or else Is_Imported (Subp) |