Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!usc!orion.oac.uci.edu!uci-ics!gateway
From: rfg@paris.ics.uci.edu (Ronald Guilmette)
Newsgroups: comp.lang.c++
Subject: cfront 2.0 bug 900215_01
Message-ID: <25DB5DB0.26389@paris.ics.uci.edu>
Date: 16 Feb 90 01:56:00 GMT
Organization: UC Irvine Department of ICS
Lines: 19

// cfront 2.0 bug 900215_01

// Cfront fails to properly compute the "common type" of a conditional
// expression as called for in section 5.16 of the 2.0 Reference Manual
// when the computation of the common type involves the implicit addition
// (or removal) of qualifiers from a pointer type.

// It thus also fails to catch the error in the following code.

// g++ (1.36.1) issues warnings for cases like the following.  (Of course
// these should really be errors rather than warnings.)

char *cp;
const char *ccp;

void function ()
{
  cp = (0) ? cp : ccp;		/* ERROR - missed by cfront 2.0 */
}