[Bug c++/27141] New: Unexpected requirement for usual deallocation function

[Bug c++/27141] New: Unexpected requirement for usual deallocation function

[algrant at acm dot org]

This code:

  struct D {
      D() {}
      virtual ~D() {}
      void operator delete(void*, void*) {}
  };
  void f() { D d(); }

is rejected with "no suitable 'operator delete' for 'D'".
It is true that the placement deallocation function hides any
"usual" one, but surely it is only necessary for a usual one to
be found when implementing a delete-expression, as described
in 12.5#4.  This code is accepted by Comeau and HP aC++ (but
faulted by Sun C++ with a similar error to g++).


-- 
           Summary: Unexpected requirement for usual deallocation function
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: algrant at acm dot org


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

[Bug c++/27141] [4.0/4.1/4.2 Regression] Unexpected requirement for usual deallocation function

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-04-30 07:57 -------
I am thinking this is the ABI getting in the way of the C++ standard.  In that
the secondary ~D() is getting in the way.  The reason I say that is because it
worked with the old ABI in 2.95.3.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |rejects-valid
      Known to fail|                            |3.0.4 4.0.0 4.1.0 3.4.0
                   |                            |3.3.3
      Known to work|                            |2.95.3
   Last reconfirmed|0000-00-00 00:00:00         |2006-04-30 07:57:28
               date|                            |
            Summary|Unexpected requirement for  |[4.0/4.1/4.2 Regression]
                   |usual deallocation function |Unexpected requirement for
                   |                            |usual deallocation function
   Target Milestone|---                         |4.0.4


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

[Bug c++/27141] [4.0/4.1/4.2 Regression] Unexpected requirement for usual deallocation function

[algrant at acm dot org]

------- Comment #2 from algrant at acm dot org  2006-05-02 07:20 -------
Actually, I now wonder if the g++ 4.1 behavior would be correct
by the proposed resolution of (still open) Core Language Issue 252.


-- 


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

[Bug c++/27141] [4.0/4.1/4.2 Regression] Unexpected requirement for usual deallocation function

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-05-02 07:30 -------
(In reply to comment #2)
> Actually, I now wonder if the g++ 4.1 behavior would be correct
> by the proposed resolution of (still open) Core Language Issue 252.

It is not still open though.  It has been a defect since 2001.

So in reality this is not a defect in GCC. 


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID


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