> Are you really sure that all the C code the two of you have written in
> your careers carefully avoids all 191 kinds of undefined behavior in C99
> (the number has grown since then)?  Give me leave to doubt it.
>
> Consider this example from an earlier version of the Linux kernel:
>
> static void __devexit agnx_pci_remove (struct pci_dev *pdev)
>

Bogus argument.  The Linux kernel is free to rely on specific compiler
behavior.