Sync smatch with sparse?

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?

Another approach would be to use consider sparse as a subtree
(in git-subtree's sense) of smatch (in a directory 'sparse').
If you're interested in this approach, I've put a sort of draft
of it in:
	git://github.com/lucvoo/smatch.git split-sparse

Currently, you first need to:
	make -C sparse
in this tree since sprase is there in an independent subdir
but that would be easy enough to call from the main Makefile
(which is now much simpler).

Best regards,
-- Luc