This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Undefined behavior in 950605-1.c

From: Richard Henderson <rth at redhat dot com>
To: Momchil Velikov <velco at fadata dot bg>
Cc: Alan Modra <amodra at bigpond dot net dot au>, gcc at gcc dot gnu dot org
Date: Thu, 25 Jul 2002 10:56:12 -0700
Subject: Re: Undefined behavior in 950605-1.c
References: <8765z4e391.fsf@fadata.bg> <jen0sg87zx.fsf@sykes.suse.de> <87n0sgi154.fsf@fadata.bg> <20020725102412.GV26054@bubble.sa.bigpond.net.au> <873cu83skp.fsf@fadata.bg>

On Thu, Jul 25, 2002 at 03:22:46PM +0300, Momchil Velikov wrote:
> Alan> Ah, but what is the promoted type of "unsigned char"?  int!

Except if sizeof(char) == sizeof(int).

> Isn't that the case with architectures
> with a definition of PROMOTE_MODE, which does not change UNSIGNEDP or
> sets it to 1, e.g, ARM, PPC, V850 ?

PROMOTE_MODE has nothing to do with C types.  It's for efficiency
in the generated rtl *only*.  If a strictly conforming program can
notice the existance of PROMOTE_MODE, there is a bug.

r~

Follow-Ups:
- Re: Undefined behavior in 950605-1.c
  - From: Richard Earnshaw

References:
- Undefined behavior in 950605-1.c
  - From: Momchil Velikov
- Re: Undefined behavior in 950605-1.c
  - From: Andreas Schwab
- Re: Undefined behavior in 950605-1.c
  - From: Momchil Velikov
- Re: Undefined behavior in 950605-1.c
  - From: Momchil Velikov

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]