On Thu, Jan 16, 2014 at 09:27:08PM -0800, H. Peter Anvin wrote: > 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? http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59856 Also: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59855 - Josh Triplett -- 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