Robert Black wrote:

> > gcc definitely has that option. One just has to rewrite some
> > of the ARM32 files. gcc also has options for variable
> > length instructions, and other nice stuff. I checked this
> > 1-2 years ago when I wanted to write an inline math library
> > for RiscBSD. It was dropped because gcc could not be compiled
> > ordinary users then.
> 
> It is moderately trivial to modify gcc to avoid the bug, however there
> is a cost and this potentially means maintaining two versions of every
> binary, which we just don't have time to do.

Pete Burwood already did that a ptach to assemble the instruction twice
and NULL one out. I'd consider this an ecceptable solution for real
problem-binaries like the compiler but be wary on the OS as a whole.
Though really it's 100% Mark's say and certainly not Rob's or mine as he
does the releases.

	Neil