From patchwork Fri Mar 3 14:14:33 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Alexander Potapenko X-Patchwork-Id: 13158848 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 6EA29C64EC4 for ; Fri, 3 Mar 2023 14:14:53 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 012606B0078; Fri, 3 Mar 2023 09:14:53 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id F02A86B007B; Fri, 3 Mar 2023 09:14:52 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id DA4586B007D; Fri, 3 Mar 2023 09:14:52 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0014.hostedemail.com [216.40.44.14]) by kanga.kvack.org (Postfix) with ESMTP id C80946B0078 for ; Fri, 3 Mar 2023 09:14:52 -0500 (EST) Received: from smtpin29.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay02.hostedemail.com (Postfix) with ESMTP id A028C120A4A for ; Fri, 3 Mar 2023 14:14:52 +0000 (UTC) X-FDA: 80527783224.29.79198AC Received: from mail-ed1-f74.google.com (mail-ed1-f74.google.com [209.85.208.74]) by imf03.hostedemail.com (Postfix) with ESMTP id 63EC620020 for ; Fri, 3 Mar 2023 14:14:50 +0000 (UTC) Authentication-Results: imf03.hostedemail.com; dkim=pass header.d=google.com header.s=20210112 header.b=XZGeQDWe; spf=pass (imf03.hostedemail.com: domain of 32QACZAYKCAoqvsno1qyyqvo.mywvsx47-wwu5kmu.y1q@flex--glider.bounces.google.com designates 209.85.208.74 as permitted sender) smtp.mailfrom=32QACZAYKCAoqvsno1qyyqvo.mywvsx47-wwu5kmu.y1q@flex--glider.bounces.google.com; dmarc=pass (policy=reject) header.from=google.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1677852890; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=rwOqGFiMpxVm/Yf2TCVg/tAOnz+fk0oI0q2ct+QMnRo=; b=CFvrrTZTo5a7mTnH6pM8qnB33WJuqUi7e++BF9SRWNAGW3G1GqeZvtCsWmBJPtLOEgZsNh 5KxcMWTlvPFPkHY22gcURiuywEH/fr1GYwuf40kS+SPCWHAu4CVsMVxt16CyCYJlXiJ6Np ULnw7IuWBb2JBJktf6cIJnbHcp0O3fU= ARC-Authentication-Results: i=1; imf03.hostedemail.com; dkim=pass header.d=google.com header.s=20210112 header.b=XZGeQDWe; spf=pass (imf03.hostedemail.com: domain of 32QACZAYKCAoqvsno1qyyqvo.mywvsx47-wwu5kmu.y1q@flex--glider.bounces.google.com designates 209.85.208.74 as permitted sender) smtp.mailfrom=32QACZAYKCAoqvsno1qyyqvo.mywvsx47-wwu5kmu.y1q@flex--glider.bounces.google.com; dmarc=pass (policy=reject) header.from=google.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1677852890; a=rsa-sha256; cv=none; b=i9a6lnGvBMXP0fiuoZqn3V+0l4s+ZbBdwwMPXi0oWWFQJni+SdXUF03ZAThQvM9hdKbRF7 DNlMcgQRKD0lxQRBysrSFpTiI0OzDdRPQ+djvPBKm6o4u6AI0r6LHv02MMj49DyH42FPaZ xoU5Zlh3aTDksuUTc2tlJ9R+keMSYfM= Received: by mail-ed1-f74.google.com with SMTP id r6-20020aa7c146000000b004acd97105ffso4138141edp.19 for ; Fri, 03 Mar 2023 06:14:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20210112; t=1677852889; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:from:to:cc:subject:date:message-id:reply-to; bh=rwOqGFiMpxVm/Yf2TCVg/tAOnz+fk0oI0q2ct+QMnRo=; b=XZGeQDWe4Pd5npHcAau0EzkvzHXKKNrGOH18yXzhEAmcYUZLbneOiYfhArq3rRCAZy GBbL3GsmlGQfzQ5SfxzKMgTFZEUEozH+Or/E60HwnODlceqj0C3HRmJbt7oN2LKCfPJB WhsQRvh03bRnXHE23IhTee0WmZOV7wI6BD1JQHMUVMgPFTpIWoulVpH3dQbdsiw8/T9J 5TcP4NGjzxEa/ZJAP3crz6HfyNfIP1dIzC/ax7dquihg4zVwhhLGbI8jCGiV7Fd5VKtM dPhh1sc5W7VFazYm2ehiDohwqAS/RO0qdmBIFJm84GXSSdH9KLss/voUPFZtPSSBR+Ew t8/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1677852889; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=rwOqGFiMpxVm/Yf2TCVg/tAOnz+fk0oI0q2ct+QMnRo=; b=j5pK65AE/CcfmBMSjKrp4trN1ZvswrU8P/d4rtXzs2rYVk3lbuRPyC3y6oa5u3gHIV R7qh7RarBUs4djZqMYEpUYKId2Av6v5Yo/Vuh9AfpYVWHTXOpryG82bVTGAUBrrOIAZR +O4Y0vhN2QMV05iSYGtsdfMcE8oaKBoAA2FY4/r0uEGEcauKxVwCc2yBKFYIq99l3o0v YzoaZJr5db6djEeSv4NjqD5ny/FvQxaTqgjc6OOWkYYxcRNrp4uQddqwBbQi2o8uVvEj rLNY4MQz6ixRc3X4fnpa08tO//BeQZDcvMZkIZNYGBkfF49g9Mpx3s6/Out2jmo3QqAD QTAA== X-Gm-Message-State: AO0yUKXj7OAGe4+bbg/9q9wTh2sp2qPlgxTv6lGvPZJlXeDTmoeOHUEg H1pwL+Q7Pk0NwuK+HulW7tJShVknBKs= X-Google-Smtp-Source: AK7set9r+yMP2FHj07wsqj7PjZE1ezap7iMthzxqlJBoACzjCEvFQP5Ey8Gv3jQTqbJVfvH5zLMGOYTOGuc= X-Received: from glider.muc.corp.google.com ([2a00:79e0:9c:201:f11e:2fac:5069:a04d]) (user=glider job=sendgmr) by 2002:a50:cd81:0:b0:4af:6e08:30c with SMTP id p1-20020a50cd81000000b004af6e08030cmr962152edi.4.1677852889146; Fri, 03 Mar 2023 06:14:49 -0800 (PST) Date: Fri, 3 Mar 2023 15:14:33 +0100 In-Reply-To: <20230303141433.3422671-1-glider@google.com> Mime-Version: 1.0 References: <20230303141433.3422671-1-glider@google.com> X-Mailer: git-send-email 2.40.0.rc0.216.gc4246ad0f0-goog Message-ID: <20230303141433.3422671-4-glider@google.com> Subject: [PATCH 4/4] kmsan: add memsetXX tests From: Alexander Potapenko To: glider@google.com Cc: linux-kernel@vger.kernel.org, linux-mm@kvack.org, tglx@linutronix.de, mingo@redhat.com, bp@alien8.de, x86@kernel.org, dave.hansen@linux.intel.com, hpa@zytor.com, akpm@linux-foundation.org, elver@google.com, dvyukov@google.com, nathan@kernel.org, ndesaulniers@google.com, kasan-dev@googlegroups.com X-Rspamd-Server: rspam05 X-Rspamd-Queue-Id: 63EC620020 X-Stat-Signature: h9jha17nhnuzmtduu4kbigyay98ky5yk X-Rspam-User: X-HE-Tag: 1677852890-541061 X-HE-Meta: U2FsdGVkX181JempxvtD6lgDg2c4QWZIBSBsxJ/6nBdQUXcydDhUqExQsrlZVCZ/hFEtBqUQ46AVLUe97vXKCQAoXipU3gECN6LbT/tb1jEsPYTMAXyxvDx26br/SWSFNW7EVltc9UIIRP/cI4UOIKSQlxBOUC1vk7XO6E1Mw437qKIn+dSuRMT8B5/xMJIX1ANq1lvr3yuew+PePhLC5V5VtTjwjMbYLHVySm+B62TUdRBqJNpuGXRvmpinWsnCCU6m9S4DThbQpTFGayKGRss+6ONccLqBpB1N79xn6jv3OpFqceCw6SuxyDTXD7xElPUtTXxO0cZ9tMh5Gf7O/bvZ6DglQCCFltV7V+dbP3DxPv5kzPpTxRIYcf9AQTGplOW/gOpwG6XDYILfzAZcg09XdmxSZXPUw+xd6p0Hn7VLPUZmZ4683NqLXzaKZffLCIpp1PZ/c5powc1c5BnZ3/d+EUOi4mAGmlM+nayfOsN5EYmR+mFbkY1VSmk7YDFPb6xhXHHRQHTHqA1ntKwpB5JaFiDbVYEOu0FCC+pbJEe2o0sFxnUBjr92VXf1QfpEbXQeF88Q+29JVnz86ug/2yN49Pt+LHS38HKCEeb+yTzjn8QgXaphwEZW4CK4gGSu3pb9Bz6kUhHWn1l7FlgxWisYhSDG8YRI+VucTAbGChYvcfABP6YJSTcqD561+L7Yq3T1MUfrTHm7kSr6WoGriWidzXwJS+L/DLs2sSRGlr+/lmuzUij32hcq3i+Ss4CHos+5g9f3xs0o80+bdnEV6kskEz7UI/bhRojMOQhqZs5AZUe401T4+MohLvzMhx5GElpcEUwExfXtdFCZm4SLFEyB0dEDeK+LleFTOwSi1Wjw2V6gexKrmPOkfnLOg4fqQP0UP/2o2PPHddRQSXvWEXGzWBtXahe04LgA9SHEuVz0wtSZ6Q7Wvio/0Em9zOuO4/UekYfa72ilvQYLlG0 mh6UW5rH o04Bw7LGNs1MnqPO6Ic/LmakT9Lm9W0Sos4QJmINUrOtZG+C4jA+2dgXa+GXN24nHukbtXiDjkEd4pK5BO+nqtFoPFNU6Q9ouIIEEDlae/jsnZl10GGsjMbxfbJ+0dt0JmPHztqXsLfzw3xT1q7UZy+GEJKpiKzf2wSLmcqtr7yiUHxasy7Ov1YFWg6AhKVPnmLEovOUrkpHQzYHPiwmvOp+LWCM7UePHdbEgdiP1kJ3ma+Ax1ZWi5ThbQdLLTZvFY4QObnyK2NdB6433t1zvlSEJ248tCxl1Xrycj68i8gZpxxAjK88xAnVAFQqvlEo/ktjads3nFK0Gq+MG/c1CQiwilk1ceq5bDY18Ntt0hiAYkvDJkUhGxCA1pijqahzi+P2/Pm335nlciQAoDSQ/v4/6baILcg/sB93EAnViubI2v24Z55asjqhNclpyw6I5Ao7X+Ieob+yWE9T4NPnmiLHg9ttceQEjpF87j0F/fc3+Ixr/VLU8d0AQQZ1itoVWtCb3f2qDhOt1B5ULF4gYCYWLK9cMMPiP6vgwVdGhci+ZzY0TNNl3zz2AxSiDGxvQOojkhbPfnBLGJwlgyXsIMXLaMO8uJ4VYVgJf03b1Y3KmXGFkhOBNmuYQrQ== X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: Add tests ensuring that memset16()/memset32()/memset64() are instrumented by KMSAN and correctly initialize the memory. Signed-off-by: Alexander Potapenko Reviewed-by: Marco Elver --- v2: - drop a redundant parameter of DEFINE_TEST_MEMSETXX() --- mm/kmsan/kmsan_test.c | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/mm/kmsan/kmsan_test.c b/mm/kmsan/kmsan_test.c index aeddfdd4f679f..7095d3fbb23ac 100644 --- a/mm/kmsan/kmsan_test.c +++ b/mm/kmsan/kmsan_test.c @@ -504,6 +504,25 @@ static void test_memcpy_aligned_to_unaligned2(struct kunit *test) KUNIT_EXPECT_TRUE(test, report_matches(&expect)); } +/* Generate test cases for memset16(), memset32(), memset64(). */ +#define DEFINE_TEST_MEMSETXX(size) \ + static void test_memset##size(struct kunit *test) \ + { \ + EXPECTATION_NO_REPORT(expect); \ + volatile uint##size##_t uninit; \ + \ + kunit_info(test, \ + "memset" #size "() should initialize memory\n"); \ + DO_NOT_OPTIMIZE(uninit); \ + memset##size((uint##size##_t *)&uninit, 0, 1); \ + kmsan_check_memory((void *)&uninit, sizeof(uninit)); \ + KUNIT_EXPECT_TRUE(test, report_matches(&expect)); \ + } + +DEFINE_TEST_MEMSETXX(16) +DEFINE_TEST_MEMSETXX(32) +DEFINE_TEST_MEMSETXX(64) + static noinline void fibonacci(int *array, int size, int start) { if (start < 2 || (start == size)) @@ -550,6 +569,9 @@ static struct kunit_case kmsan_test_cases[] = { KUNIT_CASE(test_memcpy_aligned_to_aligned), KUNIT_CASE(test_memcpy_aligned_to_unaligned), KUNIT_CASE(test_memcpy_aligned_to_unaligned2), + KUNIT_CASE(test_memset16), + KUNIT_CASE(test_memset32), + KUNIT_CASE(test_memset64), KUNIT_CASE(test_long_origin_chain), {}, };