Then again, if you construct your code such that determining whether a variable is initialized requires solving the halting problem, somebody should probably ta

Then again, if you construct your code such that determining whether a variable is initialized requires solving the halting problem, somebody should probably take your keyboard away :-). In practice, if your initialization isn't sufficiently transparent, you're just busy making bugs.