On Mon, Mar 6, 2017 at 7:47 PM, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > Okay thanks. I had originally started from the release 0.5 version of > Sparse, and applied fixes selectively. release 0.5 is quite old and a lot of patches have been added; almost nothing related to correctness of LLVM but well about the correctness of the linearization. > Because I have a modified > version of Sparse with all global state removed, merging changes is a > bit painful as it has be done manually. I can imagine this. I, of course, hve no idea why you (have to) do this but I can only very strongly advice you to try to avoid this as much as possible. > That is why I have not been > tracking sparse-next as I thought it is not yet stable. I have now > merged all changes from master. Should I merge sparse-next now or wait > for it to be merged into master? It depends a bit you confortable you are with applying patches, merging or rebasing branches but as you have seen there is needed patches in sparse-next that are not yes in master although master was updated very recently. It depends also about the nature of your changes, what is the probability to have nasty conflicts. But idealy you would take very recent stuff but not too recent (sparse-next itself may be a bit too wild in the sense that the very top of it is often rebased). -- Luc Van Oostenryck -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html