Module Name: src
Committed By: jruoho
Date: Sun Apr 10 10:49:44 UTC 2011
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/include: Makefile
Added Files:
src/tests/include: t_netdb.c
Log Message:
Formally verify PR standards/44777.
To generate a diff of this commit:
cvs rdiff -u -r1.306 -r1.307 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.4 -r1.5 src/tests/include/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/include/t_netdb.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/distrib/sets/lists/tests/mi
diff -u src/distrib/sets/lists/tests/mi:1.306 src/distrib/sets/lists/tests/mi:1.307
--- src/distrib/sets/lists/tests/mi:1.306 Sun Apr 10 09:47:43 2011
+++ src/distrib/sets/lists/tests/mi Sun Apr 10 10:49:43 2011
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.306 2011/04/10 09:47:43 blymn Exp $
+# $NetBSD: mi,v 1.307 2011/04/10 10:49:43 jruoho Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -287,6 +287,7 @@
./usr/libdata/debug/usr/tests/include/t_glob.debug tests-ipf-tests debug,atf
./usr/libdata/debug/usr/tests/include/t_inttypes.debug tests-ipf-tests debug,atf
./usr/libdata/debug/usr/tests/include/t_limits.debug tests-ipf-tests debug,atf
+./usr/libdata/debug/usr/tests/include/t_netdb.debug tests-ipf-tests debug,atf
./usr/libdata/debug/usr/tests/include/t_paths.debug tests-ipf-tests debug,atf
./usr/libdata/debug/usr/tests/include/t_stdint.debug tests-ipf-tests debug,atf
./usr/libdata/debug/usr/tests/include/t_types.debug tests-ipf-tests debug,atf
@@ -1372,6 +1373,7 @@
./usr/tests/include/t_glob tests-include-tests atf
./usr/tests/include/t_inttypes tests-include-tests atf
./usr/tests/include/t_limits tests-include-tests atf
+./usr/tests/include/t_netdb tests-include-tests atf
./usr/tests/include/t_paths tests-include-tests atf
./usr/tests/include/t_stdint tests-include-tests atf
./usr/tests/include/t_types tests-include-tests atf
Index: src/tests/include/Makefile
diff -u src/tests/include/Makefile:1.4 src/tests/include/Makefile:1.5
--- src/tests/include/Makefile:1.4 Sun Apr 10 08:35:48 2011
+++ src/tests/include/Makefile Sun Apr 10 10:49:44 2011
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.4 2011/04/10 08:35:48 jruoho Exp $
+# $NetBSD: Makefile,v 1.5 2011/04/10 10:49:44 jruoho Exp $
NOMAN= # defined
@@ -11,6 +11,7 @@
TESTS_C+= t_glob
TESTS_C+= t_inttypes
TESTS_C+= t_limits
+TESTS_C+= t_netdb
TESTS_C+= t_paths
TESTS_C+= t_stdint
TESTS_C+= t_types
Added files:
Index: src/tests/include/t_netdb.c
diff -u /dev/null src/tests/include/t_netdb.c:1.1
--- /dev/null Sun Apr 10 10:49:44 2011
+++ src/tests/include/t_netdb.c Sun Apr 10 10:49:44 2011
@@ -0,0 +1,244 @@
+/* $NetBSD: t_netdb.c,v 1.1 2011/04/10 10:49:44 jruoho Exp $ */
+
+/*-
+ * Copyright (c) 2011 The NetBSD Foundation, Inc.
+ * All rights reserved.
+ *
+ * This code is derived from software contributed to The NetBSD Foundation
+ * by Jukka Ruohonen.
+ *
+ * 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 NETBSD FOUNDATION, INC. 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 FOUNDATION 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.
+ */
+#include <sys/cdefs.h>
+__RCSID("$NetBSD: t_netdb.c,v 1.1 2011/04/10 10:49:44 jruoho Exp $");
+
+#include <atf-c.h>
+#include <netdb.h>
+
+ATF_TC(netdb_constants);
+ATF_TC_HEAD(netdb_constants, tc)
+{
+ atf_tc_set_md_var(tc, "descr", "Test constants in <netdb.h>");
+}
+
+ATF_TC_BODY(netdb_constants, tc)
+{
+ bool fail;
+
+ /*
+ * The following definitions should be available
+ * according to IEEE Std 1003.1-2008, issue 7.
+ */
+ atf_tc_expect_fail("PR standards/44777");
+
+ fail = true;
+
+#ifdef AI_PASSIVE
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("AI_PASSIVE not defined");
+
+ fail = true;
+
+#ifdef AI_CANONNAME
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("AI_CANONNAME not defined");
+
+ fail = true;
+
+#ifdef AI_NUMERICHOST
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("AI_NUMERICHOST not defined");
+
+ fail = true;
+
+#ifdef AI_NUMERICSERV
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("AI_NUMERICSERV not defined");
+
+ fail = true;
+
+#ifdef AI_V4MAPPED
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("AI_V4MAPPED not defined");
+
+ fail = true;
+
+#ifdef AI_ALL
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("AI_ALL not defined");
+
+ fail = true;
+
+#ifdef AI_ADDRCONFIG
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("AI_ADDRCONFIG not defined");
+
+ fail = true;
+
+#ifdef NI_NOFQDN
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("NI_NOFQDN not defined");
+
+ fail = true;
+
+#ifdef NI_NUMERICHOST
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("NI_NUMERICHOST not defined");
+
+ fail = true;
+
+#ifdef NI_NAMEREQD
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("NI_NAMEREQD not defined");
+
+ fail = true;
+
+#ifdef NI_NUMERICSERV
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("NI_NUMERICSERV not defined");
+
+ fail = true;
+
+#ifdef NI_NUMERICSCOPE
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("NI_NUMERICSCOPE not defined");
+
+ fail = true;
+
+#ifdef NI_DGRAM
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("NI_DGRAM not defined");
+
+ fail = true;
+
+#ifdef EAI_AGAIN
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_AGAIN not defined");
+
+ fail = true;
+
+#ifdef EAI_BADFLAGS
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_BADFLAGS not defined");
+
+ fail = true;
+
+#ifdef EAI_FAIL
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_FAIL not defined");
+
+ fail = true;
+
+#ifdef EAI_FAMILY
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_FAMILY not defined");
+
+ fail = true;
+
+#ifdef EAI_MEMORY
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_MEMORY not defined");
+
+ fail = true;
+
+#ifdef EAI_NONAME
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_NONAME not defined");
+
+ fail = true;
+
+#ifdef EAI_SERVICE
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_SERVICE not defined");
+
+ fail = true;
+
+#ifdef EAI_SOCKTYPE
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_SOCKTYPE not defined");
+
+ fail = true;
+
+#ifdef EAI_SYSTEM
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_SYSTEM not defined");
+
+ fail = true;
+
+#ifdef EAI_OVERFLOW
+ fail = false;
+#endif
+ if (fail != false)
+ atf_tc_fail("EAI_OVERFLOW not defined");
+}
+
+ATF_TP_ADD_TCS(tp)
+{
+
+ ATF_TP_ADD_TC(tp, netdb_constants);
+
+ return atf_no_error();
+}
