How to correcly check whether a pointer belongs within an allocated block?

Question

After reading many questions about pointer comparison, I\'ve come to realize that many of my custom allocators does a comparison that\'s unspecified behavior. An example cou