Undefined behavior in 950605-1.c

[Richard Earnshaw]

> PROMOTE_MODE has nothing to do with C types.  It's for efficiency
> in the generated rtl *only*. 

I believe it can also be part of the ABI specification, so someone writing 
assembler would be able to tell the difference, and a compiler can assume 
that a caller has done the promotion (so saving a repeat promotion).

> If a strictly conforming program can
> notice the existance of PROMOTE_MODE, there is a bug.

Agreed.

R.