|
An unsigned value can never be less than 0
Defect 105024 (STATIC_C)
Checker NO_EFFECT (subcategory unsigned_compare_macros)
File: /src/mongo/transport/service_executor_reserved.cpp
Function mongo::transport::ServiceExecutorReserved::_startWorker()::[lambda() (instance 1)]::operator ()() const::[lambda() (instance 1)]::operator ()() const
/src/mongo/transport/service_executor_reserved.cpp, line: 90
This greater-than-or-equal-to-zero comparison of an unsigned value is always true. "this->__coverity_captured_this->_numRunningWorkerThreads.subtractAndFetch(1U) >= 0U".
invariant(_numRunningWorkerThreads.subtractAndFetch(1) >= 0);
|
|