diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:41:04 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:41:04 +0200 |
| commit | 7086115738d507d23077076d076499c02791c703 (patch) | |
| tree | 7141db9e00c10e8daf06deb7a71f61e2b545f5b4 /gcc/ada/gnatcmd.adb | |
| parent | 24778dbb9a732e8c626807b1a5f4bfe8cec09a58 (diff) | |
| download | gcc-7086115738d507d23077076d076499c02791c703.zip gcc-7086115738d507d23077076d076499c02791c703.tar.gz gcc-7086115738d507d23077076d076499c02791c703.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/gnatcmd.adb')
0 files changed, 0 insertions, 0 deletions