projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
test: sctest: fix warnings
[model-checker.git]
/
test
/
sctest.c
diff --git
a/test/sctest.c
b/test/sctest.c
index 7aa4805e81e7ce2c07eb2abb7f967508e254e81a..2ddb953b338f14d27d4958865a9a1ebe919e0206 100644
(file)
--- a/
test/sctest.c
+++ b/
test/sctest.c
@@
-8,6
+8,8
@@
atomic_int x;
atomic_int y;
atomic_int z;
atomic_int y;
atomic_int z;
+static int r1, r2, r3;
+
static void a(void *obj)
{
atomic_store_explicit(&z, 1, memory_order_relaxed);
static void a(void *obj)
{
atomic_store_explicit(&z, 1, memory_order_relaxed);
@@
-17,20
+19,20
@@
static void b(void *obj)
{
atomic_store_explicit(&x, 1, memory_order_relaxed);
atomic_store_explicit(&y, 1, memory_order_relaxed);
{
atomic_store_explicit(&x, 1, memory_order_relaxed);
atomic_store_explicit(&y, 1, memory_order_relaxed);
-
int
r1=atomic_load_explicit(&z, memory_order_relaxed);
+ r1=atomic_load_explicit(&z, memory_order_relaxed);
}
static void c(void *obj)
{
atomic_store_explicit(&z, 2, memory_order_relaxed);
atomic_store_explicit(&x, 2, memory_order_relaxed);
}
static void c(void *obj)
{
atomic_store_explicit(&z, 2, memory_order_relaxed);
atomic_store_explicit(&x, 2, memory_order_relaxed);
-
int
r2=atomic_load_explicit(&y, memory_order_relaxed);
+ r2=atomic_load_explicit(&y, memory_order_relaxed);
}
static void d(void *obj)
{
atomic_store_explicit(&z, 3, memory_order_relaxed);
atomic_store_explicit(&y, 2, memory_order_relaxed);
}
static void d(void *obj)
{
atomic_store_explicit(&z, 3, memory_order_relaxed);
atomic_store_explicit(&y, 2, memory_order_relaxed);
-
int
r3=atomic_load_explicit(&x, memory_order_relaxed);
+ r3=atomic_load_explicit(&x, memory_order_relaxed);
}
int user_main(int argc, char **argv)
}
int user_main(int argc, char **argv)
@@
-51,5
+53,7
@@
int user_main(int argc, char **argv)
thrd_join(t3);
thrd_join(t4);
thrd_join(t3);
thrd_join(t4);
+ /* Check and/or print r1, r2, r3? */
+
return 0;
}
return 0;
}