coverity test4