CheriBoundAllocas should also consider permissions

Question

jrtc27 opened this issue 2 years ago · 0 comments

void foo(void *);

void
bar(void)
{
    const int x = 42;

    foo((void *)&x);
}

Ideally foo would have a read-only capability since the underlying object is const.