It seems that Coverity is only configured for gcc.