lkml.org 
[lkml]   [2019]   [Oct]   [28]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [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

\
 
 \ /
  Last update: 2019-10-28 23:13    [W:0.049 / U:0.564 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site