From mboxrd@z Thu Jan 1 00:00:00 1970 From: Luc Van Oostenryck Subject: Re: [PATCH 4/8] riscv: ensure RISC-V C model definitions are passed to static analyzers Date: Mon, 28 Oct 2019 23:11:52 +0100 Message-ID: <20191028221151.bpbp27x6xeotbvm5@desk.local> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Content-Disposition: inline In-Reply-To: Sender: linux-kernel-owner@vger.kernel.org To: Palmer Dabbelt Cc: Paul Walmsley , linux-riscv@lists.infradead.org, linux-kernel@vger.kernel.org, linux-sparse@vger.kernel.org List-Id: linux-sparse@vger.kernel.org On Tue, Oct 22, 2019 at 08:09:59AM -0700, Palmer Dabbelt wrote: > > It's probably worth going through all our argument-dependent builtin > definitions at the same time. They're generated by > riscv_cpu_cpp_builtins(): > https://github.com/gcc-mirror/gcc/blob/master/gcc/config/riscv/riscv-c.c#L35 Yes, I agree. However, these are higly dependent on parsing -march and this is quite arch-specific which sparse is not really needed for. I'll add some infrastructure for this in the followings weeks. -- Luc