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