Try to catch data races for memcpy

[c11tester.git] / stl-model.h

diff --git a/stl-model.h b/stl-model.h
index 611520fc70515fa745239df32b4248d1db8068d6..53e412061d2178fc3f839882fa883400c57b4944 100644 (file)
--- a/stl-model.h
+++ b/stl-model.h
@@ -369,7 +369,7 @@ public:
                _size(_capacity),
                capacity(_capacity),
                array((type *) model_malloc(sizeof(type) * _capacity)) {
-               memcpy(array, _array, capacity * sizeof(type));
+               real_memcpy(array, _array, capacity * sizeof(type));
        }
        void pop_back() {
                _size--;
@@ -474,7 +474,7 @@ public:
                _size(_capacity),
                capacity(_capacity),
                array((type *) snapshot_malloc(sizeof(type) * _capacity)) {
-               memcpy(array, _array, capacity * sizeof(type));
+               real_memcpy(array, _array, capacity * sizeof(type));
        }
        void pop_back() {
                _size--;