From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from 013.lax.mailroute.net (013.lax.mailroute.net [199.89.1.16]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id A4879481ABC for ; Tue, 5 May 2026 15:26:20 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=199.89.1.16 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1777994782; cv=none; b=aTbTblsnKdt/6It7O+n/Cj31KIN+K91+itU6aDllQAg6kQIockxElLitWvUwLwBLUQUPe0Rf2SAUyQAFGBG0Ll6P4qismTkQdE14rGhDNIAFM/149cGkMjp4WiAhDmMDk5PLMmfOFWvXAIzq+ZQp7WW/l9uVkp+oXcHAw3JQ+1g= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1777994782; c=relaxed/simple; bh=a0U695S1/Zi9G8kG+9vKBXAH8Pf6yhnoYPD+7X7KSfo=; h=Message-ID:Date:MIME-Version:Subject:To:Cc:References:From: In-Reply-To:Content-Type; b=kkttt2Wg1CEL2VMLudE81g8Ps904owCDlm0CBqp8VFLr6K6x6qVpNZJnz+dbrtGBbHf+skxzWTB5DegqnlQihj3K2L6dMgD0KqGJnXhrl5BOz4LZ161YHW+onFW41Q+aEF/JIeMCUOxoJ4n/DHCyLYA9dIT6IQjAMBTBGHj/tbU= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=acm.org; spf=pass smtp.mailfrom=acm.org; dkim=pass (2048-bit key) header.d=acm.org header.i=@acm.org header.b=k2Uuv7eJ; arc=none smtp.client-ip=199.89.1.16 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=acm.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=acm.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=acm.org header.i=@acm.org header.b="k2Uuv7eJ" Received: from localhost (localhost [127.0.0.1]) by 013.lax.mailroute.net (Postfix) with ESMTP id 4g92RJ07sVzlfwHM; Tue, 5 May 2026 15:26:20 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=acm.org; h= content-transfer-encoding:content-type:content-type:in-reply-to :from:from:content-language:references:subject:subject :user-agent:mime-version:date:date:message-id:received:received; s=mr01; t=1777994775; x=1780586776; bh=qydd/vCAqQp+yaQVSM467D6q pFn5/E2D1ytjpwtIot4=; b=k2Uuv7eJkKdqrs1gCQTifWkaUGh0iFddPXMdWkQZ RJRffllcQdHT0k0fO/1O6m+frnP5jdxF9Up8xisaasweaRMPjqiavJLJqd/+9Vde aOwvGJjJuy2ITj/H2Pil9eysSrBQI110KKuOa4TyYfHfxmlHYkQnf/galwxZV365 9OJfhxuIu0PLI/o03oyR0F/0ZJyH1BbJDVg3qCPuvVZztZpVWZMRboV/+9PlV+dY sqgnnpTHX1F9oHZu0kvbmvP92RbVR15u13FHaa4MExLjkwro1e4K+ZXZruLxrNel IqwbT82onLECbxiz/OVX/jvE4a7wSw3Zgxa4gg0aWPak3g== X-Virus-Scanned: by MailRoute Received: from 013.lax.mailroute.net ([127.0.0.1]) by localhost (013.lax [127.0.0.1]) (mroute_mailscanner, port 10029) with LMTP id 7jHlJr1GhXoF; Tue, 5 May 2026 15:26:15 +0000 (UTC) Received: from [10.211.9.52] (unknown [213.147.98.98]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) (Authenticated sender: bvanassche@acm.org) by 013.lax.mailroute.net (Postfix) with ESMTPSA id 4g92R44376zlfvpM; Tue, 5 May 2026 15:26:08 +0000 (UTC) Message-ID: <47e461ac-4fb5-45b3-b7ec-56f9a77c2c6b@acm.org> Date: Tue, 5 May 2026 17:26:05 +0200 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v2] locking/rtmutex: Annotate API and implementation To: Sebastian Andrzej Siewior Cc: Peter Zijlstra , Marco Elver , linux-kernel@vger.kernel.org, Ingo Molnar , Will Deacon , Boqun Feng , Clark Williams , Steven Rostedt , Joel Granados , Alexei Starovoitov , Vlastimil Babka References: <20260505022649.870788-1-bvanassche@acm.org> <20260505070133.nrk1GBem@linutronix.de> <20260505073223.tm_mpwd4@linutronix.de> <20260505140353.KoacwFc_@linutronix.de> Content-Language: en-US From: Bart Van Assche In-Reply-To: <20260505140353.KoacwFc_@linutronix.de> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit On 5/5/26 4:03 PM, Sebastian Andrzej Siewior wrote: > I have here clang-22 and make with CONFIG_WARN_CONTEXT_ANALYSIS_ALL=n > and CONFIG_WARN_CONTEXT_ANALYSIS=y. I don't see any warning without your > patch during "make kernel/locking/". That is expected. > The change > CONTEXT_ANALYSIS_rtmutex.o := y > > is not needed because rtmutex.o is not compiled on its own: Agreed. Do you perhaps want me to repost this patch with that line left out? In case it would not be clear, the goal of this patch is to let the compiler verify whether users of the rtmutex_*() API use this API correctly. Thanks, Bart.