Checks whether the allocator is responsible for the allocation of b. It does a simple O(1) range check. b should be a buffer either allocated with this or obtained through other means.