test1

[Matthew Fluet]

> I'm confused.  What is the assembler (inside of gcc) going to do with a C
> label?  

Well, it can jump to it, as in the PolySpace mods.  

Hmm... you're right.  I'm confusing a function label with a C label;
Nothing ensures that a C label appears in assembly (unlike a function
label, that should appear when declared as static).

> Even if it could get it, the compiler is going to assume control flow
> is as it expects and so things could never work.

Yeah, I agree.

> Am I missing something?

Nope; it's probably just an indication that I should be calling it quits
for the night. ;)