Add regression tests for floating point parsing in scanf(3).

2 files changed, 181 insertions, 1 deletions

diff --git a/tools/regression/lib/libc/stdio/Makefile b/tools/regression/lib/libc/stdio/Makefile
index 1003468..a246b99 100644
--- a/tools/regression/lib/libc/stdio/Makefile
+++ b/tools/regression/lib/libc/stdio/Makefile
@@ -1,6 +1,6 @@
 # $FreeBSD$
 
-TESTS=	test-perror test-printfloat
+TESTS=	test-perror test-printfloat test-scanfloat
 
 .PHONY: tests
 tests: ${TESTS}
diff --git a/tools/regression/lib/libc/stdio/test-scanfloat.c b/tools/regression/lib/libc/stdio/test-scanfloat.c
new file mode 100644
index 0000000..36b95bc
--- /dev/null
+++ b/tools/regression/lib/libc/stdio/test-scanfloat.c
@@ -0,0 +1,180 @@
+/*-
+ * Copyright (C) 2003 David Schultz <das@FreeBSD.org>
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+ * SUCH DAMAGE.
+ */
+
+/*
+ * Test for scanf() floating point formats.
+ */
+
+#include <sys/cdefs.h>
+__FBSDID("$FreeBSD$");
+
+#include <assert.h>
+#include <float.h>
+#include <locale.h>
+#include <math.h>
+#include <stdio.h>
+#include <string.h>
+
+#define	eq(type, a, b)	_eq(type##_EPSILON, (a), (b))
+static int _eq(long double epsilon, long double a, long double b);
+
+extern int __scanfdebug;
+
+int
+main(int argc, char *argv[])
+{
+	char buf[128];
+	long double ld = 0.0;
+	double d = 0.0;
+	float f = 0.0;
+
+	buf[0] = '\0';
+	assert(setlocale(LC_NUMERIC, ""));
+
+	__scanfdebug = 1;
+
+	sscanf("3.141592", "%e", &f);
+	assert(eq(FLT, f, 3.141592));
+
+	sscanf("3.141592653589793", "%lf", &d);
+	assert(eq(DBL, d, 3.141592653589793));
+
+	sscanf("3.14159265358979323846", "%Lg", &ld);
+	assert(eq(LDBL, ld, 3.14159265358979323846L));
+
+	sscanf("1.234568e+06", "%E", &f);
+	assert(eq(FLT, f, 1.234568e+06));
+
+	sscanf("-1.234568e6", "%lF", &d);
+	assert(eq(DBL, d, -1.234568e6));
+
+	sscanf("+1.234568e-52", "%LG", &ld);
+	assert(eq(LDBL, ld, 1.234568e-52L));
+
+	sscanf("0.1", "%la", &d);
+	assert(eq(DBL, d, 0.1));
+
+	sscanf("00.2", "%lA", &d);
+	assert(eq(DBL, d, 0.2));
+
+	sscanf("123456", "%5le%s", &d, buf);
+	assert(eq(DBL, d, 12345.));
+	assert(strcmp(buf, "6") == 0);
+
+	sscanf("1.0Q", "%*5le%s", buf);
+	assert(strcmp(buf, "Q") == 0);
+
+	sscanf("-1.23e", "%e%s", &f, buf);
+	assert(eq(FLT, f, -1.23));
+	assert(strcmp(buf, "e") == 0);
+
+	sscanf("1.25e+", "%le%s", &d, buf);
+	assert(eq(DBL, d, 1.25));
+	assert(strcmp(buf, "e+") == 0);
+
+	sscanf("1.23E4E5", "%le%s", &d, buf);
+	assert(eq(DBL, d, 1.23e4));
+	assert(strcmp(buf, "E5") == 0);
+
+	sscanf("12e6", "%le", &d);
+	assert(eq(DBL, d, 12e6));
+
+	sscanf("1.a", "%le%s", &d, buf);
+	assert(eq(DBL, d, 1.0));
+	assert(strcmp(buf, "a") == 0);
+
+	sscanf(".0p4", "%le%s", &d, buf);
+	assert(eq(DBL, d, 0.0));
+	assert(strcmp(buf, "p4") == 0);
+
+	d = 0.25;
+	assert(sscanf(".", "%le", &d) == 0);
+	assert(d == 0.25);
+
+	sscanf("0x08", "%le", &d);
+	assert(d == 0x8p0);
+
+	sscanf("0x90a.bcdefP+09a", "%le%s", &d, buf);
+	assert(d == 0x90a.bcdefp+09);
+	assert(strcmp(buf, "a") == 0);
+
+#if LDBL_MANT_DIG > DBL_MANT_DIG
+	sscanf("  0X.0123456789abcdefffp-3g", "%Le%s", &ld, buf);
+	assert(ld == 0x.0123456789abcdefffp-3L);
+	assert(strcmp(buf, "g") == 0);
+#endif
+
+	sscanf("0xg", "%le%s", &d, buf);
+	assert(d == 0.0);
+	assert(strcmp(buf, "xg") == 0);
+
+	assert(setlocale(LC_NUMERIC, "ru_RU.ISO8859-5")); /* decimalpoint==, */
+
+	sscanf("1.23", "%le%s", &d, buf);
+	assert(d == 1.0);
+	assert(strcmp(buf, ".23") == 0);
+
+	sscanf("1,23", "%le", &d);
+	assert(d == 1.23);
+	
+	assert(setlocale(LC_NUMERIC, ""));
+
+	sscanf("-Inf", "%le", &d);
+	assert(d < 0.0 && isinf(d));
+
+	sscanf("iNfInItY and beyond", "%le%s", &d, buf);
+	assert(d > 0.0 && isinf(d));
+	assert(strcmp(buf, " and beyond"));
+
+	sscanf("NaN", "%le", &d);
+	assert(isnan(d));
+
+	sscanf("NAN(123Y", "%le%s", &d, buf);
+	assert(isnan(d));
+	assert(strcmp(buf, "(123Y") == 0);
+
+	sscanf("nan(f00f)plugh", "%le%s", &d, buf);
+	assert(isnan(d));
+	assert(strcmp(buf, "plugh") == 0);
+
+	sscanf("-nan", "%le", &d);
+	assert(isnan(d));
+
+	printf("PASS scanfloat\n");
+
+	return (0);
+}
+
+static int
+_eq(long double epsilon, long double a, long double b)
+{
+	long double delta;
+
+	delta = a - b;
+	if (delta < 0)		/* XXX no fabsl() */
+		delta = -delta;
+	return (delta <= epsilon);
+}