From 9621c8b26014339ab759f206b9b55dd557e2c2b8 Mon Sep 17 00:00:00 2001
From: martynas <martynas@openbsd.org>
Date: Mon, 30 May 2011 17:28:15 +0000
Subject: Trick lint into recording the right prototypes in the llib-lc.ln
 database on platforms without extended-precision floating-point support.

Seems like a reasonable approach to millert@.
---
 lib/libc/gen/isinf.c | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

(limited to 'lib/libc/gen/isinf.c')

diff --git a/lib/libc/gen/isinf.c b/lib/libc/gen/isinf.c
index 67287fd50b7..167636bb094 100644
--- a/lib/libc/gen/isinf.c
+++ b/lib/libc/gen/isinf.c
@@ -1,4 +1,4 @@
-/*	$OpenBSD: isinf.c,v 1.4 2008/12/10 01:15:02 martynas Exp $	*/
+/*	$OpenBSD: isinf.c,v 1.5 2011/05/30 17:28:15 martynas Exp $	*/
 /*
  * Copyright (c) 2008 Martynas Venckus <martynas@openbsd.org>
  *
@@ -15,6 +15,8 @@
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  */
 
+/* LINTLIBRARY */
+
 #include <sys/types.h>
 #include <sys/cdefs.h>
 #include <machine/ieee.h>
@@ -37,16 +39,17 @@ __isinff(float f)
 	return (p->sng_exp == SNG_EXP_INFNAN && p->sng_frac == 0);
 }
 
-#if LDBL_MANT_DIG == 53
-#ifdef __weak_alias
+#if	LDBL_MANT_DIG == 53
+#ifdef	lint
+/* PROTOLIB1 */
+int __isinfl(long double);
+#else	/* lint */
 __weak_alias(__isinfl, __isinf);
-#endif /* __weak_alias */
-#endif /* LDBL_MANT_DIG == 53 */
+#endif	/* __weak_alias */
+#endif	/* LDBL_MANT_DIG == 53 */
 
 /*
  * 3BSD compatibility aliases.
  */
-#ifdef __weak_alias
 __weak_alias(isinf, __isinf);
 __weak_alias(isinff, __isinff);
-#endif /* __weak_alias */
-- 
cgit v1.2.3-59-g8ed1b