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.