On 12/10/14 10:22, Christopher Li wrote: > On Sun, Oct 12, 2014 at 3:55 AM, Ramsay Jones > <ramsay@xxxxxxxxxxxxxxxxxxx> wrote: [snip] >> The final patch is a possible alternative to "[PATCH 04/10] >> compile-i386.c: don't mix calls to write(2) with stdio", which >> basically just removes the compile program. If you prefer >> another solution, just let me know. > > I think I would just keep it as example of using the sparse > front end AST. For compiling, the sparse-llvm does a better job > there. > OK, I will send an alternative patch separately (directly after this). ATB, Ramsay Jones -- 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