Silence false positive coverity