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 eb776a7 commit 7a4ca0bCopy full SHA for 7a4ca0b
c/common/test/rules/wrapspuriousfunctioninloop/test.c
@@ -32,15 +32,15 @@ void f3() {
32
33
void f4() {
34
mtx_lock(&lk);
35
-
+
36
for (;;) {
37
cnd_wait(&cnd, &lk); // COMPLIANT
38
}
39
40
41
void f5() {
42
43
44
int i = 2;
45
while (i > 0) {
46
i--;
@@ -51,7 +51,7 @@ void f5() {
51
52
void f6() {
53
54
55
for (int i = 0; i < 10; i++) {
56
57
int i = 0;
0 commit comments