I don't see what you're saying here. In C, it's undefined, so it's irrelevant. In my mythical language, the compiler is free to choose whatever initial value o

I don't see what you're saying here. In C, it's undefined, so it's irrelevant. In my mythical language, the compiler is free to choose whatever initial value of x it wants. So your counterexample still doesn't work.