/* TAGS: c */ /* VERIFY_OPTS: -o nofail:malloc */ extern void __VERIFIER_error() __attribute__ ((__noreturn__)); /* Contributed by Kamil Dudka. */ #include #include char a[sizeof(int*)]; void foo(void) { int *p = (int *)malloc(10); memcpy(a, &p, sizeof p); } int main(void) { foo(); void *p; memcpy(&p, a, sizeof p); free(p); }