projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fce1f9) | patch
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 8 Jul 2013 08:19:20 +0000 (08:19 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 8 Jul 2013 08:19:20 +0000 (08:19 +0000)
commitc69585bd3a695c12ca881781e245af69d3007b14
tree7c0c51ec75e08539b1ae46df7140c5e3b9e335b0tree | snapshot
parent7fce1f920890ccaf90f4981041f21d06e525e4e5commit | diff
2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* einfo.adb (Get_Pragma): Handle the retrieval of delayed
pragmas stored in N_Contract nodes.
* einfo.ads (Get_Pragma): Update the comment on usage.
* sem_prag.adb (Check_Precondition_Postcondition): Retain a copy
of the pragma when it applies to a body that acts as a spec. The
copy is preanalyzed and chained on the contract of the body.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200774 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | history
gcc/ada/einfo.adb diff | blob | history
gcc/ada/einfo.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;