Fix bsearch stub argument const-ness

sim642 · sim642 · commit 1d6169712c51 · 2021-12-14T10:07:16.000+02:00
diff --git a/includes/stdlib.c b/includes/stdlib.c
@@ -30,8 +30,8 @@ void qsort(void *ptr, size_t count, size_t size, int (*comp)(const void*, const
 }
 
 
-void* bsearch(const void *key, void *ptr, size_t count, size_t size, int (*comp)(const void*, const void*))  __attribute__((goblint_stub));
-void* bsearch(const void *key, void *ptr, size_t count, size_t size, int (*comp)(const void*, const void*)) {
+void* bsearch(const void *key, const void *ptr, size_t count, size_t size, int (*comp)(const void*, const void*))  __attribute__((goblint_stub));
+void* bsearch(const void *key, const void *ptr, size_t count, size_t size, int (*comp)(const void*, const void*)) {
   // linear search for simplicity
   for (size_t i = 0; i < count; i++) {
     const void *a = ptr + i * size;

Original file line number	Diff line number	Diff line change
`@@ -30,8 +30,8 @@ void qsort(void ptr, size_t count, size_t size, int (comp)(const void*, const`
`30`	`30`	`}`
`31`	`31`
`32`	`32`
`33`		`-void* bsearch(const void key, void ptr, size_t count, size_t size, int (comp)(const void, const void*)) __attribute__((goblint_stub));`
`34`		`-void* bsearch(const void key, void ptr, size_t count, size_t size, int (comp)(const void, const void*)) {`
	`33`	`+void* bsearch(const void key, const void ptr, size_t count, size_t size, int (comp)(const void, const void*)) __attribute__((goblint_stub));`
	`34`	`+void* bsearch(const void key, const void ptr, size_t count, size_t size, int (comp)(const void, const void*)) {`
`35`	`35`	`// linear search for simplicity`
`36`	`36`	`for (size_t i = 0; i < count; i++) {`
`37`	`37`	`const void a = ptr + i size;`