[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20191119211754.GI2889@paulmck-ThinkPad-P72>
Date: Tue, 19 Nov 2019 13:17:54 -0800
From: "Paul E. McKenney" <paulmck@...nel.org>
To: Randy Dunlap <rdunlap@...radead.org>
Cc: Marco Elver <elver@...gle.com>,
Stephen Rothwell <sfr@...b.auug.org.au>,
Linux Next Mailing List <linux-next@...r.kernel.org>,
Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
kasan-dev <kasan-dev@...glegroups.com>,
Dmitry Vyukov <dvyukov@...gle.com>
Subject: Re: [PATCH -next] kcsan, ubsan: Make KCSAN+UBSAN work together
On Tue, Nov 19, 2019 at 01:07:43PM -0800, Randy Dunlap wrote:
> On 11/19/19 10:57 AM, Marco Elver wrote:
> > Context:
> > http://lkml.kernel.org/r/fb7e25d8-aba4-3dcf-7761-cb7ecb3ebb71@infradead.org
> >
> > Reported-by: Randy Dunlap <rdunlap@...radead.org>
> > Signed-off-by: Marco Elver <elver@...gle.com>
>
> Acked-by: Randy Dunlap <rdunlap@...radead.org> # build-tested
Applied, thank you both!
Thanx, Paul
> Thanks.
>
> > ---
> > kernel/kcsan/Makefile | 1 +
> > lib/Makefile | 1 +
> > 2 files changed, 2 insertions(+)
> >
> > diff --git a/kernel/kcsan/Makefile b/kernel/kcsan/Makefile
> > index dd15b62ec0b5..df6b7799e492 100644
> > --- a/kernel/kcsan/Makefile
> > +++ b/kernel/kcsan/Makefile
> > @@ -1,6 +1,7 @@
> > # SPDX-License-Identifier: GPL-2.0
> > KCSAN_SANITIZE := n
> > KCOV_INSTRUMENT := n
> > +UBSAN_SANITIZE := n
> >
> > CFLAGS_REMOVE_core.o = $(CC_FLAGS_FTRACE)
> >
> > diff --git a/lib/Makefile b/lib/Makefile
> > index 778ab704e3ad..9d5bda950f5f 100644
> > --- a/lib/Makefile
> > +++ b/lib/Makefile
> > @@ -279,6 +279,7 @@ obj-$(CONFIG_UBSAN) += ubsan.o
> >
> > UBSAN_SANITIZE_ubsan.o := n
> > KASAN_SANITIZE_ubsan.o := n
> > +KCSAN_SANITIZE_ubsan.o := n
> > CFLAGS_ubsan.o := $(call cc-option, -fno-stack-protector) $(DISABLE_STACKLEAK_PLUGIN)
> >
> > obj-$(CONFIG_SBITMAP) += sbitmap.o
> >
>
>
> --
> ~Randy
Powered by blists - more mailing lists