]> git.ipfire.org Git - thirdparty/gcc.git/commit
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 5 Dec 2012 10:24:18 +0000 (11:24 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 5 Dec 2012 10:24:18 +0000 (11:24 +0100)
commit3565684abb01b478601fdc20a161f9f7558ac732
tree34cc58fe86a531417d38eebdc7646b02264162b3
parent15c94a55b13ad6c4c2e4178d2df7a4fe2ad8c54b
[multiple changes]

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.

From-SVN: r194194
gcc/ada/ChangeLog
gcc/ada/gnat1drv.adb
gcc/ada/gnat_ugn.texi
gcc/ada/gnatbind.adb