Re: Sync smatch with sparse?

On Thu, Nov 29, 2018 at 11:03:28am +0100, Luc Van Oostenryck wrote:

> On Mon, Nov 26, 2018 at 10:49:09AM +0300, Dan Carpenter wrote:
> > It looks like everything was BCC instead of To: and Cc:?  I can't tell
> > which went to linux-sparse and which [email protected].  Smatch is
> > GPL and Sparse is MIT, but any shared code is MIT licensed.
> > 
> > I would like to sync with upstream Sparse, but I tried a couple months
> > back and it got complicated so I have procrastinated.
> 
> Hi Dan,
> 
> It would indeed be good to sync smatch & sparse and I would be ready,
> if needed, to make some changes to sparse to make it easier.
> There is also several ways to do that. I'm wondering if you
> have already considered to simply remove anything related to
> sparse from smatch's tree and install sparse as a seperate library?

Right now I at least have changes in sparse that are very much
smatch-dependent, so this would be a real pain for me...

regards
john