[tor-commits] [tor/master] Maybe this will make coverity not care that this check is dead. CID 1268063