projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 604b5bc) | patch
opt.ads (Treat_Restrictions_As_Warnings): New switch
authorRobert Dewar <dewar@adacore.com>
Tue, 20 May 2008 12:47:49 +0000 (14:47 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 20 May 2008 12:47:49 +0000 (14:47 +0200)
commit23e6615e0fb38cfb3b3480e2adfbf4b49cb9a7c0
tree6057e60f87f368caaf3ed4d9c6a0825c0c9f954dtree
parent604b5bcb1780cb0cb7c0ed24f2f2ce6e0545322dcommit | diff
opt.ads (Treat_Restrictions_As_Warnings): New switch

2008-05-20  Robert Dewar  <dewar@adacore.com>

* opt.ads (Treat_Restrictions_As_Warnings): New switch

* sem_prag.adb, par-prag.adb, restrict.ads: Implement flag
Treat_Restrictions_As_Warnings.

* switch-c.adb: Recognize new switch -gnatr

* usage.adb: Add line for -gnatr

From-SVN: r135632
gcc/ada/opt.ads diff | blob | history
gcc/ada/par-prag.adb diff | blob | history
gcc/ada/restrict.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
gcc/ada/switch-c.adb diff | blob | history
gcc/ada/usage.adb diff | blob | history