Php coverity 10699