diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:10:58 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:10:58 +0200 |
| commit | 99a71c65ab06b6f960b80fd02879c003701eab41 (patch) | |
| tree | a92ff2d292c0515852b47744bcaf3b740c139a9d /gcc/tree-ssa-loop-ivopts.c | |
| parent | 09a078a19d3159edcc0e08138721677e219803ac (diff) | |
| download | gcc-99a71c65ab06b6f960b80fd02879c003701eab41.zip gcc-99a71c65ab06b6f960b80fd02879c003701eab41.tar.gz gcc-99a71c65ab06b6f960b80fd02879c003701eab41.tar.bz2 | |
[multiple changes]
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Is_Ghost_Subprogram): Remove useless code.
2013-04-25 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Minor addition of index entry.
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Check_Access_Invariants): Test whether an
invariant procedure is empty before generating a call to it.
(Has_Enabled_Predicate): New routine.
(Has_Null_Body): New routine.
(Process_PPCs): Test whether an invariant procedure is
empty before generating a call to it. Test whether predicates are
enabled for a particular type before generating a predicate call.
* sem_util.ads, sem_util.adb (Find_Pragma): New routine.
From-SVN: r198282
Diffstat (limited to 'gcc/tree-ssa-loop-ivopts.c')
0 files changed, 0 insertions, 0 deletions