// Test: realloc with invalid arguments
// Clause: 7.24.3.7 — If ptr is not from a memory management function, or if the space has been deallocated,
// or if size is zero, the behavior is undefined (per draft cited).
#include <stdlib.h>
#include <stdio.h>

int main(void) {
    int dummy;
    // UB: ptr does not match a pointer earlier returned by a memory management function
    void *p = realloc(&dummy, 16);
    (void)p;
    return 0;
}