Hi Luc, On 14 August 2017 at 17:15, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Sun, Aug 13, 2017 at 10:20 PM, Dibyendu Majumdar > <mobile@xxxxxxxxxxxxxxx> wrote: >>> Care to send some examples you have problems with? >> >> Sure - you already know this one: >> >> https://github.com/dibyendumajumdar/dmr_c/blob/master/tests/bugs/simplifybug.c >> >> https://github.com/dibyendumajumdar/dmr_c/blob/master/tests/minilua/minilua.c >> > > OK, I just checked on the paranoia.c and once the global initializations > are removed sparse-llvm has not more problems when using all the > needed fixes. An updated tree can be found as usual at: > git://github.com/lucvoo/sparse.git sssa-next > Were you able to run the code generated by Sparse-LLVM - or are you saying that it compiled without errors? Regards Dibyendu -- 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
