| commit | 69004fe69dbaa69b02be0f58c19fdcc2619343c2 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 17 Oct 2014 09:14:42 +0000 (17 09:14 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 17 Oct 2014 09:14:42 +0000 (17 09:14 +0000) | ||
| tree | 49c76a71cef5eca887b178580483be6062485b4a | treesnapshot (tar.gz zip) |
| parent | b85d62ecf9725856a93b95c1bc9750cded220de8 | commitdiff |
2014-10-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Add_Invariants, Replace_Type_References): Do
not perform the replacement on the expression for an inherited
class-wide invariant if in ASIS_Mode and the type reference is
already the prefix of a 'Class attribute reference: the expression
has already been preanalyzed and the replacement performed when
first encountered on the declaration of the parent type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216382 138bc75d-0d04-0410-961f-82ee72b054a4
* sem_ch13.adb (Add_Invariants, Replace_Type_References): Do
not perform the replacement on the expression for an inherited
class-wide invariant if in ASIS_Mode and the type reference is
already the prefix of a 'Class attribute reference: the expression
has already been preanalyzed and the replacement performed when
first encountered on the declaration of the parent type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216382 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_ch13.adb | diffblobblamehistory |