[Bug c++/19975] New: class-specific nothrow array new and delete not returning null

["mkunka2 at earthlink dot net" <gcc-bugzilla at gcc dot gnu dot org>]

//Here is the original source code describing the problem:

#include <cstdio>
#include <new>
using namespace std;

struct Simple 
{
    static void* operator new[](std::size_t, const std::nothrow_t&) throw()
    { return 0; }
    static void operator delete[](void* p, std::size_t) throw()
    {}  //                                 ^^^^^^^^^^^ if this is removed, the 
problem goes away
    
    int data;
};

int main()
{
    Simple* ps = new(nothrow) Simple[400000000];
    printf("ps = %p\n", ps);
    if(ps) printf("pointer was not null (incorrect)\n");
    else   printf("pointer was null (correct)\n");
    return 0;
}

/*
Expected output:
ps = 00000000
pointer was null (correct)

Actual output:
ps = 00000004
pointer was not null (incorrect)

If I remove the std::size_t parameter from operator delete[], the problem goes 
away
*/

//////////////////////////////////////

gcc version 3.3.1 (mingw special 20030804-1)
running on windows xp professional service pack 2

configured with: ../gcc/configure --with-gcc --with-gnu-ld --with-gnu-as --
host=mingw32 --target=mingw32 --prefix=mingw --enable-threads --disable-nls --
enable-languages=c,c++,f77,objc,ada,java --disable-win32-registry --disable-
shared --enable-sjlj-exceptions --enable-libgcj --disable-java-awt --without-
x --enable-java-cg=boehm --disable-libgcj-debug --enable-interpreter --enable-
hash-synchronization
Thread model: win32

/////////////////////////////////////

compiled with options: -W -Wall -ansi -pedantic -save-temps 
(as a console-application c++ project using Dev-C++ 4.9.9.1)

compile log:
Compiler: Default compiler
Building Makefile: "C:\Dev-Cpp\projects\memchecker\Makefile.win"
Executing  make clean
rm -f main.o  memchecker.exe

g++.exe -c main.cpp -o main.o -I"C:/Dev-Cpp/include/c++"  -I"C:/Dev-
Cpp/include/c++/mingw32"  -I"C:/Dev-Cpp/include/c++/backward"  -I"C:/Dev-
Cpp/include"    -W -Wall -ansi -pedantic -save-temps 

g++.exe main.o  -o "memchecker.exe" -L"C:/Dev-Cpp/lib"  

Execution terminated
Compilation successful


preprocessed main.ii:

# 1 "main.cpp"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "main.cpp"
# 1 "C:/Dev-Cpp/include/c++/3.3.1/cstdio" 1 3
# 48 "C:/Dev-Cpp/include/c++/3.3.1/cstdio" 3

# 1 "C:/Dev-Cpp/include/c++/3.3.1/mingw32/bits/c++config.h" 1 3
# 35 "C:/Dev-Cpp/include/c++/3.3.1/mingw32/bits/c++config.h" 3
# 1 "C:/Dev-Cpp/include/c++/3.3.1/mingw32/bits/os_defines.h" 1 3
# 36 "C:/Dev-Cpp/include/c++/3.3.1/mingw32/bits/c++config.h" 2 3
# 50 "C:/Dev-Cpp/include/c++/3.3.1/cstdio" 2 3
# 1 "C:/Dev-Cpp/include/c++/3.3.1/cstddef" 1 3
# 47 "C:/Dev-Cpp/include/c++/3.3.1/cstddef" 3

# 1 "C:/Dev-Cpp/include/stddef.h" 1 3





# 1 "C:/Dev-Cpp/include/stddef.h" 1 3





# 1 "C:/Dev-Cpp/lib/gcc-lib/mingw32/3.3.1/include/stddef.h" 1 3 4
# 158 "C:/Dev-Cpp/lib/gcc-lib/mingw32/3.3.1/include/stddef.h" 3 4
typedef int ptrdiff_t;
# 220 "C:/Dev-Cpp/lib/gcc-lib/mingw32/3.3.1/include/stddef.h" 3 4
typedef unsigned int size_t;
# 7 "C:/Dev-Cpp/include/stddef.h" 2 3
# 7 "C:/Dev-Cpp/include/stddef.h" 2 3
# 49 "C:/Dev-Cpp/include/c++/3.3.1/cstddef" 2 3

namespace std
{
  using ::ptrdiff_t;
  using ::size_t;
}
# 51 "C:/Dev-Cpp/include/c++/3.3.1/cstdio" 2 3

# 1 "C:/Dev-Cpp/include/stdio.h" 1 3
# 19 "C:/Dev-Cpp/include/stdio.h" 3
# 1 "C:/Dev-Cpp/include/_mingw.h" 1 3
# 20 "C:/Dev-Cpp/include/stdio.h" 2 3






# 1 "C:/Dev-Cpp/include/stddef.h" 1 3





# 1 "C:/Dev-Cpp/include/stddef.h" 1 3





# 1 "C:/Dev-Cpp/lib/gcc-lib/mingw32/3.3.1/include/stddef.h" 1 3 4
# 361 "C:/Dev-Cpp/lib/gcc-lib/mingw32/3.3.1/include/stddef.h" 3 4
typedef short unsigned int wint_t;
# 7 "C:/Dev-Cpp/include/stddef.h" 2 3
# 7 "C:/Dev-Cpp/include/stddef.h" 2 3
# 27 "C:/Dev-Cpp/include/stdio.h" 2 3

# 1 "C:/Dev-Cpp/include/stdarg.h" 1 3





# 1 "C:/Dev-Cpp/include/stdarg.h" 1 3





# 1 "C:/Dev-Cpp/lib/gcc-lib/mingw32/3.3.1/include/stdarg.h" 1 3 4
# 44 "C:/Dev-Cpp/lib/gcc-lib/mingw32/3.3.1/include/stdarg.h" 3 4
typedef __builtin_va_list __gnuc_va_list;
# 7 "C:/Dev-Cpp/include/stdarg.h" 2 3
# 7 "C:/Dev-Cpp/include/stdarg.h" 2 3
# 29 "C:/Dev-Cpp/include/stdio.h" 2 3
# 135 "C:/Dev-Cpp/include/stdio.h" 3
typedef struct _iobuf
{
        char* _ptr;
        int _cnt;
        char* _base;
        int _flag;
        int _file;
        int _charbuf;
        int _bufsiz;
        char* _tmpfname;
} FILE;
# 160 "C:/Dev-Cpp/include/stdio.h" 3
extern __attribute__ ((dllimport)) FILE _iob[];
# 169 "C:/Dev-Cpp/include/stdio.h" 3
extern "C" {





 FILE* __attribute__((__cdecl__)) fopen (const char*, const char*);
 FILE* __attribute__((__cdecl__)) freopen (const char*, const char*, FILE*);
 int __attribute__((__cdecl__)) fflush (FILE*);
 int __attribute__((__cdecl__)) fclose (FILE*);

 int __attribute__((__cdecl__)) remove (const char*);
 int __attribute__((__cdecl__)) rename (const char*, const char*);
 FILE* __attribute__((__cdecl__)) tmpfile (void);
 char* __attribute__((__cdecl__)) tmpnam (char*);
# 195 "C:/Dev-Cpp/include/stdio.h" 3
 int __attribute__((__cdecl__)) setvbuf (FILE*, char*, int, size_t);

 void __attribute__((__cdecl__)) setbuf (FILE*, char*);





 int __attribute__((__cdecl__)) fprintf (FILE*, const char*, ...);
 int __attribute__((__cdecl__)) printf (const char*, ...);
 int __attribute__((__cdecl__)) sprintf (char*, const char*, ...);
 int __attribute__((__cdecl__)) _snprintf (char*, size_t, const char*, ...);
 int __attribute__((__cdecl__)) vfprintf (FILE*, const char*, __gnuc_va_list);
 int __attribute__((__cdecl__)) vprintf (const char*, __gnuc_va_list);
 int __attribute__((__cdecl__)) vsprintf (char*, const char*, __gnuc_va_list);
 int __attribute__((__cdecl__)) _vsnprintf (char*, size_t, const char*, 
__gnuc_va_list);


int __attribute__((__cdecl__)) snprintf(char* s, size_t n, const char* 
format, ...);
inline int __attribute__((__cdecl__))
vsnprintf (char* s, size_t n, const char* format, __gnuc_va_list arg)
  { return _vsnprintf ( s, n, format, arg); }
int __attribute__((__cdecl__)) vscanf (const char * __restrict__, 
__gnuc_va_list);
int __attribute__((__cdecl__)) vfscanf (FILE * __restrict__, const char * 
__restrict__,
                     __gnuc_va_list);
int __attribute__((__cdecl__)) vsscanf (const char * __restrict__,
                     const char * __restrict__, __gnuc_va_list);






 int __attribute__((__cdecl__)) fscanf (FILE*, const char*, ...);
 int __attribute__((__cdecl__)) scanf (const char*, ...);
 int __attribute__((__cdecl__)) sscanf (const char*, const char*, ...);




 int __attribute__((__cdecl__)) fgetc (FILE*);
 char* __attribute__((__cdecl__)) fgets (char*, int, FILE*);
 int __attribute__((__cdecl__)) fputc (int, FILE*);
 int __attribute__((__cdecl__)) fputs (const char*, FILE*);
 char* __attribute__((__cdecl__)) gets (char*);
 int __attribute__((__cdecl__)) puts (const char*);
 int __attribute__((__cdecl__)) ungetc (int, FILE*);







 int __attribute__((__cdecl__)) _filbuf (FILE*);
 int __attribute__((__cdecl__)) _flsbuf (int, FILE*);



inline int __attribute__((__cdecl__)) getc (FILE* __F)
{
  return (--__F->_cnt >= 0)
    ? (int) (unsigned char) *__F->_ptr++
    : _filbuf (__F);
}

inline int __attribute__((__cdecl__)) putc (int __c, FILE* __F)
{
  return (--__F->_cnt >= 0)
    ? (int) (unsigned char) (*__F->_ptr++ = (char)__c)
    : _flsbuf (__c, __F);
}

inline int __attribute__((__cdecl__)) getchar (void)
{
  return (--(&_iob[0])->_cnt >= 0)
    ? (int) (unsigned char) *(&_iob[0])->_ptr++
    : _filbuf ((&_iob[0]));
}

inline int __attribute__((__cdecl__)) putchar(int __c)
{
  return (--(&_iob[1])->_cnt >= 0)
    ? (int) (unsigned char) (*(&_iob[1])->_ptr++ = (char)__c)
    : _flsbuf (__c, (&_iob[1]));}
# 294 "C:/Dev-Cpp/include/stdio.h" 3
 size_t __attribute__((__cdecl__)) fread (void*, size_t, size_t, FILE*);
 size_t __attribute__((__cdecl__)) fwrite (const void*, size_t, size_t, FILE*);





 int __attribute__((__cdecl__)) fseek (FILE*, long, int);
 long __attribute__((__cdecl__)) ftell (FILE*);
 void __attribute__((__cdecl__)) rewind (FILE*);
# 327 "C:/Dev-Cpp/include/stdio.h" 3
typedef long long fpos_t;




 int __attribute__((__cdecl__)) fgetpos (FILE*, fpos_t*);
 int __attribute__((__cdecl__)) fsetpos (FILE*, const fpos_t*);





 int __attribute__((__cdecl__)) feof (FILE*);
 int __attribute__((__cdecl__)) ferror (FILE*);


inline int __attribute__((__cdecl__)) feof (FILE* __F)
  { return __F->_flag & 0x0010; }
inline int __attribute__((__cdecl__)) ferror (FILE* __F)
  { return __F->_flag & 0x0020; }





 void __attribute__((__cdecl__)) clearerr (FILE*);
 void __attribute__((__cdecl__)) perror (const char*);
# 425 "C:/Dev-Cpp/include/stdio.h" 3
 int __attribute__((__cdecl__)) fwprintf (FILE*, const wchar_t*, ...);
 int __attribute__((__cdecl__)) wprintf (const wchar_t*, ...);
 int __attribute__((__cdecl__)) swprintf (wchar_t*, const wchar_t*, ...);
 int __attribute__((__cdecl__)) _snwprintf (wchar_t*, size_t, const 
wchar_t*, ...);
 int __attribute__((__cdecl__)) vfwprintf (FILE*, const wchar_t*, 
__gnuc_va_list);
 int __attribute__((__cdecl__)) vwprintf (const wchar_t*, __gnuc_va_list);
 int __attribute__((__cdecl__)) vswprintf (wchar_t*, const wchar_t*, 
__gnuc_va_list);
 int __attribute__((__cdecl__)) _vsnwprintf (wchar_t*, size_t, const wchar_t*, 
__gnuc_va_list);
 int __attribute__((__cdecl__)) fwscanf (FILE*, const wchar_t*, ...);
 int __attribute__((__cdecl__)) wscanf (const wchar_t*, ...);
 int __attribute__((__cdecl__)) swscanf (const wchar_t*, const wchar_t*, ...);
 wint_t __attribute__((__cdecl__)) fgetwc (FILE*);
 wint_t __attribute__((__cdecl__)) fputwc (wchar_t, FILE*);
 wint_t __attribute__((__cdecl__)) ungetwc (wchar_t, FILE*);


 wchar_t* __attribute__((__cdecl__)) fgetws (wchar_t*, int, FILE*);
 int __attribute__((__cdecl__)) fputws (const wchar_t*, FILE*);
 wint_t __attribute__((__cdecl__)) getwc (FILE*);
 wint_t __attribute__((__cdecl__)) getwchar (void);
 wchar_t* __attribute__((__cdecl__)) _getws (wchar_t*);
 wint_t __attribute__((__cdecl__)) putwc (wint_t, FILE*);
 int __attribute__((__cdecl__)) _putws (const wchar_t*);
 wint_t __attribute__((__cdecl__)) putwchar (wint_t);
 FILE* __attribute__((__cdecl__)) _wfdopen(int, wchar_t *);
 FILE* __attribute__((__cdecl__)) _wfopen (const wchar_t*, const wchar_t*);
 FILE* __attribute__((__cdecl__)) _wfreopen (const wchar_t*, const wchar_t*, 
FILE*);
 FILE* __attribute__((__cdecl__)) _wfsopen (const wchar_t*, const wchar_t*, 
int);
 wchar_t* __attribute__((__cdecl__)) _wtmpnam (wchar_t*);
 wchar_t* __attribute__((__cdecl__)) _wtempnam (const wchar_t*, const 
wchar_t*);
 int __attribute__((__cdecl__)) _wrename (const wchar_t*, const wchar_t*);
 int __attribute__((__cdecl__)) _wremove (const wchar_t*);
 void __attribute__((__cdecl__)) _wperror (const wchar_t*);
 FILE* __attribute__((__cdecl__)) _wpopen (const wchar_t*, const wchar_t*);



int __attribute__((__cdecl__)) snwprintf (wchar_t* s, size_t n, const wchar_t* 
format, ...);
inline int __attribute__((__cdecl__))
vsnwprintf (wchar_t* s, size_t n, const wchar_t* format, __gnuc_va_list arg)
  { return _vsnwprintf ( s, n, format, arg);}
int __attribute__((__cdecl__)) vwscanf (const wchar_t * __restrict__, 
__gnuc_va_list);
int __attribute__((__cdecl__)) vfwscanf (FILE * __restrict__,
                       const wchar_t * __restrict__, __gnuc_va_list);
int __attribute__((__cdecl__)) vswscanf (const wchar_t * __restrict__,
                       const wchar_t * __restrict__, __gnuc_va_list);
# 501 "C:/Dev-Cpp/include/stdio.h" 3
}
# 53 "C:/Dev-Cpp/include/c++/3.3.1/cstdio" 2 3
# 97 "C:/Dev-Cpp/include/c++/3.3.1/cstdio" 3
namespace std
{
  using ::FILE;
  using ::fpos_t;

  using ::clearerr;
  using ::fclose;
  using ::feof;
  using ::ferror;
  using ::fflush;
  using ::fgetc;
  using ::fgetpos;
  using ::fgets;
  using ::fopen;
  using ::fprintf;
  using ::fputc;
  using ::fputs;
  using ::fread;
  using ::freopen;
  using ::fscanf;
  using ::fseek;
  using ::fsetpos;
  using ::ftell;
  using ::fwrite;
  using ::getc;
  using ::getchar;
  using ::gets;
  using ::perror;
  using ::printf;
  using ::putc;
  using ::putchar;
  using ::puts;
  using ::remove;
  using ::rename;
  using ::rewind;
  using ::scanf;
  using ::setbuf;
  using ::setvbuf;
  using ::sprintf;
  using ::sscanf;
  using ::tmpfile;
  using ::tmpnam;
  using ::ungetc;
  using ::vfprintf;
  using ::vprintf;
  using ::vsprintf;
}
# 153 "C:/Dev-Cpp/include/c++/3.3.1/cstdio" 3
namespace __gnu_cxx
{
# 167 "C:/Dev-Cpp/include/c++/3.3.1/cstdio" 3
  using ::snprintf;
  using ::vfscanf;
  using ::vscanf;
  using ::vsnprintf;
  using ::vsscanf;

}

namespace std
{
  using __gnu_cxx::snprintf;
  using __gnu_cxx::vfscanf;
  using __gnu_cxx::vscanf;
  using __gnu_cxx::vsnprintf;
  using __gnu_cxx::vsscanf;
}
# 2 "main.cpp" 2
# 1 "C:/Dev-Cpp/include/c++/3.3.1/new" 1 3
# 42 "C:/Dev-Cpp/include/c++/3.3.1/new" 3
# 1 "C:/Dev-Cpp/include/c++/3.3.1/exception" 1 3
# 40 "C:/Dev-Cpp/include/c++/3.3.1/exception" 3
extern "C++" {

namespace std
{
# 52 "C:/Dev-Cpp/include/c++/3.3.1/exception" 3
  class exception
  {
  public:
    exception() throw() { }
    virtual ~exception() throw();


    virtual const char* what() const throw();
  };



  class bad_exception : public exception
  {
  public:
    bad_exception() throw() { }


    virtual ~bad_exception() throw();
  };


  typedef void (*terminate_handler) ();

  typedef void (*unexpected_handler) ();


  terminate_handler set_terminate(terminate_handler) throw();


  void terminate() __attribute__ ((__noreturn__));


  unexpected_handler set_unexpected(unexpected_handler) throw();


  void unexpected() __attribute__ ((__noreturn__));
# 100 "C:/Dev-Cpp/include/c++/3.3.1/exception" 3
  bool uncaught_exception() throw();
}

namespace __gnu_cxx
{
# 113 "C:/Dev-Cpp/include/c++/3.3.1/exception" 3
  void __verbose_terminate_handler ();
}

}
# 43 "C:/Dev-Cpp/include/c++/3.3.1/new" 2 3

extern "C++" {

namespace std
{





  class bad_alloc : public exception
  {
  public:
    bad_alloc() throw() { }


    virtual ~bad_alloc() throw();
  };

  struct nothrow_t { };
  extern const nothrow_t nothrow;


  typedef void (*new_handler)();

  new_handler set_new_handler(new_handler) throw();
}
# 82 "C:/Dev-Cpp/include/c++/3.3.1/new" 3
void* operator new(std::size_t) throw (std::bad_alloc);
void* operator new[](std::size_t) throw (std::bad_alloc);
void operator delete(void*) throw();
void operator delete[](void*) throw();
void* operator new(std::size_t, const std::nothrow_t&) throw();
void* operator new[](std::size_t, const std::nothrow_t&) throw();
void operator delete(void*, const std::nothrow_t&) throw();
void operator delete[](void*, const std::nothrow_t&) throw();


inline void* operator new(std::size_t, void* __p) throw() { return __p; }
inline void* operator new[](std::size_t, void* __p) throw() { return __p; }


inline void operator delete (void*, void*) throw() { };
inline void operator delete[](void*, void*) throw() { };

}
# 3 "main.cpp" 2
using namespace std;

struct Simple
{
    static void* operator new[](std::size_t, const std::nothrow_t&) throw()
    { return 0; }
    static void operator delete[](void* p, std::size_t) throw()
    {}

    int data;
};

int main()
{
    Simple* ps = new(nothrow) Simple[400000000];
    printf("ps = %p\n", ps);
    if(ps) printf("pointer was not null (incorrect)\n");
    else printf("pointer was null (correct)\n");
    return 0;
}

-- 
           Summary: class-specific nothrow array new and delete not
                    returning null
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mkunka2 at earthlink dot net
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19975