1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Merge branch '10.4' into 10.5

This commit is contained in:
Sergei Golubchik
2020-08-07 13:43:08 +02:00
42 changed files with 95 additions and 100 deletions

View File

@@ -36,7 +36,7 @@
#ifdef __linux__
#define PTR_SANE(p) ((p) && (char*)(p) >= heap_start && (char*)(p) <= heap_end)
static char *heap_start;
extern char *__bss_start;
char *__bss_start;
#else
#define PTR_SANE(p) (p)
#endif /* __linux */