diff options
author | 2010-07-19 16:42:58 -0700 | |
---|---|---|
committer | 2010-07-19 16:42:58 -0700 | |
commit | 4dd989c7633fd2c77edfa634899e4fe9f5e5a4c7 (patch) | |
tree | 9e82f8409778f3039e72b4d670b9594e640e8712 | |
parent | inspect: add some expression inspection (diff) | |
download | sparse-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.c | 1 | ||||
-rw-r--r-- | parse.c | 2 |
2 files changed, 3 insertions, 0 deletions
@@ -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"); @@ -515,6 +515,8 @@ const char *ignored_attributes[] = { "__format_arg__", "hot", "__hot__", + "may_alias", + "__may_alias__", "malloc", "__malloc__", "may_alias", |