diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-22 12:44:46 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-22 12:44:46 +0200 |
| commit | f6820c2d0eb622884ac873db8d0e360c2ff4480e (patch) | |
| tree | d0a41249d44138bcc6fb4de33ba0fc5937bac577 /gcc/ada/sem_util.adb | |
| parent | 16d3a85360dde6290cd043d6da3f6b5adb1b98e6 (diff) | |
| download | gcc-f6820c2d0eb622884ac873db8d0e360c2ff4480e.zip gcc-f6820c2d0eb622884ac873db8d0e360c2ff4480e.tar.gz gcc-f6820c2d0eb622884ac873db8d0e360c2ff4480e.tar.bz2 | |
[multiple changes]
2013-04-22 Pascal Obry <obry@adacore.com>
* gnat_ugn.texi, prj-nmsc.adb, projects.texi: Add check for
Library_Standalone and Library_Kind.
2013-04-22 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Expand_Actuals): If the call is to an
inherited operation and the actual is a by-reference type with
predicates, add predicate call to post-call actions.
* sem_util.adb (Is_Inherited_Operation_For_Type): Fix coding
error: a type declaration has a defining identifier, not an Etype.
* sem_res.adb: Restore code removed because of above error.
2013-04-22 Doug Rupp <rupp@adacore.com>
* init.c (__gnat_handle_vms_condition): Also match C$_SIGINT.
From-SVN: r198130
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 00db63d..fb45129 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -8462,8 +8462,11 @@ package body Sem_Util is Typ : Entity_Id) return Boolean is begin + -- Check that the operation has been created by the declaration for + -- the type. + return Is_Inherited_Operation (E) - and then Etype (Parent (E)) = Typ; + and then Defining_Identifier (Parent (E)) = Typ; end Is_Inherited_Operation_For_Type; ----------------- |