Hi, I have filed gcc tickets asking for direct support in gcc for some sparse extensions that we use heavily in the kernel: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59850 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59851 However, I would also like support for the context extensions, but I'm not knowledgeable enough to describe the semantics accurately. Would anyone be willing to file a ticket describing how the context extension works well enough that it could be implemented? -hpa -- 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