On Fri, Jul 9, 2010 at 8:15 PM, Morten Welinder <mortenw@xxxxxxxxx> 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@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html