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", -- 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