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 ingen_reg_rtx, at emit-rtl.c:662


On Mon, 17 Mar 2003, Robert Schiele wrote:

> 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.

Yes.  There is existing precedent (va_arg with bad types) for generating
an abort for code that provably generates undefined behaviour if ever
executed, but is OK if never executed.

-- 
Joseph S. Myers
jsm28 at cam dot ac dot uk


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