Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
MIME-Version: 1.0
References: <20200621102634.n43ozcsiravdi2ie@debian.debian-2>
 <4d1ef78e-f001-a685-9a69-afa68454fdc7@oracle.com> <6CFD253C-824B-4F95-BBB0-F53123DBC323@alien8.de>
 <20200622094616.GO576888@hirez.programming.kicks-ass.net>
In-Reply-To: <20200622094616.GO576888@hirez.programming.kicks-ass.net>
From:   Bo YU <tsu.yubo@gmail.com>
Date:   Mon, 22 Jun 2020 19:56:31 +0800
Message-ID: <CAKq8=3+ynBCootJ8QcyKctzPUFJA0SNrJ-w=kxniqGcg_hcVYw@mail.gmail.com>
Subject: Re: [PATCH -next] arch/x86: Return value from notify_die should to be checked.
To:     Peter Zijlstra <peterz@infradead.org>
Cc:     Boris Petkov <bp@alien8.de>,
        Alexandre Chartre <alexandre.chartre@oracle.com>,
        Thomas Gleixner <tglx@linutronix.de>,
        Ingo Molnar <mingo@redhat.com>,
        "H. Peter Anvin" <hpa@zytor.com>,
        Andy Lutomirski <luto@kernel.org>,
        Jann Horn <jannh@google.com>,
        Dave Hansen <dave.hansen@linux.intel.com>,
        open list <linux-kernel@vger.kernel.org>
Content-Type: text/plain; charset="UTF-8"
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On Mon, Jun 22, 2020 at 5:46 PM Peter Zijlstra <peterz@infradead.org> wrote:
>
> On Mon, Jun 22, 2020 at 11:17:51AM +0200, Boris Petkov wrote:
> > On June 22, 2020 10:52:23 AM GMT+02:00, Alexandre Chartre <alexandre.chartre@oracle.com> wrote:
> > > So the appropriate change to make Coverity happy
> >
> > Or we can stop "fixing" the kernel in order to shut up tools and not do anything.
>
> Agreed, no change required here.
Ok, thanks for everyone.