From mboxrd@z Thu Jan 1 00:00:00 1970 From: Logan Gunthorpe Subject: [PATCH] add __builtin functions for isinf_sign, isfinite and isnan Date: Thu, 16 Nov 2017 14:27:19 -0700 Message-ID: <20171116212719.1217-1-logang@deltatee.com> Return-path: Received: from ale.deltatee.com ([207.54.116.67]:46478 "EHLO ale.deltatee.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751599AbdKPV2H (ORCPT ); Thu, 16 Nov 2017 16:28:07 -0500 Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: linux-sparse@vger.kernel.org Cc: Logan Gunthorpe These bultins are defined by in gcc since 4.4. They are also now used by the isinf, isfinite and isnan macros. So using them with a newer gcc causes 'undefined identifier' errors. Add the builtin definitions and some validation checks for these functions. Signed-off-by: Logan Gunthorpe --- lib.c | 3 +++ validation/builtin_inf.c | 8 ++++++++ 2 files changed, 11 insertions(+) diff --git a/lib.c b/lib.c index 4602cf8..cc740e9 100644 --- a/lib.c +++ b/lib.c @@ -1105,6 +1105,9 @@ void declare_builtin_functions(void) add_pre_buffer("extern double __builtin_nan(const char *);\n"); add_pre_buffer("extern float __builtin_nanf(const char *);\n"); add_pre_buffer("extern long double __builtin_nanl(const char *);\n"); + add_pre_buffer("extern int __builtin_isinf_sign(float);\n"); + add_pre_buffer("extern int __builtin_isfinite(float);\n"); + add_pre_buffer("extern int __builtin_isnan(float);\n"); /* And some __FORTIFY_SOURCE ones.. */ add_pre_buffer ("extern __SIZE_TYPE__ __builtin_object_size(const void *, int);\n"); diff --git a/validation/builtin_inf.c b/validation/builtin_inf.c index 48546e4..0855ab0 100644 --- a/validation/builtin_inf.c +++ b/validation/builtin_inf.c @@ -7,6 +7,14 @@ static long double li = __builtin_infl(); static double dn = __builtin_nan(""); static float fn = __builtin_nanf(""); static long double ln = __builtin_nanl(""); +static int inf = __builtin_isinf_sign(0.0); +static int fin = __builtin_isfinite(0.0); +static int nan = __builtin_isnan(0.0); + +#include +static int inf2 = isinf(0.0); +static int fin2 = isfinite(0.0); +static int nan2 = isnan(0.0); /* * check-name: __builtin INFINITY / nan() -- 2.11.0