From: Ed Schonberg <schonberg@adacore.com>
Date: Mon, 22 Apr 2013 10:47:36 +0000 (+0200)
Subject: exp_ch6.adb: Omit check for init proc.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1de0ffecde75db3dc66ec8bcd7504fe0481d194e;p=gcc.git

exp_ch6.adb: Omit check for init proc.

2013-04-22  Ed Schonberg  <schonberg@adacore.com>

	* exp_ch6.adb: Omit check for init proc.

From-SVN: r198131
---

diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index 35060e714b2..9a0974618db 100644
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -1709,6 +1709,7 @@ package body Exp_Ch6 is
 
             if Is_By_Reference_Type (E_Formal)
               and then Has_Predicates (E_Actual)
+              and then not Is_Init_Proc (Subp)
             then
                if Is_Derived_Type (E_Actual)
                  and then Is_Inherited_Operation_For_Type (Subp, E_Actual)