Re: jitter generates GCC-only code in pvm-vm2.c

[Bruno Haible]

> >   volatile typeof (&& jitter_exit_vm_label) restrict
> >   jitter_saved_exit_non_replicated_code_pointer = &&jitter_exit_vm_label;
> 
> I think only the `switch` dispatch can be compiled by an ISO C compliant
> compiler. The other two dispatches (`direct-threading` and 
> `minimal-threading`)
> are relying on gcc extensions.

These particular two lines of code are outside of #if/#endif blocks.

Bruno