projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f15749a) | patch
sem_ch3.adb (Process_Range_Expr_In_Decl): Add comments on generation of _FIRST and...
authorRobert Dewar <dewar@adacore.com>
Thu, 31 Jul 2014 12:43:28 +0000 (12:43 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2014 12:43:28 +0000 (14:43 +0200)
commit16b5e0b7c5ddfe3d8722b1ffcfa6d66047f8228f
treea37e2f2f0dfe990acae669f9ca5623030418594dtree
parentf15749aa1c22f3aebab55be5202d9fa852bd18fccommit | diff
sem_ch3.adb (Process_Range_Expr_In_Decl): Add comments on generation of _FIRST and _LAST variables even in GNATprove_Mode.

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

* sem_ch3.adb (Process_Range_Expr_In_Decl): Add comments on
generation of _FIRST and _LAST variables even in GNATprove_Mode.
* gnat_ugn.texi: Minor editing.
* sem_prag.adb (Ensure_Aggregate_Form): Make sure generated
aggregate is marked Comes_From_Source if argument is CFS.

From-SVN: r213351
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history