This is the mail archive of the gcc-bugs@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: optimization/8300: [3.2/3.3/3.4 regression] [sparc] ICE in gen_reg_rtx, at emit-rtl.c:662


On Mon, Mar 17, 2003 at 04:34:38PM +0100, Andreas Schwab wrote:
> Ignoring the missing initialisation of b this is undefined under the
> aliasing rules.

Ok, behaviour is undefined.  As this is only a sample to produce an
ICE, this is no problem for me.

But do you think this code is illegal in the sense that the compiler
cannot generate valid code out of it?  In that case I would be happy
about a pointer to the specs that tell me that this is not allowed.

Does any spec _force_ me to initialize b?  When I do so, the error is
vanished.  Again, I don't care about undefined behaviour here.  This
is also the reason, why I omitted the initialization.

My point, as far as I understand this situation, is that the compiler
should generate a binary out of it.  The resulting code is completely
braindead --- I know that --- and may even SIGBUS or whatever he likes
to do at _runtime_, but I don't see, why this should be seen as
illegal at _compile_ time.

Robert

-- 
Robert Schiele			Tel.: +49-621-181-2517
Dipl.-Wirtsch.informatiker	mailto:rschiele at uni-mannheim dot de

Attachment: pgp00000.pgp
Description: PGP signature


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