Change names of parameters to memcpy(), as per Geoff.

cpp/ql/test/query-tests/Likely Bugs/Memory Management/AllocaInLoop/AllocaInLoop1.cpp

@@ -15,7 +15,7 @@ void *__builtin_alloca(int sz);
 typedef unsigned long size_t;
 
 int printf(const char *restrict format, ...);
-void *memcpy(void *restrict dst, const void *restrict src, size_t len);
+void *memcpy(void *restrict s1, const void *restrict s2, size_t n);
 
 // case 1: alloca directly contained in an unbounded loop
 void foo(const struct vtype* vec, int count) {

cpp/ql/test/query-tests/Likely Bugs/Memory Management/AllocaInLoop/AllocaInLoop1ms.cpp

@@ -12,7 +12,7 @@ extern int w1, w2;
 #endif
 
 int printf(const char *restrict format, ...);
-void *memcpy(void *restrict dst, const void *restrict src, size_t len);
+void *memcpy(void *restrict s1, const void *restrict s2, size_t n);
 
 // case 1: _alloca directly contained in an unbounded loop
 void foo(const struct vtype* vec, int count) {

cpp/ql/test/query-tests/Likely Bugs/Memory Management/AllocaInLoop/AllocaInLoop2.c

@@ -2,7 +2,7 @@
 int printf(const char *restrict format, ...);
 int sprintf(char *restrict buf, const char *restrict format, ...);
 typedef unsigned long size_t;
-void *memcpy(void *restrict dst, const void *restrict src, size_t len);
+void *memcpy(void *restrict s1, const void *restrict s2, size_t n);
 void *malloc(size_t sz);
 void free(void *ptr);