Capability to integer casts on CheriBSD
Richard Kettlewell
rjk at terraraq.uk
Mon Oct 30 19:58:07 UTC 2023
On 30/10/2023 09:49, Richard Kettlewell wrote:
> // Total length of pages
> size_t total_length = start+offset + length + end_offset;
^^^^^^^^^^^^
Should be start_offset of course.
> return msync(start, total_length, flags);
>
> Totally untested - the calculation should be out into a distinct
> function so it can be unit-tested properly.
ttfn/rjk
More information about the inn-workers
mailing list