From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from verein.lst.de (verein.lst.de [213.95.11.211]) (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 6BD2230EF92; Fri, 19 Sep 2025 14:10:03 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=213.95.11.211 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1758291005; cv=none; b=ffhEBaf9eLsmpgEhE1S1ZxSwIRaQUkNTDTTYTBwGdeJ/y2sVs96jBFXx0rCDHHf08PCs54lgLC130XlT1Y/at8gX6j+TuLbIHb7a78mYq5L6UI00MFIf9P5ADczP8APRFhWkSz7FB6GeS2DFbAk+bH1y84OhpJW00nPeE6cQlRY= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1758291005; c=relaxed/simple; bh=ReXxgNSop9xp4sktiauzyMbm5P/J2r9sOybuwsKp49o=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=tCtSwOY0ChgnYsDSaSVQii7yByZRhJjARjSE3X2aZ+UoSihzRWJCEEvGJFtfjMGXOlK5OUCDhT9TdIPH3QToOJU2oAYUjTSAKeitUNAmxIspgyFiHRtCMs0osZkn6/yt1H3UFXwKiuKJoPFTgjyi3Bzy747nZcITqd9CpSKUzaE= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=lst.de; spf=pass smtp.mailfrom=lst.de; arc=none smtp.client-ip=213.95.11.211 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=lst.de Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=lst.de Received: by verein.lst.de (Postfix, from userid 2407) id 990AB68AA6; Fri, 19 Sep 2025 16:09:54 +0200 (CEST) Date: Fri, 19 Sep 2025 16:09:54 +0200 From: Christoph Hellwig To: Nathan Chancellor Cc: Christoph Hellwig , Marco Elver , Peter Zijlstra , Boqun Feng , Ingo Molnar , Will Deacon , "David S. Miller" , Luc Van Oostenryck , "Paul E. McKenney" , Alexander Potapenko , Arnd Bergmann , Bart Van Assche , Bill Wendling , Dmitry Vyukov , Eric Dumazet , Frederic Weisbecker , Greg Kroah-Hartman , Herbert Xu , Ian Rogers , Jann Horn , Joel Fernandes , Jonathan Corbet , Josh Triplett , Justin Stitt , Kees Cook , Kentaro Takeda , Lukas Bulwahn , Mark Rutland , Mathieu Desnoyers , Miguel Ojeda , Neeraj Upadhyay , Nick Desaulniers , Steven Rostedt , Tetsuo Handa , Thomas Gleixner , Thomas Graf , Uladzislau Rezki , Waiman Long , kasan-dev@googlegroups.com, linux-crypto@vger.kernel.org, linux-doc@vger.kernel.org, linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, linux-security-module@vger.kernel.org, linux-sparse@vger.kernel.org, llvm@lists.linux.dev, rcu@vger.kernel.org Subject: Re: [PATCH v3 00/35] Compiler-Based Capability- and Locking-Analysis Message-ID: <20250919140954.GA24160@lst.de> References: <20250918140451.1289454-1-elver@google.com> <20250918141511.GA30263@lst.de> <20250918174555.GA3366400@ax162> <20250919140803.GA23745@lst.de> Precedence: bulk X-Mailing-List: linux-crypto@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20250919140803.GA23745@lst.de> User-Agent: Mutt/1.5.17 (2007-11-01) On Fri, Sep 19, 2025 at 04:08:03PM +0200, Christoph Hellwig wrote: > I started to play around with that. For the nvme code adding the > annotations was very simply, and I also started adding trivial > __guarded_by which instantly found issues. > > For XFS it was a lot more work and I still see tons of compiler > warnings, which I'm not entirely sure how to address. Right now I > see three major classes: And in case anyone cares, here are my patches for that: https://git.infradead.org/?p=users/hch/misc.git;a=shortlog;h=refs/heads/cap-analysis git://git.infradead.org/users/hch/misc.git cap-analysis