aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMorten Welinder <mortenw@gnome.org>2010-07-19 16:42:58 -0700
committerChristopher Li <sparse@chrisli.org>2010-07-19 16:42:58 -0700
commit4dd989c7633fd2c77edfa634899e4fe9f5e5a4c7 (patch)
tree9e82f8409778f3039e72b4d670b9594e640e8712
parentinspect: add some expression inspection (diff)
downloadsparse-4dd989c7633fd2c77edfa634899e4fe9f5e5a4c7.tar.gz
sparse-4dd989c7633fd2c77edfa634899e4fe9f5e5a4c7.tar.bz2
sparse-4dd989c7633fd2c77edfa634899e4fe9f5e5a4c7.zip
skip may_alias and declare builtin_fabs
Signed-off-by: Morten Welinder <terra@gnome.org> Signed-off-by: Christopher Li <sparse@chrisli.org>
-rw-r--r--lib.c1
-rw-r--r--parse.c2
2 files changed, 3 insertions, 0 deletions
diff --git a/lib.c b/lib.c
index ae6a20c..d6e8b0e 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 9074b1d..7f1ee27 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__",
"may_alias",