Small patch for __builtin_fabs and an attribute

[Morten Welinder <mortenw@xxxxxxxxx>]

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