2011-08-03 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 3 Aug 2011 15:27:54 +0000 (15:27 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 3 Aug 2011 15:27:54 +0000 (15:27 +0000)
commitd8c1cfef7febf544cfec608b90dc2d3c453f3dfb
tree691e535ad779aa9a344f9ae0bfad919b3ee6b0a3
parentb11c9a7f241bb1faac01dadb1523b6191f9ce58b
2011-08-03  Yannick Moy  <moy@adacore.com>

* sem_ch4.adb (Analyze_Conditional_Expression): only allow boolean
conditional expression in ALFA.
* sem_res.adb (Resolve_Conditional_Expression): mark non-boolean
expressions as not in ALFA.

2011-08-03  Robert Dewar  <dewar@adacore.com>

* a-cofove.adb: Minor reformatting.

2011-08-03  Emmanuel Briot  <briot@adacore.com>

* make.adb, prj.adb, prj.ads, makeutl.adb, makeutl.ads
(Insert_Project_Sources, Insert_withed_Sources_For): moved from the
gprbuild sources.
These packages are more logically placed in the Queue package, since
they manipulate the queue. It is also likely that they can be adapted
for gnatmake, thus sharing more code.
(Finish_Program, Fail_Program): moved from the gprbuild sources, so
that we could move the above.

2011-08-03  Emmanuel Briot  <briot@adacore.com>

* errutil.adb (Finalize): clean up the list of error messages on exit.
Calling this subprogram multiple times will no longer show duplicate
error messages on stderr.

2011-08-03  Emmanuel Briot  <briot@adacore.com>

* g-comlin.adb, g-comlin.ads (Set_Command_Line): ignore the parameter
Getopt_Switches when we have already define a command line
configuration.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177286 138bc75d-0d04-0410-961f-82ee72b054a4
12 files changed:
gcc/ada/ChangeLog
gcc/ada/a-cofove.adb
gcc/ada/errutil.adb
gcc/ada/g-comlin.adb
gcc/ada/g-comlin.ads
gcc/ada/make.adb
gcc/ada/makeutl.adb
gcc/ada/makeutl.ads
gcc/ada/prj.adb
gcc/ada/prj.ads
gcc/ada/sem_ch4.adb
gcc/ada/sem_res.adb