From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-205648-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 5126 invoked by alias); 11 Oct 2007 15:32:01 -0000
Received: (qmail 5115 invoked by uid 22791); 11 Oct 2007 15:32:01 -0000
X-Spam-Check-By: sourceware.org
Received: from VLSI1.ULTRA.NYU.EDU (HELO vlsi1.ultra.nyu.edu) (128.122.140.213)     by sourceware.org (qpsmtpd/0.31) with SMTP; Thu, 11 Oct 2007 15:31:56 +0000
Received: by vlsi1.ultra.nyu.edu (4.1/1.34) 	id AA24058; Thu, 11 Oct 07 11:36:30 EDT
From: kenner@vlsi1.ultra.nyu.edu (Richard Kenner)
Message-Id: <10710111536.AA24058@vlsi1.ultra.nyu.edu>
Date: Thu, 11 Oct 2007 15:32:00 -0000
To: matz@suse.de
Subject: Re: [PATCH] Fix optimization regression in constant folder
Cc: ebotcazou@adacore.com, gcc-patches@gcc.gnu.org, iant@google.com,         mark@codesourcery.com, richard.guenther@gmail.com
In-Reply-To: <Pine.LNX.4.64.0710111658530.23011@wotan.suse.de>
References: <200709171539.26653.ebotcazou@adacore.com>                    <200709301801.39718.ebotcazou@adacore.com>                 <m3r6kf3gyx.fsf@localhost.localdomain>                    <200710010127.59677.ebotcazou@adacore.com>                  <m3abr33dbp.fsf@localhost.localdomain>             <10710010056.AA15609@vlsi1.ultra.nyu.edu>              <Pine.LNX.4.64.0710010325340.23011@wotan.suse.de>          <10710010257.AA21585@vlsi1.ultra.nyu.edu>         <Pine.LNX.4.64.0710010454060.23011@wotan.suse.de>      <10710010344.AA22633@vlsi1.ultra.nyu.edu>     <470D0C50.4080506@codesourcery.com>     <Pine.LNX.4.64.0710111658530.23011@wotan.suse.de>
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
X-SW-Source: 2007-10/txt/msg00633.txt.bz2

> It was my understanding during this whole thread, that this sizetype with 
> the funny guarantees only can come out of the Ada frontend (and therefore 
> needs to be dealt with in the middle end), and should never be produced by 
> the other languages, in particular not C or C++.  

EVERY front end produces sizetypes because that's what we put in TYPE_SIZE,
etc of types!

> My understanding is supported by the comment in front of the 
> TYPE_IS_SIZETYPE definition in tree.h where it explicitely mentions that 
> size_t should not have this flag set.

Right, it shouldn't.  sizetypes are NOT those types, but are INTERNAL
types used to communicate size and offset information between the front
end and the middle end.