This is the mail archive of the
gcc-prs@gcc.gnu.org
mailing list for the GCC project.
Re: optimization/8300: [3.2/3.3/3.4 regression] [sparc] ICE ingen_reg_rtx, at emit-rtl.c:662
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: nobody at gcc dot gnu dot org
- Cc: gcc-prs at gcc dot gnu dot org,
- Date: 17 Mar 2003 16:56:01 -0000
- Subject: Re: optimization/8300: [3.2/3.3/3.4 regression] [sparc] ICE ingen_reg_rtx, at emit-rtl.c:662
- Reply-to: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
The following reply was made to PR optimization/8300; it has been noted by GNATS.
From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
To: Robert Schiele <rschiele at uni-mannheim dot de>
Cc: Andreas Schwab <schwab at suse dot de>, Richard Henderson <rth at redhat dot com>,
<gcc-bugs at gcc dot gnu dot org>, <tneumann at pi3 dot informatik dot uni-mannheim dot de>,
<gcc-gnats at gcc dot gnu dot org>
Subject: Re: optimization/8300: [3.2/3.3/3.4 regression] [sparc] ICE in
gen_reg_rtx, at emit-rtl.c:662
Date: Mon, 17 Mar 2003 16:53:31 +0000 (GMT)
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