[Ada] gnatbind: do not list No_Implementation_Restrictions
authorBob Duff <duff@adacore.com>
Wed, 23 May 2018 10:23:34 +0000 (10:23 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 23 May 2018 10:23:34 +0000 (10:23 +0000)
commitb77c24b8c0e484181de399ac7c46f2749add582d
tree72c496d5e9f0fae277a2ccaa734715e494d30744
parentb30f86de98a05244dbe3bf57f6afd170f2421f23
[Ada] gnatbind: do not list No_Implementation_Restrictions

When the gnatbind -r switch is used, do not list
No_Implementation_Restrictions, because after using the new restriction list,
No_Implementation_Restrictions will cause an error.

2018-05-23  Bob Duff  <duff@adacore.com>

gcc/ada/

* gnatbind.adb (List_Applicable_Restrictions): Add
No_Implementation_Restrictions to the list of restrictions not to list.
Remove double negative "not No_Restriction_List".  Comment the
commentary that is output, so it won't cause errors if used directly in
a gnat.adc.

From-SVN: r260593
gcc/ada/ChangeLog
gcc/ada/gnatbind.adb