diff options
| author |   Morten Welinder <mortenw@gnome.org> | 2010-07-19 16:42:58 -0700 |
|---|---|---|
| committer |   Christopher Li <sparse@chrisli.org> | 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", |