Silence an irrelevant Coverity Scan warning.