-
Type: Bug
-
Resolution: Fixed
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: Internal Code
-
Labels:
-
Fully Compatible
-
ALL
-
Security 2018-10-08
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);