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
