> I don't think it is possible to make substantial changes to the labels > generated without changing the GCC backend code (but if it's all about > labels, it's probably not too difficult to do so). Thanks for your constructive feedback. * Did any other software developers try already to apply alternative naming patterns for address labels? * How are the chances that generated assembler source files can be compared a bit easier even if the involved identifiers will be renumbered as usual? Regards, Markus