From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-116476-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 21483 invoked by alias); 28 Jun 2005 19:25:29 -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 21390 invoked by uid 22791); 28 Jun 2005 19:25:17 -0000
Received: from smtp-102-tuesday.nerim.net (HELO kraid.nerim.net) (62.4.16.102)
    by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Tue, 28 Jun 2005 19:25:17 +0000
Received: from uniton.integrable-solutions.net (gdr.net1.nerim.net [62.212.99.186])
	by kraid.nerim.net (Postfix) with ESMTP id 387EC40F05;
	Tue, 28 Jun 2005 21:25:14 +0200 (CEST)
Received: from uniton.integrable-solutions.net (localhost [127.0.0.1])
	by uniton.integrable-solutions.net (8.12.10/8.12.10/SuSE Linux 0.7) with ESMTP id j5SJOaKY005155;
	Tue, 28 Jun 2005 21:24:36 +0200
Received: (from gdr@localhost)
	by uniton.integrable-solutions.net (8.12.10/8.12.10/Submit) id j5SJOaRY005154;
	Tue, 28 Jun 2005 21:24:36 +0200
To: Andrew Pinski <pinskia@physics.uc.edu>
Cc: Olivier Galibert <galibert@pobox.com>,
        "'Robert Dewar'" <dewar@adacore.com>,
        "'gcc mailing list'" <gcc@gcc.gnu.org>,
        "'Andrew Haley'" <aph@redhat.com>, Dave Korn <dave.korn@artimi.com>
Subject: Re: signed is undefined and has been since 1992 (in GCC)
References: <20050628180203.GG52889@dspnet.fr.eu.org>
	<SERRANOVkwyBnVBwYkm00000277@SERRANO.CAM.ARTIMI.COM>
	<20050628191006.GI52889@dspnet.fr.eu.org>
	<882882640c20778910272cdd8e19eff4@physics.uc.edu>
From: Gabriel Dos Reis <gdr@integrable-solutions.net>
In-Reply-To: <882882640c20778910272cdd8e19eff4@physics.uc.edu>
Date: Tue, 28 Jun 2005 19:25:00 -0000
Message-ID: <m3fyv2ffnv.fsf@uniton.integrable-solutions.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-SW-Source: 2005-06/txt/msg01187.txt.bz2

Andrew Pinski <pinskia@physics.uc.edu> writes:

| On Jun 28, 2005, at 3:10 PM, Olivier Galibert wrote:
| 
| >
| >>   Well, I don't utterly _anything_ about either his position or
| >> yours.  C is
| >> not just a high level assembler, it has complex and abstract semantics
| >> imposed on that;
| >
| > Yes.  But C is _also_ a high level assembler, and ignoring that is
| > foolish.
| 
| No it is not. It was when it was designed yes but since the C standard
| has
| come out and the aliasing rules really show that it is not a high level
| assembler language any more.

The strict aliasing rule by itself does not show it is not a high level
assembly language.  There are chips out there where you cannot access
data willy-nilly through random register types.

-- Gaby