From mboxrd@z Thu Jan 1 00:00:00 1970 From: "H. Peter Anvin" Subject: Re: gcc tickets for sparse attributes Date: Thu, 16 Jan 2014 21:35:09 -0800 Message-ID: <52D8C10D.6010006@zytor.com> References: <52D8BF2C.9090604@zytor.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Return-path: Received: from terminus.zytor.com ([198.137.202.10]:49490 "EHLO mail.zytor.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751079AbaAQFfQ (ORCPT ); Fri, 17 Jan 2014 00:35:16 -0500 In-Reply-To: <52D8BF2C.9090604@zytor.com> Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Linux-Sparse Cc: Linux Kernel Mailing List 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: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59852 -hpa