From mboxrd@z Thu Jan  1 00:00:00 1970
From: Florian Weimer <fw@deneb.enyo.de>
To: Günter Neiß <gneiss@schoenhofer.de>
Cc: gcc@gcc.gnu.org
Subject: Re: Vector new bug ??
Date: Fri, 12 Oct 2001 02:55:00 -0000
Message-id: <87lmihkw2n.fsf@deneb.enyo.de>
References: <3BC6B6FE.69BC3A06@schoenhofer.de>
X-SW-Source: 2001-10/msg00755.html

Günter Neiß <gneiss@schoenhofer.de> writes:

> Hi,
>
>  I found the following bug:
>
>  Using some templates that uses:
>
>  template<class T>
>  ....
>    t * p = new T[ size ];
>
>
>  Everything works fine, as long as 'size' isn't 0.
>
>  In that case I got an exeption inside 'builin vector new' (shown by
> gdb).

This is indeed a bug:

| When the value of the expression in a direct-new-declarator is zero,
| the allocation function is called to allocate an array with no
| elements.  The pointer returned by the new-expression is non-null.
| [Note: If the library allocation function is called, the pointer
| returned is distinct from the pointer to any other object.  ]

ISO/IEC 14882:1998, 5.3.4(7).