No, I won’t have checks on every dereference. The monotonicity of Fil-C’s capabi...

pitaj · on Aug 28, 2024

Obviously, removing repeated/redundant bounds checks is a basic optimization. That's not what I meant. My point still stands.

pizlonator · on Aug 28, 2024

I think that check on every access is a lot different than check on some accesses.

That plateau might not be any different than the CHERI plateau, since at the microarch level, CHERI will have more checks since it cannot benefit from a compiler’s static reasoning about redundant check elimination.