#include "../../config.h"
#define _GNU_SOURCE
+#include <inttypes.h>
#include <stdio.h>
#include <pthread.h>
#include <string.h>
static char s[1000];
static void describe (char* what, void* a)
{
- fprintf(stderr, "describing %p %s\n", a, what);
- sprintf(s, "v.info location %p", a);
+ fprintf(stderr, "describing %#" PRIxPTR " %s\n", (uintptr_t) a, what);
+ sprintf(s, "v.info location %#" PRIxPTR, (uintptr_t) a);
VALGRIND_MONITOR_COMMAND(s);
}
.... bytes below stack pointer
Thread 2:
Invalid read of size 1
- at 0x........: bad_things_till_guard_page (descr_belowsp.c:73)
- by 0x........: child_fn_0 (descr_belowsp.c:112)
+ at 0x........: bad_things_till_guard_page (descr_belowsp.c:74)
+ by 0x........: child_fn_0 (descr_belowsp.c:113)
...
Address 0x........ is on thread 2's stack
.... bytes below stack pointer