Uninitialized struct member: fixed false negative when struct assignment is seen