Not just POSIX, also the ISO C standard itself. https://en.cppreference.com/w/c/memory/malloc
That doesn't say the pointer has to be unique.
That doesn't say the pointer has to be unique.