Uninitialized variables: fixed false positive in while loop