Try to catch data races for memcpy

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index b0931f757e860a778c46e347dde08f87e978abe0..36055107c696b85003702159646450bbe0db3e04 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -114,7 +114,7 @@ void parse_options(struct model_params *params) {
        }
        argc++; //first parameter is executable name
        char optcpy[index + 1];
-       memcpy(optcpy, options, index+1);
+       real_memcpy(optcpy, options, index+1);
        char * argv[argc + 1];
        argv[0] = NULL;
        argv[1] = optcpy;