[STDCXX-802] [HP aCC 6.16] bad codegen on ud ctor and factory function

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Component/s: External

Environment

aCC: HP C/aC++ B3910B A.06.16 [Nov 26 2007]

• Severity: Runtime Error
• Assignee: Unassigned
• Reporter: Martin Sebor
• Created: 28/Mar/08 19:13
• Updated: 02/May/13 02:29

Description

-------- Original Message --------
Subject: aCC 6.16 bad codegen on ud operator new and ud ctor
Date: Fri, 28 Mar 2008 13:13:03 -0600
From: Martin Sebor <[e-mail]>
Organization: Rogue Wave Software, Inc.
To: [e-mail]

This bug has been causing a bunch of failures in our test
suite since 6.0. The user-defined dtor in class B triggers
it. Changing the number of allocated elements from 2 to 1
causes a SEGV.

Martin

$ cat t.cpp && aCC -AA -V t.cpp && ./a.out
#include <cassert>
#include <cstdio>
#include <cstdlib>
#include <new>

void *palloc;
void *pfree;

void* operator new (std::size_t n) throw (std::bad_alloc) {
    void* const ptr = std::malloc (n);
    std::fprintf (stderr, "operator new (%zu) ==> %p\n", n, ptr);
    return ptr;
}

void operator delete (void *ptr) throw () {
    std::fprintf (stderr, "operator delete (%p)\n", ptr);
    std::free (ptr);
}

void* operator new[] (std::size_t n) throw (std::bad_alloc) {
    void* const ptr = std::malloc (n);
    std::fprintf (stderr, "operator new[] (%zu) ==> %p\n", n, ptr);
    return palloc = ptr;
}

void operator delete[] (void *ptr) throw () {
    std::fprintf (stderr, "operator delete[] (%p)\n", ptr);
    std::free (pfree = ptr);
}

template <class T>
struct A {
    const T* x;
    A (): x (T::foo ()) { }
    ~A () { delete[] x; }
};

struct B {
    ~B () { }
    static B* foo ();
};

template <class T> T* foo (T*) { return new T [2]; }
B* B::foo () { return ::foo ((B*)0); }

int main () {
    { A<B> td; }
    assert (palloc == pfree);
}
aCC: HP C/aC++ B3910B A.06.16 [Nov 26 2007]
ld: 92453-07 linker ld HP Itanium(R) B.12.41  IPF/IPF
operator new (16) ==> 400124b0
operator new[] (6) ==> 40012510
operator delete[] (40012514)
Assertion failed: palloc == pfree, file t.cpp, line 48
ABORT instruction (core dumped)

Issue Links

• blocks: STDCXX-896 [HP aCC 6.16] SIGABRT in 23.deque.modifiers
• is depended upon by: STDCXX-709 [HP aCC 6.15/HP-UX/IPF] SIGABRT in 23.list.assign et al