On Tue, Nov 10, 2020 at 8:00 PM Chia-I Wu wrote:
>
> On Tue, Nov 10, 2020 at 8:09 AM Kristian Høgsberg wrote:
> >
> > Hi,
> >
> > I wanted to call attention to
> >
> > https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/7529
> >
> > which shows how we can use a new clang __attribute__ to
On Tue, Nov 10, 2020 at 8:09 AM Kristian Høgsberg wrote:
>
> Hi,
>
> I wanted to call attention to
>
> https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/7529
>
> which shows how we can use a new clang __attribute__ to statically
> check locking invariants. It's probably not perfect, but
Hi,
I wanted to call attention to
https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/7529
which shows how we can use a new clang __attribute__ to statically
check locking invariants. It's probably not perfect, but more like
static type checking - there will always be cases where you can