diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2013-04-25 10:13:14 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:13:14 +0200 |
| commit | 42fdc85bfbf3b7eab8b860c2fcfdc3b7696acb2e (patch) | |
| tree | 3977c15587116896b00f1879f3e75814b6a198d3 /gcc/ada/sem_util.ads | |
| parent | 99a71c65ab06b6f960b80fd02879c003701eab41 (diff) | |
| download | gcc-42fdc85bfbf3b7eab8b860c2fcfdc3b7696acb2e.zip gcc-42fdc85bfbf3b7eab8b860c2fcfdc3b7696acb2e.tar.gz gcc-42fdc85bfbf3b7eab8b860c2fcfdc3b7696acb2e.tar.bz2 | |
einfo.ads, einfo.adb: Remove with and use clauses for Namet.
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.ads, einfo.adb: Remove with and use clauses for Namet.
(Find_Pragma): New routine.
* sem_util.ads, sem_util.adb (Find_Pragma): Moved to einfo.
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Add_Call): Do not capture the nature of the inherited
predicate.
(Add_Predicates): Save the static predicate for diagnostics and error
reporting purposes.
(Process_PPCs): Remove local variables Dynamic_Predicate_Present and
Static_Predicate_Present. Add local variable Static_Pred. Ensure that
the expression of a static predicate is static.
From-SVN: r198283
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 11b7a91..fa5b6e3 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -494,11 +494,6 @@ package Sem_Util is -- Return the type of formal parameter Param as determined by its -- specification. - function Find_Pragma (Id : Entity_Id; Name : Name_Id) return Node_Id; - -- Given entity Id and pragma name Name, attempt to find the corresponding - -- pragma in Id's chain of representation items. The function returns Empty - -- if no such pragma has been found. - function Find_Static_Alternative (N : Node_Id) return Node_Id; -- N is a case statement whose expression is a compile-time value. -- Determine the alternative chosen, so that the code of non-selected |