Uninitialized variables: Fixed false positive for 'p=malloc; if (p) {}'