projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24778db) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 24 Apr 2013 14:41:04 +0000 (16:41 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 24 Apr 2013 14:41:04 +0000 (16:41 +0200)
commit7086115738d507d23077076d076499c02791c703
tree7141db9e00c10e8daf06deb7a71f61e2b545f5b4tree | snapshot
parent24778dbb9a732e8c626807b1a5f4bfe8cec09a58commit | diff
[multiple changes]

2013-04-24  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_ch7.adb: Minor reformatting.
* gnat_rm.texi: Document pragma Loop_Invariant.
* sem_attr.adb (Analyze_Attribute, case Loop_Entry): This is
no longer an S14_Attribute.
* sem_prag.adb (Analyze_Pragma, case Loop_Invariant): Combine
processing with Assert, allow message parameter, remove call
to S14_Pragma.

2013-04-24  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb: Minor reformatting.

From-SVN: r198241
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_ch4.adb diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/sem_attr.adb diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_ch7.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;