diff options
Diffstat (limited to 'tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus')
| -rw-r--r-- | tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus b/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus index 20ff62649f1e..d84160b9c1ae 100644 --- a/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus +++ b/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus @@ -10,9 +10,7 @@ C MP+onceassign+derefonce *) { - int *p=y; - int x; - int y=0; +p=y; } P0(int *x, int **p) // Producer |