UninitVar: Fixed false positive when checking if allocated pointer is null