Mike Goodwin wrote:
I hear you, being in a similar situation myself. I believe I roughly understand what is going on (though mostly I only care about up until the parsing stage), but not well enough to explain.
....
One thing I think might be useful, and likely fun to create, is a C interpreter on top of Sparse. As far as possible, it should use the Sparse data structures directly (speed is of tertiary concern).
I believe having this would make it easier to understand some of the data structures in Sparse.
Cheers, Tommy - To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
