Source-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[src/trunk]: src Formally verify PR standards/44777.
details: https://anonhg.NetBSD.org/src/rev/4a75c5e8df75
branches: trunk
changeset: 764006:4a75c5e8df75
user: jruoho <jruoho%NetBSD.org@localhost>
date: Sun Apr 10 10:49:43 2011 +0000
description:
Formally verify PR standards/44777.
diffstat:
distrib/sets/lists/tests/mi | 4 +-
tests/include/Makefile | 3 +-
tests/include/t_netdb.c | 244 ++++++++++++++++++++++++++++++++++++++++++++
3 files changed, 249 insertions(+), 2 deletions(-)
diffs (290 lines):
diff -r fbeaffee209c -r 4a75c5e8df75 distrib/sets/lists/tests/mi
--- a/distrib/sets/lists/tests/mi Sun Apr 10 10:23:45 2011 +0000
+++ b/distrib/sets/lists/tests/mi Sun Apr 10 10:49:43 2011 +0000
@@ -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
diff -r fbeaffee209c -r 4a75c5e8df75 tests/include/Makefile
--- a/tests/include/Makefile Sun Apr 10 10:23:45 2011 +0000
+++ b/tests/include/Makefile Sun Apr 10 10:49:43 2011 +0000
@@ -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
diff -r fbeaffee209c -r 4a75c5e8df75 tests/include/t_netdb.c
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/include/t_netdb.c Sun Apr 10 10:49:43 2011 +0000
@@ -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();
+}
Home |
Main Index |
Thread Index |
Old Index