Svadev mailing list

[Daniel Huang <dan.e.huang AT gmail.com>]

Hi Svadev,

Since the boundscheck function does not take an object length or know the pointer's type, what does it mean for a pointer to be in-bounds? For example, if I had a pointer to the last byte in a memory object, would calling boundscheck give me a rewrite pointer or a regular pointer? It's not clear to me what happens in this situation, since if I originally had an i8 pointer, it would be in-bounds, but if I had an i32 pointer, it would be out of bounds. However, the boundscheck function does not have access to the pointer's type (or size), so which does it pick? This also seems to imply that a boundscheck must always be followed by a poolcheck, where the poolcheck specifies the object length. Could I get some clarification on what a boundscheck does?

Thanks,

Dan