/* TAGS: c */ /* VERIFY_OPTS: -o nofail:malloc */ extern void __VERIFIER_error() __attribute__ ((__noreturn__)); #include int main() { union { void *p0; struct { char c[2]; void *p1; void *p2; } str; } data; // alloc 37B on heap data.p0 = malloc(37U); // this should be fine data.str.p2 = &data; // valid free() free(data.p0); return 0; }