The variable is zero-initialized before any other initialization takes place. So yes, this is well-defined.