Re: gcc tickets for sparse attributes

2014-01-17 Thread Johannes Berg
> > IMHO the context extension doesn't work well enough in sparse to > > document and implement as is. It would be much better if it actually was > > able to differentiate between contexts, rather than treating each one > > the same. > > That would certainly be nice, but that's something

Re: gcc tickets for sparse attributes

2014-01-17 Thread Josh Triplett
On Fri, Jan 17, 2014 at 09:33:16AM +0100, Johannes Berg wrote: > On Thu, 2014-01-16 at 21:27 -0800, H. Peter Anvin wrote: > > > 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

Re: gcc tickets for sparse attributes

2014-01-17 Thread Josh Triplett
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 >

Re: gcc tickets for sparse attributes

2014-01-17 Thread Johannes Berg
On Thu, 2014-01-16 at 21:27 -0800, H. Peter Anvin wrote: > 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

Re: gcc tickets for sparse attributes

2014-01-17 Thread Johannes Berg
On Thu, 2014-01-16 at 21:27 -0800, H. Peter Anvin wrote: 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

Re: gcc tickets for sparse attributes

2014-01-17 Thread Josh Triplett
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

Re: gcc tickets for sparse attributes

2014-01-17 Thread Josh Triplett
On Fri, Jan 17, 2014 at 09:33:16AM +0100, Johannes Berg wrote: On Thu, 2014-01-16 at 21:27 -0800, H. Peter Anvin wrote: 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

Re: gcc tickets for sparse attributes

2014-01-17 Thread Johannes Berg
IMHO the context extension doesn't work well enough in sparse to document and implement as is. It would be much better if it actually was able to differentiate between contexts, rather than treating each one the same. That would certainly be nice, but that's something actually much

Re: gcc tickets for sparse attributes

2014-01-16 Thread H. Peter Anvin
On 01/16/2014 09:27 PM, H. Peter Anvin wrote: > 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 > Add:

gcc tickets for sparse attributes

2014-01-16 Thread H. Peter Anvin
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

gcc tickets for sparse attributes

2014-01-16 Thread H. Peter Anvin
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

Re: gcc tickets for sparse attributes

2014-01-16 Thread H. Peter Anvin
On 01/16/2014 09:27 PM, H. Peter Anvin wrote: 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 Add: