OSDN Git Service

(root) / pf3gnuchains / gcc-fork.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25d7387) | patch
2011-08-01 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 1 Aug 2011 08:59:50 +0000 (08:59 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 1 Aug 2011 08:59:50 +0000 (08:59 +0000)
commit88008f535ae38aa485f7ecb2583d38529ff7df7c
treec97b4b0bfb9c203a519611dae003a263130a3d97tree | snapshot
parent25d7387838a36ff0636a5c27c019c7aabd20aaf3commit | diff
2011-08-01  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Analyze_Attribute, case 'Result): Handle properly a
quantified expression that appears within a postcondition and uses the
Ada2012 'Result attribute.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177001 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_attr.adb diff | blob | history
About OSDN
Find Software
Develop Software
Help