Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!wuarchive!usc!jarthur!uci-ics!gateway
From: rfg@paris.ics.uci.edu (Ronald Guilmette)
Newsgroups: comp.lang.c++
Subject: cfront 2.0 bug 900210_03
Message-ID: <25DA64F3.22839@paris.ics.uci.edu>
Date: 15 Feb 90 08:14:43 GMT
Organization: UC Irvine Department of ICS
Lines: 37

// cfront 2.0 bug 900210_03

// Once cfront detects one case in which the expression supplied in a delete
// statement has a pointer-to-const type it will never again flag any
// similar errors within the rest of the program.

const char *s1;
const char *s2;
const char *s3;

struct A {
  A ();
  void member ();
  ~A ();
};

struct B {
   B ();
   ~B ();
};

void A::member ()
{
  delete s1;		/* ERROR */
}

B::~B()
{
  delete s2;		/* ERROR - missed */
};

A::A ()
{
  delete s3;		/* ERROR - missed */
}

int main () { return 0; }