Received: by 2002:a05:6a10:17d3:0:0:0:0 with SMTP id hz19csp706823pxb; Thu, 15 Apr 2021 04:51:59 -0700 (PDT) X-Google-Smtp-Source: ABdhPJzdbv8by8dGUHZdBZG47trqPAJqarGXbaYx2hYandR8rVvX2tQX1ypmGpn6Y+fMhR5xTOjE X-Received: by 2002:a05:6402:274d:: with SMTP id z13mr3732564edd.344.1618487518977; Thu, 15 Apr 2021 04:51:58 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1618487518; cv=none; d=google.com; s=arc-20160816; b=YFEDFZMjVFd5FFl2IYClVl5alIF3/hSzdzca0mLa8SRNzDy9Dgc+Y9PjkYgrd+V0ny v33SB04hnC4KxMk1OvIchepQps68MFmZ/3dQ4BOWcxSAvTPcLQyyFnW1prvQ3MnFjgWT acgGbh2sZ4701lpcd1HCbGZsI0sEAbkMIo8/t1MZk+l1Zizr51nQsvqtGFN+vR5lbUhc RUw3+bx+9J/YrfcpZ6Roy5PcRT1cKmKOQb05mKRM19jyawjaVRJEZaarQBUbupa1cKVp FqqlY/gXEt9jU7P/6BIXSu77oyQWQybZFXH34MEXxGE+jQbE87yyhx1uWPCznLAdPiDG xdSA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date; bh=sNUw7tMxM0uC1Vm5pDT28WAi8B0bUKPzKnONdJVkpdc=; b=oEH2U6e10L1SfvyY49yevBCq8ea4MtZ4CEVfz6GqQ6xLIs44i4UlbHLvbd36Q4FcQ7 /68se0ma6oNCzFVVyRXIzDwlWOwriVaRkLjR0pwlSLwf/QpyLVSMMe07EDmS2s3Kp1rD sR3dXKsMc0nXHdjpScwdZwHStvId1WdTlouh/VGlVMazQm4sqtZPL/VlNfo5PzS61/69 9HD3J0juUhr+3qhOP//FrA5dtctJYAJDHQStN79r+IQOcyKfwa46/gHOPo1Jdlc+xwaZ sQJdYLurk9FBaSVlIsrhbg09UlzJ2YaKZpBfFCGWv6BahRb17an9FAOkv05hcPfySe9u 77HQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id v16si1925981eja.117.2021.04.15.04.51.35; Thu, 15 Apr 2021 04:51:58 -0700 (PDT) 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; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S232678AbhDOLsH (ORCPT + 99 others); Thu, 15 Apr 2021 07:48:07 -0400 Received: from foss.arm.com ([217.140.110.172]:44244 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S232268AbhDOLsH (ORCPT ); Thu, 15 Apr 2021 07:48:07 -0400 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 7FA3C106F; Thu, 15 Apr 2021 04:47:43 -0700 (PDT) Received: from E107129.arm.com (E107129.Arm.com [10.50.68.201]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 8A6473F73B; Thu, 15 Apr 2021 04:47:40 -0700 (PDT) Date: Thu, 15 Apr 2021 12:47:31 +0100 From: Mark Rutland To: Marco Elver Cc: paulmck@kernel.org, will@kernel.org, dvyukov@google.com, glider@google.com, boqun.feng@gmail.com, kasan-dev@googlegroups.com, linux-kernel@vger.kernel.org Subject: Re: [PATCH 0/9] kcsan: Add support for reporting observed value changes Message-ID: <20210415114731.GA73625@E107129.arm.com> References: <20210414112825.3008667-1-elver@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20210414112825.3008667-1-elver@google.com> Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Apr 14, 2021 at 01:28:16PM +0200, Marco Elver wrote: > This series adds support for showing observed value changes in reports. > Several clean up and refactors of KCSAN reporting code are done as a > pre-requisite. > This series was originally prepared courtesy of Mark Rutland in > September 2020. For anyone looking for the original, it was never posted to a list, but is sat on my kcsan/rework branch on kernel.org: https://git.kernel.org/pub/scm/linux/kernel/git/mark/linux.git/log/?h=kcsan/rework > Because KCSAN had a few minor changes since the original > draft of the series, it required a rebase and re-test. To not be > forgotten and get these changes in sooner than later, Mark kindly agreed > to me adopting the series and doing the rebase, a few minor tweaks, and > finally re-test. Thanks for picking this up! All your changes look good to me (along with the documentation patch), so FWIW: Acked-by: Mark Rutland Thanks, Mark. > > Marco Elver (1): > kcsan: Document "value changed" line > > Mark Rutland (8): > kcsan: Simplify value change detection > kcsan: Distinguish kcsan_report() calls > kcsan: Refactor passing watchpoint/other_info > kcsan: Fold panic() call into print_report() > kcsan: Refactor access_info initialization > kcsan: Remove reporting indirection > kcsan: Remove kcsan_report_type > kcsan: Report observed value changes > > Documentation/dev-tools/kcsan.rst | 88 +++++++--------- > kernel/kcsan/core.c | 53 ++++------ > kernel/kcsan/kcsan.h | 39 ++++--- > kernel/kcsan/report.c | 169 ++++++++++++++++-------------- > 4 files changed, 162 insertions(+), 187 deletions(-) > > -- > 2.31.1.295.g9ea45b61b8-goog >