We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 65e525d commit 3a6af4eCopy full SHA for 3a6af4e
cpp/misra/src/rules/RULE-4-1-3/PossibleDataRaceBetweenThreads.ql
@@ -1,8 +1,8 @@
1
/**
2
* @id cpp/misra/possible-data-race-between-threads
3
- * @name RULE-4-1-3: There shall be no data races between threads
4
- * @description Threads shall not access the same memory location concurrently without utilization
5
- * of thread synchronization objects.
+ * @name RULE-4-1-3: Data races between threads lead to undefined behavior
+ * @description Threads accessing the same memory location concurrently without utilization of
+ * thread synchronization objects results in undefined behavior.
6
* @kind problem
7
* @precision medium
8
* @problem.severity error
0 commit comments