diff options
author | Robert Dewar <dewar@adacore.com> | 2014-07-17 06:31:56 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-17 08:31:56 +0200 |
commit | 59f4d03898e13da463a202919875dfa3fac43456 (patch) | |
tree | 84782b9ac1d2b0036fbe2feefa633ef942ef6fe3 /gcc/ada/checks.ads | |
parent | 26d5fb62eff87da5ee2ff5bf2f7129d2a842f8c6 (diff) | |
download | gcc-59f4d03898e13da463a202919875dfa3fac43456.zip gcc-59f4d03898e13da463a202919875dfa3fac43456.tar.gz gcc-59f4d03898e13da463a202919875dfa3fac43456.tar.bz2 |
back_end.adb: Minor reformatting and comment additions.
2014-07-17 Robert Dewar <dewar@adacore.com>
* back_end.adb: Minor reformatting and comment additions.
* checks.ads, checks.adb (Duplicated_Tag_Checks_Suppressed): New
function.
* exp_disp.adb (Make_DT): Use Duplicated_Tag_Checks_Suppressed.
(Make_VM_TSD): Use Duplicated_Tag_Checks_Suppressed.
* gnat_rm.texi: Document new check Duplicated_Tag_Checks_Suppressed.
* gnat_ugn.texi: Additional documentation for Duplicated_Tag_Check.
* snames.ads-tmpl (Duplicated_Tag_Checks_Suppressed): New check.
* types.ads (Duplicated_Tag_Checks_Suppressed): New check.
From-SVN: r212724
Diffstat (limited to 'gcc/ada/checks.ads')
-rw-r--r-- | gcc/ada/checks.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index f825e5e..e1b538d 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -54,6 +54,7 @@ package Checks is function Atomic_Synchronization_Disabled (E : Entity_Id) return Boolean; function Discriminant_Checks_Suppressed (E : Entity_Id) return Boolean; function Division_Checks_Suppressed (E : Entity_Id) return Boolean; + function Duplicated_Tag_Checks_Suppressed (E : Entity_Id) return Boolean; function Elaboration_Checks_Suppressed (E : Entity_Id) return Boolean; function Index_Checks_Suppressed (E : Entity_Id) return Boolean; function Length_Checks_Suppressed (E : Entity_Id) return Boolean; |