Re: [GIT PULL] gcc-plugin updates for v4.19-rc1

From: Linus Torvalds
Date: Wed Aug 15 2018 - 12:41:54 EST


On Mon, Aug 13, 2018 at 2:43 PM Kees Cook <keescook@xxxxxxxxxxxx> wrote:
>
> Please pull these gcc-plugin changes for v4.19-rc1.

No.

It adds yet another BUG_ON() without having been merged.

I'm not pulling this. Dammit, have you learnt *nothing*?

I'm, disappointed in the whole feature, but I'm also tired of having
to go and even look for these things.

Then actually *finding* them makes me just pissed off.

Linus