>From 6ecff66f2b5f95e914d90e29b6d0a2eb4d8901cc Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Sat, 11 Nov 2017 08:25:34 +0900
Subject: [PATCH 3/3] CodeSamples/formal: Get rid of warnings in cross compiling
Also fix corresponding code snippet.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
CodeSamples/formal/litmus/C-2+2W+o-wmb-o+o-wmb-o.litmus | 2 --
CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o.litmus | 2 +-
memorder/memorder.tex | 2 +-
3 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/CodeSamples/formal/litmus/C-2+2W+o-wmb-o+o-wmb-o.litmus b/CodeSamples/formal/litmus/C-2+2W+o-wmb-o+o-wmb-o.litmus
index a58e637..7f06c85 100644
--- a/CodeSamples/formal/litmus/C-2+2W+o-wmb-o+o-wmb-o.litmus
+++ b/CodeSamples/formal/litmus/C-2+2W+o-wmb-o+o-wmb-o.litmus
@@ -16,8 +16,6 @@ P0(int *x0, int *x1)
P1(int *x0, int *x1)
{
- int r2;
-
WRITE_ONCE(*x1, 1);
smp_wmb();
WRITE_ONCE(*x0, 2);
diff --git a/CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o.litmus b/CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o.litmus
index 9563e6a..8d766bf 100644
--- a/CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o.litmus
+++ b/CodeSamples/formal/litmus/C-Z6.2+o-r+a-o+o-mb-o.litmus
@@ -26,7 +26,7 @@ P1(int *y, int *z)
P2(int *z, int *x)
{
- int r3;
+ int r2;
WRITE_ONCE(*z, 2);
smp_mb();
diff --git a/memorder/memorder.tex b/memorder/memorder.tex
index 28be8b2..7d8e497 100644
--- a/memorder/memorder.tex
+++ b/memorder/memorder.tex
@@ -2824,7 +2824,7 @@ P1(int *y, int *z)
P2(int *z, int *x)
{
- int r3;
+ int r2;
WRITE_ONCE(*z, 2);
smp_mb();
--
2.7.4
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
