On: ISO C became unusable for operating systems develo...

[dooglius]

I didn't sign a contract though, the compilers just do dumb things and I am at their mercy. If I were negotiating a contract then I wouldn't allow all the cases of UB.

[gpderetta → dooglius]

Writing a C compiler that does a trivial translation to ASM is not very hard, in fact there are already quite a few. I don't understand why people don't use that if that's what they want.

[josephcsible → gpderetta]

Ironically, it's because the code they generate is too slow.

[CRConrad → dooglius]

"I didn't sign a contract though, Linux just does dumb things and I am at its mercy."

The license is still the closest thing you've got to a contract with the makers of Linux.

Same with a language specification.