lkml.org 
[lkml]   [2019]   [Nov]   [19]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [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@infradead.org>
    > > Signed-off-by: Marco Elver <elver@google.com>
    >
    > Acked-by: Randy Dunlap <rdunlap@infradead.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

    \
     
     \ /
      Last update: 2019-11-19 22:18    [W:3.098 / U:1.332 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site