Re: Ok, somebody give me a clue.

[Richard Stallman]

    If I instead use

    #define RECORD_INPUT do { ; } while (0)

    it works.  So either gcc is broken with regard to local labels, or it
    produces something from them which confuses the dumper.

The way to debug a problem like that is by looking at the assembler
code and seeing if it corresponds correctly to the source.

It is important to do this, because if GCC has a bug, we need to fix
it.  However, is there a later GCC you could try?  Maybe the bug is
fixed already.