| 3738 | } |
| 3739 | |
| 3740 | void CheckOtherImpl::raceAfterInterlockedDecrementError(const Token* tok) |
| 3741 | { |
| 3742 | reportError(tok, Severity::error, "raceAfterInterlockedDecrement", |
| 3743 | "Race condition: non-interlocked access after InterlockedDecrement(). Use InterlockedDecrement() return value instead.", CWE362, Certainty::normal); |
| 3744 | } |
| 3745 | |
| 3746 | void CheckOtherImpl::checkUnusedLabel() |
| 3747 | { |
no test coverage detected