Re: Small patch for __builtin_fabs and an attribute

[Christopher Li <sparse@chrisli.org>]

On Fri, Jul 9, 2010 at 8:15 PM, Morten Welinder <mortenw@gnome.org> wrote:
> 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)
>        add_pre_buffer("extern long __builtin_alpha_inslh(long, long);\n");
>        add_pre_buffer("extern long __builtin_alpha_cmpbge(long, long);\n");
>        add_pre_buffer("extern long __builtin_labs(long);\n");
> +       add_pre_buffer("extern double __builtin_fabs(double);\n");
>
>        /* And some floating point stuff.. */
>        add_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[] = {
>        "__format_arg__",
>        "hot",
>        "__hot__",
> +       "may_alias",
> +       "__may_alias__",
>        "malloc",
>        "__malloc__",
>        "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