projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9a7943) | patch
gnat_ugn.texi: Document new switch -gnato0.
authorRobert Dewar <dewar@adacore.com>
Thu, 31 Jul 2014 09:46:06 +0000 (09:46 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2014 09:46:06 +0000 (11:46 +0200)
commite95ad7ea78884d4df12f60a8d3592989b895664b
tree0f391a6a56870e6cc571ea4c576b17789b2a079btree
parente9a794351b31fd48b76e65c2dc29f534829e42cccommit | diff
gnat_ugn.texi: Document new switch -gnato0.

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

* gnat_ugn.texi: Document new switch -gnato0.
* sem_ch3.ads: Minor reformatting.
* gnatlink.adb (Process_Args): Compile bind file with -gnato0
(we do not want overflow checks when incrementing elaboration
counters).
* einfo.ads: Minor reformatting.

From-SVN: r213328
gcc/ada/ChangeLog diff | blob | history
gcc/ada/einfo.ads diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history
gcc/ada/gnatlink.adb diff | blob | history
gcc/ada/sem_ch3.ads diff | blob | history