We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 390f670 commit 6e8ef10Copy full SHA for 6e8ef10
cpp/common/src/codingstandards/cpp/Concurrency.qll
@@ -404,7 +404,7 @@ class LockProtectedControlFlowNode extends ThreadedCFN {
404
// to the caller to enforce this condition.
405
// Because of the way that `getAThreadContextAwarePredecessor` works, it is possible
406
// for operations PAST it to be technically part of the predecessors.
407
- // Thus, we need to make sure that this node is a
+ // Thus, we need to make sure that this node is a
408
// successor of the unlock in the CFG
409
getAThreadContextAwareSuccessor(unlock) = this
410
) and
0 commit comments