test case

Author: jsinglet

c/cert/test/rules/CON41-C/WrapFunctionsThatCanFailSpuriouslyInLoop.expected

@@ -0,0 +1,4 @@
+| test.c:5:8:5:46 | atomic_compare_exchange_weak(a,b,c) | Function that can spuriously fail not wrapped in a loop. |
+| test.c:9:3:9:41 | atomic_compare_exchange_weak(a,b,c) | Function that can spuriously fail not wrapped in a loop. |
+| test.c:11:8:12:47 | atomic_compare_exchange_weak_explicit(a,b,c,d,e) | Function that can spuriously fail not wrapped in a loop. |
+| test.c:16:3:16:56 | atomic_compare_exchange_weak_explicit(a,b,c,d,e) | Function that can spuriously fail not wrapped in a loop. |

c/cert/test/rules/CON41-C/WrapFunctionsThatCanFailSpuriouslyInLoop.qlref

@@ -0,0 +1 @@
+rules/CON41-C/WrapFunctionsThatCanFailSpuriouslyInLoop.ql

c/cert/test/rules/CON41-C/test.c

@@ -0,0 +1,49 @@
+#include "stdatomic.h"
+
+void f1() {
+  int a, b, c;
+  if (!atomic_compare_exchange_weak(&a, &b, c)) { // NON_COMPLIANT
+    (void)0;                                      /* no-op */
+  }
+
+  atomic_compare_exchange_weak(&a, &b, c); // NON_COMPLIANT
+
+  if (!atomic_compare_exchange_weak_explicit(&a, &b, c, 0,
+                                             0)) { // NON_COMPLIANT
+    (void)0;                                       /* no-op */
+  }
+
+  atomic_compare_exchange_weak_explicit(&a, &b, c, 0, 0); // NON_COMPLIANT
+}
+
+void f2() {
+  int a, b, c;
+  while (1 == 1) {
+    if (!atomic_compare_exchange_weak(&a, &b, c)) { // COMPLIANT
+      (void)0;                                      /* no-op */
+    }
+  }
+
+  while (!atomic_compare_exchange_weak(&a, &b, c)) { // COMPLIANT
+    (void)0;                                         /* no-op */
+  }
+
+  do {
+    (void)0;                                          /* no-op */
+  } while (!atomic_compare_exchange_weak(&a, &b, c)); // COMPLIANT
+
+  while (1 == 1) {
+    if (!atomic_compare_exchange_weak_explicit(&a, &b, c, 0, 0)) { // COMPLIANT
+      (void)0;                                                     /* no-op */
+    }
+  }
+
+  while (!atomic_compare_exchange_weak_explicit(&a, &b, c, 0, 0)) { // COMPLIANT
+    (void)0;                                                        /* no-op */
+  }
+
+  do {
+    (void)0; /* no-op */
+  } while (
+      !atomic_compare_exchange_weak_explicit(&a, &b, c, 0, 0)); // COMPLIANT
+}