Skip to content

Commit 213d6e8

Browse files
committed
testing qcc
1 parent beda676 commit 213d6e8

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

cpp/cert/src/rules/CON56-CPP/DoNotSpeculativelyLockALockedNonRecursiveMutex.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,8 @@ where
2121
not isExcluded(n, ConcurrencyPackage::doNotSpeculativelyLockALockedNonRecursiveMutexQuery()) and
2222
// problematic nodes are ones where a lock is active and there is an attempt to
2323
// call a speculative locking function
24+
25+
2426
n.(MutexFunctionCall).isSpeculativeLock() and
2527
not n.(MutexFunctionCall).isRecursive() and
2628
n.getAProtectingLock() = n.(MutexFunctionCall).getLock()

cpp/cert/src/rules/CON56-CPP/LockedALockedNonRecursiveMutexAudit.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,8 @@ where
2121
not isExcluded(n, ConcurrencyPackage::lockedALockedNonRecursiveMutexAuditQuery()) and
2222
// problematic nodes are ones where a lock is active and there is an attempt to
2323
// call a speculative locking function
24+
25+
2426
n.(MutexFunctionCall).isSpeculativeLock() and
2527
not n.(MutexFunctionCall).isRecursive()
2628
select n, "(Audit) Attempt to speculatively lock a non-recursive mutex while it is $@.",

0 commit comments

Comments
 (0)