]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 362fcef) | patch
einfo.ads, einfo.adb (Postcondition_Proc): New attribute for procedures.
authorRobert Dewar <dewar@adacore.com>
Fri, 10 Apr 2009 13:44:18 +0000 (13:44 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 10 Apr 2009 13:44:18 +0000 (15:44 +0200)
commit7ca78bba4d3036c0a7257fcebc7c5ba79ad0dcad
tree9c47246fed8f63f26708ed53c151cd7fe5b02a6ctree
parent362fcef348df57c6adf6480b32c8564fb79a301acommit | diff
einfo.ads, einfo.adb (Postcondition_Proc): New attribute for procedures.

2009-04-10  Robert Dewar  <dewar@adacore.com>

* einfo.ads, einfo.adb (Postcondition_Proc): New attribute for
procedures.

* sem_ch6.adb: Minor code clean up.

From-SVN: r145903
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/einfo.adb diff | blob | blame | history
gcc/ada/einfo.ads diff | blob | blame | history
gcc/ada/sem_ch6.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.062245 seconds and 5 git commands to generate.