From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-45217-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 18188 invoked by alias); 25 Jan 2002 19:53:25 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 18129 invoked from network); 25 Jan 2002 19:53:22 -0000
Received: from unknown (HELO fep21-svc.tin.it) (212.216.176.74)
  by sources.redhat.com with SMTP; 25 Jan 2002 19:53:22 -0000
Received: from unitus.it ([80.116.243.147]) by fep21-svc.tin.it
          (InterMail vM.4.01.03.13 201-229-121-113) with ESMTP
          id <20020125195320.SAYN3006.fep21-svc.tin.it@unitus.it>;
          Fri, 25 Jan 2002 20:53:20 +0100
Message-ID: <3C51B787.F6629A8A@unitus.it>
Date: Fri, 25 Jan 2002 12:28:00 -0000
From: Paolo Carlini <pcarlini@unitus.it>
X-Mailer: Mozilla 4.79 [en] (X11; U; Linux 2.4.16 i686)
X-Accept-Language: en
MIME-Version: 1.0
To: Mark Mitchell <mark@codesourcery.com>
CC: gcc@gcc.gnu.org
Subject: Re: g++ and aliasing bools
References: <200201251936.LAA21076@atrus.synopsys.com> <28680000.1011987861@gandalf.codesourcery.com>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-SW-Source: 2002-01/txt/msg01681.txt.bz2

Mark Mitchell wrote:

> Your proof has at least one bug.  A type that has no baseclasses or
> virtuals can contain (as a data member) a type that does; such a type
> is at least as complex as the contained type.  (Similarly, an array
> of classes with virtual bases, etc.)  You need to recurse through the
> type structure.

Mark, is this really hard to implement??

My feeling is that this first improvement step should not be terribly difficult
to implement and also not terribly difficult to prove correct!

Cheers,
Paolo.