Fixed #4511 (False positive: uninitialized struct member)