From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wr1-f42.google.com (mail-wr1-f42.google.com [209.85.221.42]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id C1A81433049 for ; Thu, 3 Sep 2026 20:37:37 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.221.42 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1788467861; cv=none; b=r6GSExFyyOFi6iBiGgQUiOdctTwZg2ZaydiJw1m7inIl2vzsG8j1wHYkZyQzs+iEBinuGVG2nqf6OOvFmCscfDRDKC0NoIpKNr6mlMHF4ki4sp5fyma5lSZpF3bXrAJ2nQNx0ZrkKqT8Q5ZCuEiS+CMIPWwOBKt0ZBHKIF8sOso= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1788467861; c=relaxed/simple; bh=eQHeON0BpQBd/tO8wP0/baPlZbNUwkPl8Dihm2uv+Ak=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=Jl8WtR5mVuIP/UsboJyFD8XXSObnhbTl0fjtthGNZXKZzc96j9QjXAf3YrjQmwxnot2mUw7MS4KOAfg33XcEsUji7owj+5l2cCdDWJz9V27WKSEV8NdvGJSn4/uFV4wMQU6HHr83nKroD6DyrJhmsC+64kSIAO3QfRyZ7kZDH+M= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=mwEpWRJf; arc=none smtp.client-ip=209.85.221.42 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="mwEpWRJf" Received: by mail-wr1-f42.google.com with SMTP id ffacd0b85a97d-482e2fdf5abso144143f8f.2 for ; Thu, 03 Sep 2026 13:37:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1788467854; x=1789072654; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to:content-type; bh=akOv2wAC7HX7aMxE6Q3m1WKBtSvSbn9vu4HmmhmzJNE=; b=mwEpWRJfPNFDWPxOlO/VlG+oSUnCC0DJcFaMhm9k7VwmmC4T9CEChBEFNfxl4XsAhn SIdLqat59QFWXM2b4BiKBFBLtrYZfUTAfHzk2CbM5cB8wMeqTOefupPU0mmmgWAOQdZB GHr6Vi3gQXfltHNFLJuPydI2g/fN6HlvBFljHdU1PB57ow+Za2pRod59QPcJLAvEdiwA lDuJS805xmAZgdX2ydvi9QU3pfo1/+OpwOMJBj3XUUQ2ULANALZuCEKJSLv3ixv4o3vZ Y7hOvlsFvrzWf1CLBQmA4+Y7j0EJGOYesP7OIYJdWpjF5tpKX3y7QdKpp0C8ERy20GUy KvXg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1788467854; x=1789072654; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to:content-type; bh=akOv2wAC7HX7aMxE6Q3m1WKBtSvSbn9vu4HmmhmzJNE=; b=sGK+Ruz3CVwLEJS1RobYaN9F/+aM9MK2BPwNVa3tR2i0jtyFcbNNRfL+cjWuZCyDAf cvm4ih4HgoRo+lm8rmIYa7vZiJzfQSTGJDg6VMDeS8RCjSU3roWBYPUMiypa76kadeg8 lZcooIJZgrBg5W6noa0Zcw5qBdTeIOx0PhzbDkejPaPURIrM4mGjJmOew12Fq6lh0XCO RJyOlOTtDCX/Oy+uhZ11xDQUApaWeukClmj+6tf8GmKiscj7VtjQLiU/4slWsILzY0Zq 3jx5AbphxlFiYWa9U+b6yxGhyl6933SEmV/1DpqV9513UgMnJMFW9GFpKyaYcQkm9qax W5rw== X-Forwarded-Encrypted: i=1; AKwUvBwTX1dxnNj6WuLx/XTflO9J1ore1TOCZLnOfjJlK+WwtJsu0mkDLoz1CJ9yU0Nw2FRKpYbu2T+fwmsUe7TfGg8=@vger.kernel.org X-Gm-Message-State: AFuF++mb5jwKhwi6+Qo9vtUYw9WlpokgO7c0k+Q4pcNEVoK1Ix7BtYfz BVqHzm4/ptu0Ft260whcUybU9vyfpRKqqd7Y9SG2zq9pNRIJZyTOUicA X-Gm-Gg: AYBFou0772Z+Rs8yChGR+caSsAemcUmfjKoxq+xvQHxc9CHLXQchm9EryOewjriL/76 V2OD+pxgN6jbO3w7eSSzoDfjKZZPGrrFHMU+Un0sJcyAdbEcwtTMr7yFLBy4YLNR9gPIzn1dN6v Sl2TiK86dYOo8ntbRIj4/FnxVWjSsX4E/L/CIudNL3L7kGgAz89cnX80SnIGttQPnQYnqo94L3k ltfP823ptjFrLkiHnSNSfMa6W/TR2COYPUCGbtlUpiV1neI3WZLypeAna1N/xwEKhTUYHlHwM+U GcnTc3mgw3rJQumIa2IsjVsNLCfKLBnB11Z813jzzrL6RO+6q7qMiVS9YKjBj23w+7quGSFBZfv Gb3Ycfk+CND2JPqOqJgZC4+2C/SxOYImFXnS4080vQMBxS4SpQiwKm69QYgdWkdTB1r1cIX7jgS PluiBLhTgamh+YeGNe+zeqMTkzy3j5ltBM9QsdKbVlJH+yWKPIDku3rOOFlBBgeJ5W6qwQivyvK ZsuhKs5tx7E6YQZFn+drSPCfpCs7hw4c619r5J0HoOexqWitc+m2LrTkxMMLHIirSo595PEKoRl wMqwNnoRrmaDLHaJtceCMQcVHMjBX8bvswtb3hZ4MGGySz1ntBzOyqGUD+EUWco48PnCiLzudva +0nQG X-Received: by 2002:a05:6000:220a:b0:485:81a8:6f09 with SMTP id ffacd0b85a97d-485870982a4mr3472028f8f.9.1788467854295; Thu, 03 Sep 2026 13:37:34 -0700 (PDT) Received: from MacBook-Pro-von-Karl.localdomain (dynamic-2a02-3100-a979-9501-3df6-d7fa-8a5a-06c5.310.pool.telefonica.de. [2a02:3100:a979:9501:3df6:d7fa:8a5a:6c5]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-48588394fa1sm1005070f8f.8.2026.09.03.13.37.33 (version=TLS1_3 cipher=TLS_CHACHA20_POLY1305_SHA256 bits=256/256); Thu, 03 Sep 2026 13:37:33 -0700 (PDT) From: Karl Mehltretter To: Vlastimil Babka , Harry Yoo , Andrew Morton Cc: Karl Mehltretter , Rasmus Villemoes , Hao Li , Christoph Lameter , David Rientjes , Roman Gushchin , Catalin Marinas , Kees Cook , "Gustavo A . R . Silva" , Arnd Bergmann , Greg Kroah-Hartman , Shuah Khan , Nathan Chancellor , Nick Desaulniers , Bill Wendling , Justin Stitt , linux-hardening@vger.kernel.org, linux-mm@kvack.org, linux-kselftest@vger.kernel.org, linux-kernel@vger.kernel.org, llvm@lists.linux.dev Subject: [PATCH v3 4/5] slab: test zero-size allocations in slub_kunit Date: Thu, 3 Sep 2026 22:37:19 +0200 Message-Id: <20260903203720.63689-5-kmehltretter@gmail.com> X-Mailer: git-send-email 2.39.5 (Apple Git-154) In-Reply-To: <20260903203720.63689-1-kmehltretter@gmail.com> References: <20260903203720.63689-1-kmehltretter@gmail.com> Precedence: bulk X-Mailing-List: linux-hardening@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Add KUnit coverage for the zero-size allocation contract, including ZERO_SIZE_PTR alignment and exact ZERO_OR_NULL_PTR() matching. Assisted-by: LLM Signed-off-by: Karl Mehltretter --- lib/tests/slub_kunit.c | 43 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/lib/tests/slub_kunit.c b/lib/tests/slub_kunit.c index e3b63f0338d5..923d8646bca1 100644 --- a/lib/tests/slub_kunit.c +++ b/lib/tests/slub_kunit.c @@ -465,6 +465,48 @@ static void test_kmalloc_nolock_and_friends_kprobe(struct kunit *test) } #endif +static void test_zero_size_alloc(struct kunit *test) +{ + unsigned long zsp = (unsigned long)ZERO_SIZE_PTR; + void *p, *r; + + KUNIT_EXPECT_EQ(test, zsp % ARCH_KMALLOC_MINALIGN, 0UL); + + p = kmalloc(0, GFP_KERNEL); + KUNIT_EXPECT_PTR_EQ(test, p, ZERO_SIZE_PTR); + KUNIT_EXPECT_EQ(test, ksize(p), 0); + kfree(p); + + KUNIT_EXPECT_PTR_EQ(test, kzalloc(0, GFP_KERNEL), ZERO_SIZE_PTR); + KUNIT_EXPECT_PTR_EQ(test, kmalloc_array(0, 8, GFP_KERNEL), ZERO_SIZE_PTR); + KUNIT_EXPECT_PTR_EQ(test, kcalloc(4, 0, GFP_KERNEL), ZERO_SIZE_PTR); + + p = kvmalloc(0, GFP_KERNEL); + KUNIT_EXPECT_PTR_EQ(test, p, ZERO_SIZE_PTR); + kvfree(p); + + p = krealloc(NULL, 0, GFP_KERNEL); + KUNIT_EXPECT_PTR_EQ(test, p, ZERO_SIZE_PTR); + r = krealloc(p, 64, GFP_KERNEL); + KUNIT_EXPECT_FALSE(test, ZERO_OR_NULL_PTR(r)); + p = krealloc(r, 0, GFP_KERNEL); + KUNIT_EXPECT_PTR_EQ(test, p, ZERO_SIZE_PTR); + kfree(p); + + /* Only NULL and the zero-size sentinel match. */ + KUNIT_EXPECT_TRUE(test, ZERO_OR_NULL_PTR(NULL)); + KUNIT_EXPECT_TRUE(test, ZERO_OR_NULL_PTR(ZERO_SIZE_PTR)); + KUNIT_EXPECT_FALSE(test, ZERO_OR_NULL_PTR((void *)1)); + KUNIT_EXPECT_FALSE(test, ZERO_OR_NULL_PTR((void *)(zsp - 1))); + KUNIT_EXPECT_FALSE(test, ZERO_OR_NULL_PTR((void *)(zsp + 1))); + KUNIT_EXPECT_FALSE(test, ZERO_OR_NULL_PTR((void *)(zsp * 2))); + + /* freeing the sentinel must stay a no-op */ + kfree(ZERO_SIZE_PTR); + kfree_sensitive(ZERO_SIZE_PTR); + kvfree(ZERO_SIZE_PTR); +} + static int test_init(struct kunit *test) { slab_errors = 0; @@ -489,6 +531,7 @@ static struct kunit_case test_cases[] = { KUNIT_CASE(test_kfree_rcu_wq_destroy), KUNIT_CASE(test_leak_destroy), KUNIT_CASE(test_krealloc_redzone_zeroing), + KUNIT_CASE(test_zero_size_alloc), #ifdef CONFIG_PERF_EVENTS KUNIT_CASE_SLOW(test_kmalloc_nolock_and_friends_perf), #endif -- 2.53.0