From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-31227-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 1943 invoked by alias); 15 Mar 2003 05:34:26 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 1924 invoked by uid 48); 15 Mar 2003 05:34:26 -0000
Date: Sat, 15 Mar 2003 05:34:00 -0000
Message-ID: <20030315053426.1923.qmail@sources.redhat.com>
To: Jon_Udell@mentor.com, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
  nobody@gcc.gnu.org
From: bangerth@dealii.org
Reply-To: bangerth@dealii.org, Jon_Udell@mentor.com, gcc-bugs@gcc.gnu.org,
  gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: c++/9993: [3.2/3.3/3.4 regression] destructor not called for local object created within and returned from infinite loop
X-SW-Source: 2003-03/txt/msg00957.txt.bz2
List-Id: <gcc-prs.sourceware.org>

Old Synopsis: destructor not called for local object created within and returned from infinite loop
New Synopsis: [3.2/3.3/3.4 regression] destructor not called for local object created within and returned from infinite loop

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Sat Mar 15 05:34:26 2003
State-Changed-Why:
    Indeed:
    ---------------------------
    extern "C" void printf (const char *, ...);
    #define PRINT printf ("%s\n", __PRETTY_FUNCTION__)
    
    struct Object {
        Object()                      { PRINT; }
        Object(const Object&)         { PRINT; }
        void operator=(const Object&) { PRINT; }
        ~Object()                     { PRINT; }
    };
    
    Object function() {
      int i = 0;
      do {
        Object b;
        if (i++ == 2)
          return b;
      } while (1);
    }
    
    int main() {
      function();
    }
    -----------------------------
    This is the output with 3.2/3.3/3.4:
    g/x> /home/bangerth/bin/gcc-3.4-pre/bin/c++ x.cc
    g/x> ./a.out
    Object::Object()
    Object::Object()
    Object::Object()
    Object::~Object()
    
    Ups. Not right. 2.95 generates
    g/x> ./a.out
    Object::Object()
    Object::~Object()
    Object::Object()
    Object::~Object()
    Object::Object()
    Object::Object(const Object &)
    Object::~Object()
    Object::~Object()
    
    So this is a regression.
    
    W.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9993