On Mon, 2007-02-26 at 20:19 -0800, Linus Torvalds wrote: > and don't expect sparse to do any dynamic checking. It's expressly > designed to *not* do that, although some of the static optimizations > are > clever enough that sometimes you are fooled into *thinking* that it > actually understands dynamic behaviour (ie being able to statically > follow > a conditional jump to another identical conditional jump and simplify > it > to a single branch). It has been fooling me until now. Anyway, thanks for the detailed answer! I'll try to do what you are suggesting. -- Regards, Pavel Roskin - 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
