| commit | caa0a5e9bc86858909102856acda216ad959cd54 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Aug 2014 10:10:23 +0000 (4 10:10 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Aug 2014 10:10:23 +0000 (4 10:10 +0000) | ||
| tree | b4be9bc9da828ac384e6c02e31a9563d3e2d742f | treesnapshot (tar.gz zip) |
| parent | 5469a1bf9b95384192cb00b5dfac3db18753a629 | commitdiff |
2014-08-04 Arnaud Charlet <charlet@adacore.com>
* sem_scil.ads: Improve comments.
* sem_ch4.adb (Analyze_Equality_Op): Add support for
Allow_Integer_Address (equality between Address and Integer).
2014-08-04 Yannick Moy <moy@adacore.com>
* a-cfhama.adb, a-cforse.adb: Minor fixes to avoid using prefix
notation on untagged objects.
* sem.ads: Update comment.
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Do
not inline subprograms declared in the visible part of a package.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213560 138bc75d-0d04-0410-961f-82ee72b054a4
* sem_scil.ads: Improve comments.
* sem_ch4.adb (Analyze_Equality_Op): Add support for
Allow_Integer_Address (equality between Address and Integer).
2014-08-04 Yannick Moy <moy@adacore.com>
* a-cfhama.adb, a-cforse.adb: Minor fixes to avoid using prefix
notation on untagged objects.
* sem.ads: Update comment.
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Do
not inline subprograms declared in the visible part of a package.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213560 138bc75d-0d04-0410-961f-82ee72b054a4