On 4/21/12, Jakob Ovrum <jakobovrum at gmail.com> wrote: > The control flow graph takes care of correctly determining > whether a variable has been initialized. It is initialized. .init takes care of that.