Skip to content

Commit 433b887

Browse files
Address feedback
1 parent 45e6b52 commit 433b887

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed

c/misra/src/rules/RULE-13-2/UnsequencedAtomicReads.ql

-1
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,6 @@ class AtomicAccessInFullExpressionOrdering extends Ordering::Configuration {
3737
* Note, it may be accessed directly, or by passing its address into the std atomic functions.
3838
*/
3939
class AtomicVariableAccess extends VariableAccess {
40-
pragma[noinline]
4140
AtomicVariableAccess() { getTarget().getType().hasSpecifier("atomic") }
4241

4342
/* Get the `atomic_<read|write>()` call this VarAccess occurs in. */

rule_packages/c/SideEffects3.json

+1-1
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@
2020
{
2121
"description": "The value of an atomic variable shall not depend on evaluation order and interleaving of threads.",
2222
"kind": "problem",
23-
"name": "The value of an atomic variable depend on its evaluation order and interleave of threads",
23+
"name": "The value of an atomic variable shall not depend on the evaluation order of interleaved threads",
2424
"precision": "very-high",
2525
"severity": "error",
2626
"short_name": "UnsequencedAtomicReads",

0 commit comments

Comments
 (0)