diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 09:17:46 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 09:17:46 +0000 |
| commit | 992ec8bcb63d0bc997d1d012339cf871c346078f (patch) | |
| tree | e10f4754a39287ad20096cfb93f40edf8cf10f77 /gcc/ada/errout.ads | |
| parent | 7ef6449a8e66fff3c9c967bbbe121db720e46458 (diff) | |
| download | gcc-992ec8bcb63d0bc997d1d012339cf871c346078f.tar.gz | |
2011-08-02 Yannick Moy <moy@adacore.com>
* errout.adb, errout.ads (Check_Formal_Restriction): move procedure
from here...
* restrict.adb, restrict.ads (Check_Formal_Restriction): ...to here
* sem_aggr.adb, sem_ch5.adb, sem_util.adb:
Add with/use clauses to make Check_Formal_Restriction visible
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Check_Generic_Actuals): handle properly actual
in-parameters when type of the generic formal is private in the generic
spec and non-private in the body.
2011-08-02 Claire Dross <dross@adacore.com>
* a-cfdlli.adb, a-cfdlli.ads, a-cfhase.adb, a-cfhase.ads, a-cfhama.adb,
a-cfhama.ads, a-cforse.adb, a-cforse.ads, a-cforma.adb, a-cforma.ads,
a-cofove.adb, a-cofove.ads: New files implementing formal containers.
* impunit.adb, Makefile.rtl: Take new files into account.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177102 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/errout.ads')
| -rw-r--r-- | gcc/ada/errout.ads | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index 933f58dad5e..57b8efe0abb 100644 --- a/gcc/ada/errout.ads +++ b/gcc/ada/errout.ads @@ -740,13 +740,6 @@ package Errout is -- the given text. This text may contain insertion characters in the -- usual manner, and need not be the same length as the original text. - procedure Check_Formal_Restriction (Msg : String; N : Node_Id); - -- Provides a wrappper on Error_Msg_F which prepends the special characters - -- "|~~" (error not serious, language prepended) provided: - -- * the current mode is formal verification. - -- * the node N comes originally from source. - -- Otherwise, does nothing. - function First_Node (C : Node_Id) return Node_Id; -- Given a construct C, finds the first node in the construct, i.e. the -- one with the lowest Sloc value. This is useful in placing error msgs. |