Data *prev = dataPtr.load(memory_order_acquire);
inc(tmp, prev, data1, data2);
// XXX-injection-#3: Weaken the parameter "memory_order_release" to
// "memory_order_relaxed", run "make" to recompile, and then run:
// "./run.sh ./read-copy-update/testcase -m2 -y -u3 -tSPEC"
Data *prev = dataPtr.load(memory_order_acquire);
inc(tmp, prev, data1, data2);
// XXX-injection-#3: Weaken the parameter "memory_order_release" to
// "memory_order_relaxed", run "make" to recompile, and then run:
// "./run.sh ./read-copy-update/testcase -m2 -y -u3 -tSPEC"