In another thread, Evandro Zilio de Souza wrote:
"SDCC is a Freeware , retargettable, optimizing ANSI - C compiler.
Currently Linux (and other unices) and MS-Windows are supported.
http://sdcc.sourceforge.net/ "

Does anyone here have experience of using SDCC with an 8051 variant?
(or, indeed, with anything else)

Was it any good? - pros? cons?

(somebody did sort of ask this a while back, but it was in a thread that got deleted)