On Fri, Aug 28, 2009 at 2:30 PM, Kamil Dudka<kdudka@xxxxxxxxxx> wrote: > enclosed is a simple patch adding support for attribute 'noreturn' to the > parser. The enhancement makes it possible to optimize walk through CFG and > thus help us to fight with the state explosion. The benefit is demonstrated > on a simple real-world example. > > Generated CFG before patch: > http://dudka.cz/devel/html/slsparse-before/slplug.c-handle_stmt_assign.svg > > Generated CFG after patch: > http://dudka.cz/devel/html/slsparse-after/slplug.c-handle_stmt_assign.svg > > It's one of the key features I am currently missing in SPARSE in contrast > to gcc used as parser. Thanks in advance for considering it! Yes, no return is kind of useful. I think we need to do some thing about the MOD_XXX eventually. It is very easy to run out of bits there. Thanks for the patch. Applied. Chris -- 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
