From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2763 invoked by alias); 15 Dec 2004 18:00:13 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 2087 invoked from network); 15 Dec 2004 17:59:41 -0000 Received: from unknown (HELO nile.gnat.com) (205.232.38.5) by sourceware.org with SMTP; 15 Dec 2004 17:59:41 -0000 Received: from localhost (localhost [127.0.0.1]) by filtered-nile.gnat.com (Postfix) with ESMTP id 68D109621; Wed, 15 Dec 2004 12:59:41 -0500 (EST) Received: from nile.gnat.com ([127.0.0.1]) by localhost (nile.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 23941-01-3; Wed, 15 Dec 2004 12:59:41 -0500 (EST) Received: from [127.0.0.1] (taconic.gnat.com [205.232.38.103]) by nile.gnat.com (Postfix) with ESMTP id 191F19617; Wed, 15 Dec 2004 12:59:41 -0500 (EST) Message-ID: <41C07B90.20007@adacore.com> Date: Wed, 15 Dec 2004 18:00:00 -0000 From: Robert Dewar User-Agent: Mozilla Thunderbird 0.8 (Windows/20040913) MIME-Version: 1.0 To: Florian Weimer Cc: Dmitry Antipov , gcc@gcc.gnu.org Subject: Re: Dubious "'foo' might be used uninitialized in this function" message References: <41BF1207.2040102@dev.rtsoft.ru> <41BF1C0A.6060100@codesourcery.com> <41C009AA.4020700@dev.rtsoft.ru> <41C0289C.2000209@adacore.com> <87sm677a1y.fsf@deneb.enyo.de> <41C0737C.5010001@adacore.com> <878y7z78lk.fsf@deneb.enyo.de> In-Reply-To: <878y7z78lk.fsf@deneb.enyo.de> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2004-12/txt/msg00599.txt.bz2 Florian Weimer wrote: > Oh, wait, it's a generic unit. I think warnings are issued in > multiple places. 8- Yes, it is fundamental to this example that it is a generic. This case does not arise for non-generic packages. The point is that the generic formals can ONLY be referenced in the parent generic or one of its children, they cannot be referenced by clients.