linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* Small patch for __builtin_fabs and an attribute
@ 2010-07-10  3:15 Morten Welinder
  2010-07-10 18:33 ` Christopher Li
  2010-07-13  7:33 ` Christopher Li
  0 siblings, 2 replies; 3+ messages in thread
From: Morten Welinder @ 2010-07-10  3:15 UTC (permalink / raw)
  To: linux-sparse

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",

^ permalink raw reply related	[flat|nested] 3+ messages in thread

* Re: Small patch for __builtin_fabs and an attribute
  2010-07-10  3:15 Small patch for __builtin_fabs and an attribute Morten Welinder
@ 2010-07-10 18:33 ` Christopher Li
  2010-07-13  7:33 ` Christopher Li
  1 sibling, 0 replies; 3+ messages in thread
From: Christopher Li @ 2010-07-10 18:33 UTC (permalink / raw)
  To: Morten Welinder; +Cc: linux-sparse

On Fri, Jul 9, 2010 at 8:15 PM, Morten Welinder <mortenw@gnome.org> wrote:
> 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",

Looks good. Will apply.

Chris
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: Small patch for __builtin_fabs and an attribute
  2010-07-10  3:15 Small patch for __builtin_fabs and an attribute Morten Welinder
  2010-07-10 18:33 ` Christopher Li
@ 2010-07-13  7:33 ` Christopher Li
  1 sibling, 0 replies; 3+ messages in thread
From: Christopher Li @ 2010-07-13  7:33 UTC (permalink / raw)
  To: Morten Welinder; +Cc: linux-sparse

On Fri, Jul 9, 2010 at 8:15 PM, Morten Welinder <mortenw@gnome.org> wrote:
> 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",

Hi Morten,

I forget one thing. Can you signed off your patch?

Thanks

Chris
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2010-07-13  7:33 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2010-07-10  3:15 Small patch for __builtin_fabs and an attribute Morten Welinder
2010-07-10 18:33 ` Christopher Li
2010-07-13  7:33 ` Christopher Li

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).