projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 024238a) | patch
einfo.adb (Spec_PPC): Now defined for generic subprograms
authorRobert Dewar <dewar@adacore.com>
Thu, 31 Jul 2008 09:42:14 +0000 (11:42 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2008 09:42:14 +0000 (11:42 +0200)
commit393e63ce0f939555c88554d773f9798f07a2a898
tree8f1cc2f889404ce6ca9d074bcaef6bb8240d40aftree
parent024238a2bf6ed3340ccd940d3298ccfa2e99b939commit | diff
einfo.adb (Spec_PPC): Now defined for generic subprograms

2008-07-31  Robert Dewar  <dewar@adacore.com>

* einfo.adb (Spec_PPC): Now defined for generic subprograms

* einfo.ads (Spec_PPC): Now defined for generic subprograms

* sem_prag.adb (Check_Precondition_Postcondition): Handle generic
subprogram case

From-SVN: r138370
gcc/ada/einfo.adb diff | blob | history
gcc/ada/einfo.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history