* Re: [PATCH 4/8] riscv: ensure RISC-V C model definitions are passed to static analyzers
[not found] ` <mhng-8e06672c-a3e1-4dde-bbe9-ba1d8ab79645@palmer-si-x1e>
@ 2019-10-28 22:11 ` Luc Van Oostenryck
0 siblings, 0 replies; only message in thread
From: Luc Van Oostenryck @ 2019-10-28 22:11 UTC (permalink / raw)
To: Palmer Dabbelt; +Cc: Paul Walmsley, linux-riscv, linux-kernel, linux-sparse
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-10-28 22:11 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
[not found] <alpine.DEB.2.21.9999.1910172138320.3026@viisi.sifive.com>
[not found] ` <mhng-8e06672c-a3e1-4dde-bbe9-ba1d8ab79645@palmer-si-x1e>
2019-10-28 22:11 ` [PATCH 4/8] riscv: ensure RISC-V C model definitions are passed to static analyzers Luc Van Oostenryck
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox