From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from galois.linutronix.de (Galois.linutronix.de [193.142.43.55]) (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 ACA2748AE39 for ; Tue, 5 May 2026 16:14:12 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=193.142.43.55 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1777997653; cv=none; b=LTkZ3nuD4UDHn7JN6TFojFYOrFCRZw0aJxjXKVxkA/cyRukmU6GjfrCciQrjMd0VPZbrAqH1Ic7xMV2xWIV0u3nmjUk6ZJC4uFiZVrGq5x5y2PmVn9uOwCmvOmSRR7Gk9oTzw3g5UvKign3HOTurec9he+C8e7jeZvztqHWJzyI= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1777997653; c=relaxed/simple; bh=LjpGzwPAHcjBocpwqEUn9VlfgrQVFUILRn7uwcJksGw=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=TPYeZuzeM4kiw1pfaRzrfNPP8A/qIgkbtrkw8y1EUgoHpS4l/B9wAmChiTJjal2RKrTnNEWxR7PRBnbfIyMZ3IZ4WxsFVF983lGdEGE3z8zZc6D0xZm89s8jy/Wok8k4bg9yaKxyW2MaIAUM5yGuCQjbJKrJF7sKRGoWCjmtcwE= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linutronix.de; spf=pass smtp.mailfrom=linutronix.de; dkim=pass (2048-bit key) header.d=linutronix.de header.i=@linutronix.de header.b=Utfnz2fh; dkim=permerror (0-bit key) header.d=linutronix.de header.i=@linutronix.de header.b=KrCpapoL; arc=none smtp.client-ip=193.142.43.55 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linutronix.de Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=linutronix.de Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=linutronix.de header.i=@linutronix.de header.b="Utfnz2fh"; dkim=permerror (0-bit key) header.d=linutronix.de header.i=@linutronix.de header.b="KrCpapoL" Date: Tue, 5 May 2026 18:14:09 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020; t=1777997651; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=TkZCMi7lR4UqYUd9NlCGq6x72RvymjkOjE/sz2n1tXM=; b=Utfnz2fhk2S033/4sCjmDBYbxyZpMu2nxHuoZavgzWWOFuIG5eAMSWIfeuqAfjTTu0hBQh f4L5WIHnwqIbKFSEVCboeeX1IQraT7l0uS+L2ZEjBdGFYp3SAx2jXrSgK1ZqxEbWLjLs9U NUniK7IXllJ8kpRVtEicZQ1ObMniUng6Pi+MO7qMCsGEbZatE2hER/lH3zt8QOp2p1i3mU in1RJTmsttcix69wvcN84HHaP+/Udo7tSF1kDExLM0JNm/MQJnNlYvxCirzcH4j3A6ma0b 2DSI+h+SJZ+WZQIqj2HcikOrUx3/x0OU15p4R8wgAcfO2w6S5/cCRh7dXP4xlA== DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020e; t=1777997651; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=TkZCMi7lR4UqYUd9NlCGq6x72RvymjkOjE/sz2n1tXM=; b=KrCpapoL0kvDN/shpw4YwGC/L0BoB6IrOLp0eDaXiCr8NSDaHlBD10EtUq8qdvXzd0DRd6 wJ8m16ItUcwqYQBQ== From: Sebastian Andrzej Siewior To: Bart Van Assche 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 Subject: Re: [PATCH v2] locking/rtmutex: Annotate API and implementation Message-ID: <20260505161409.0HAah8Y3@linutronix.de> References: <20260505022649.870788-1-bvanassche@acm.org> <20260505070133.nrk1GBem@linutronix.de> <20260505073223.tm_mpwd4@linutronix.de> <20260505140353.KoacwFc_@linutronix.de> <47e461ac-4fb5-45b3-b7ec-56f9a77c2c6b@acm.org> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <47e461ac-4fb5-45b3-b7ec-56f9a77c2c6b@acm.org> On 2026-05-05 17:26:05 [+0200], Bart Van Assche wrote: > 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. Ah okay. > > 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. I somehow did not connect the dots. I just did comment on the patch after reading this one. But yes, please remove CONTEXT_ANALYSIS_rtmutex.o since it is not required. > Thanks, > > Bart. Sebastian