OSDN Git Service

2012-12-05 Arnaud Charlet <charlet@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 5 Dec 2012 10:24:18 +0000 (10:24 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 5 Dec 2012 10:24:18 +0000 (10:24 +0000)
commitaf25d38ddd93585bdea6e52ddc49e6310c82b527
tree34cc58fe86a531417d38eebdc7646b02264162b3
parentdb4153835eca545214281d0aad18d942ce28a3fa
2012-12-05  Arnaud Charlet  <charlet@adacore.com>

* gnat_ugn.texi: Fix typo.

2012-12-05  Tristan Gingold  <gingold@adacore.com>

* gnatbind.adb: Minor comment update.

2012-12-05  Yannick Moy  <moy@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Set flags to indicate that
CodePeer backend deals with divide and overflow checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194194 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gnat1drv.adb
gcc/ada/gnat_ugn.texi
gcc/ada/gnatbind.adb