Messages in this thread | | | Date | Mon, 28 Oct 2019 23:11:52 +0100 | From | Luc Van Oostenryck <> | Subject | Re: [PATCH 4/8] riscv: ensure RISC-V C model definitions are passed to static analyzers |
| |
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
| |