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 -- Luc -- 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
