From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-help-return-17769-listarch-gcc-help=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 31553 invoked by alias); 3 Sep 2004 13:57:06 -0000
Mailing-List: contact gcc-help-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-help/>
List-Post: <mailto:gcc-help@gcc.gnu.org>
List-Help: <mailto:gcc-help-help@gcc.gnu.org>
Sender: gcc-help-owner@gcc.gnu.org
Received: (qmail 31545 invoked from network); 3 Sep 2004 13:57:05 -0000
Received: from unknown (HELO smtp3.mail.be.easynet.net) (212.100.160.66)
  by sourceware.org with SMTP; 3 Sep 2004 13:57:05 -0000
Received: from 212-100-178-228.adsl.easynet.be ([212.100.178.228] helo=fft.be)
	by smtp3.mail.be.easynet.net with asmtp (Exim 4.41)
	id 1C3EYp-00023B-Dq; Fri, 03 Sep 2004 15:57:03 +0200
Message-ID: <41387830.8020709@fft.be>
Date: Fri, 03 Sep 2004 13:57:00 -0000
From: Toon Knapen <toon.knapen@fft.be>
User-Agent: Mozilla Thunderbird 0.5 (Windows/20040207)
MIME-Version: 1.0
To: Eljay Love-Jensen <eljay@adobe.com>
CC:  gcc-help@gcc.gnu.org
Subject: Re: segfault with std::allocator
References: <41387052.1090406@fft.be> <6.1.2.0.2.20040903084315.01f8aea8@iplan-mn.corp.adobe.com>
In-Reply-To: <6.1.2.0.2.20040903084315.01f8aea8@iplan-mn.corp.adobe.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-SW-Source: 2004-09/txt/msg00017.txt.bz2

Eljay Love-Jensen wrote:

> 
> Hi Toon,
> 
> The deallocate function MUST NOT by passed in a NULL pointer.  
> (According to ISO 14882.)
> 


But 20.4.1.1 par 8 only says "p shall be a pointer obtained from 
allocate(). n shall equal the value passed as the first argument to the 
invocation of allocate which returned p". Next as a not is added that it 
uses '::operator delete' and delete is allowed to be called on a NULL 
pointer.