From mboxrd@z Thu Jan 1 00:00:00 1970 From: Christopher Li Subject: Re: Small patch for __builtin_fabs and an attribute Date: Sat, 10 Jul 2010 11:33:23 -0700 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Return-path: Received: from mail-yx0-f174.google.com ([209.85.213.174]:36759 "EHLO mail-yx0-f174.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752016Ab0GJSdY convert rfc822-to-8bit (ORCPT ); Sat, 10 Jul 2010 14:33:24 -0400 Received: by yxk8 with SMTP id 8so734771yxk.19 for ; Sat, 10 Jul 2010 11:33:23 -0700 (PDT) In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Morten Welinder Cc: linux-sparse@vger.kernel.org On Fri, Jul 9, 2010 at 8:15 PM, Morten Welinder wro= te: > FYI. > > > diff --git a/lib.c b/lib.c > index a218bfc..7f0b524 100644 > --- a/lib.c > +++ b/lib.c > @@ -716,6 +716,7 @@ void declare_builtin_functions(void) > =A0 =A0 =A0 =A0add_pre_buffer("extern long __builtin_alpha_inslh(long= , long);\n"); > =A0 =A0 =A0 =A0add_pre_buffer("extern long __builtin_alpha_cmpbge(lon= g, long);\n"); > =A0 =A0 =A0 =A0add_pre_buffer("extern long __builtin_labs(long);\n"); > + =A0 =A0 =A0 add_pre_buffer("extern double __builtin_fabs(double);\n= "); > > =A0 =A0 =A0 =A0/* And some floating point stuff.. */ > =A0 =A0 =A0 =A0add_pre_buffer("extern int __builtin_isgreater(float, = float);\n"); > diff --git a/parse.c b/parse.c > index f81b19f..0645538 100644 > --- a/parse.c > +++ b/parse.c > @@ -515,6 +515,8 @@ const char *ignored_attributes[] =3D { > =A0 =A0 =A0 =A0"__format_arg__", > =A0 =A0 =A0 =A0"hot", > =A0 =A0 =A0 =A0"__hot__", > + =A0 =A0 =A0 "may_alias", > + =A0 =A0 =A0 "__may_alias__", > =A0 =A0 =A0 =A0"malloc", > =A0 =A0 =A0 =A0"__malloc__", > =A0 =A0 =A0 =A0"model", Looks good. Will apply. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse"= in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html