This is hugely architecture-dependent. In CheriBSD for example - and probably also FreeBSD in general - the compiler doesn’t assume that, and that’s one of the

This is hugely architecture-dependent. In CheriBSD for example - and probably also FreeBSD in general - the compiler doesn’t assume that, and that’s one of the features that make CHERI process colocation possible.