From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-65575-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 12359 invoked by alias); 2 Jan 2003 18:58:51 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 12300 invoked from network); 2 Jan 2003 18:58:50 -0000
Received: from unknown (HELO multivac.cwru.edu) (129.22.96.25)
  by 209.249.29.67 with SMTP; 2 Jan 2003 18:58:50 -0000
Received: (qmail 9257 invoked by uid 500); 2 Jan 2003 18:58:59 -0000
To: "John David Anglin" <dave@hiauly1.hia.nrc.ca>
Cc: gcc@gcc.gnu.org, libc-alpha@sources.redhat.com
Subject: Re: Miscompilation of glibc with CVS mainline
References: <200301021851.h02Ipmek011007@hiauly1.hia.nrc.ca>
In-Reply-To: <200301021851.h02Ipmek011007@hiauly1.hia.nrc.ca> ("John David
 Anglin"'s message of "Thu, 2 Jan 2003 13:51:48 -0500 (EST)")
From: prj@po.cwru.edu (Paul Jarc)
Organization: What did you have in mind?  A short, blunt, human pyramid?
Mail-Copies-To: nobody
Mail-Followup-To: "John David Anglin" <dave@hiauly1.hia.nrc.ca>,
 gcc@gcc.gnu.org,  libc-alpha@sources.redhat.com
Date: Thu, 02 Jan 2003 18:58:00 -0000
Message-ID: <m3k7hn5qfh.fsf@multivac.cwru.edu>
User-Agent: Gnus/5.090008 (Oort Gnus v0.08) Emacs/21.2 (i686-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-SW-Source: 2003-01/txt/msg00056.txt.bz2

"John David Anglin" <dave@hiauly1.hia.nrc.ca> wrote:
> I can't seem to find where the standard says &weak_func is always
> unequal to null.

n869 6.3.2.3p3: "[...] the resulting pointer, called a null pointer,
is guaranteed to compare unequal to a pointer to any object or
function."


paul