Fix -DNDEBUG support

Change-Id: Ib64cef83a646bce2b0afa72b607fb9e5c306e859

diff --git a/common/lib/libprop/prop_object.c b/common/lib/libprop/prop_object.c
index 9f93e902e99e0be3eeeba57bd15a2c8bb06adf49..7d61a778c7399d36b66f47fb087b9a02c631fb1b 100644 (file)
--- a/common/lib/libprop/prop_object.c
+++ b/common/lib/libprop/prop_object.c
@@ -987,7 +987,7 @@ _prop_object_internalize_unmap_file(
        (void) munmap(mf->poimf_xml, mf->poimf_mapsize);
        _PROP_FREE(mf, M_TEMP);
 #else
-       assert(0);
+       abort();
 #endif
 }
 #endif /* !_KERNEL && !_STANDALONE */

diff --git a/common/lib/libprop/prop_object_impl.h b/common/lib/libprop/prop_object_impl.h
index b854524b04070fe3191be08f1cd8161a3050b6b6..413d874176eef3838e4d6a0d598461ef9fcf9935 100644 (file)
--- a/common/lib/libprop/prop_object_impl.h
+++ b/common/lib/libprop/prop_object_impl.h
@@ -480,7 +480,7 @@ do {                                                                        \
 /*
  * Language features.
  */
-#if defined(__NetBSD__)
+#if defined(__NetBSD__) || defined(__minix)
 #include <sys/cdefs.h>
 #define        _PROP_ARG_UNUSED                __unused
 #else

diff --git a/external/bsd/atf/dist/atf-c++/detail/process.cpp b/external/bsd/atf/dist/atf-c++/detail/process.cpp
index f7ae6d49de00dc12eb4138ce8f611eb584968d36..cd508ee08d5199f88513333ae59df054f5a8ef37 100644 (file)
--- a/external/bsd/atf/dist/atf-c++/detail/process.cpp
+++ b/external/bsd/atf/dist/atf-c++/detail/process.cpp
@@ -296,7 +296,10 @@ impl::child::~child(void)
         ::kill(atf_process_child_pid(&m_child), SIGTERM);
 
         atf_process_status_t s;
-        atf_error_t err = atf_process_child_wait(&m_child, &s);
+#if defined(__minix) && !defined(NDEBUG)
+        atf_error_t err =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+        atf_process_child_wait(&m_child, &s);
         INV(!atf_is_error(err));
         atf_process_status_fini(&s);
     }

diff --git a/external/bsd/atf/dist/atf-c/check.c b/external/bsd/atf/dist/atf-c/check.c
index d7a908d3c56adad0236b167e22dcb321eb31cf92..5a012e1859e76736a634107bb4d933bc4f5734b9 100644 (file)
--- a/external/bsd/atf/dist/atf-c/check.c
+++ b/external/bsd/atf/dist/atf-c/check.c
@@ -101,7 +101,10 @@ cleanup_tmpdir(const atf_fs_path_t *dir, const atf_fs_path_t *outfile,
     }
 
     {
-        atf_error_t err = atf_fs_rmdir(dir);
+#if defined(__minix) && !defined(NDEBUG)
+        atf_error_t err =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+        atf_fs_rmdir(dir);
         INV(!atf_is_error(err));
     }
 }
@@ -468,7 +471,10 @@ atf_check_exec_array(const char *const *argv, atf_check_result_t *r)
 
     err = atf_check_result_init(r, argv, &dir);
     if (atf_is_error(err)) {
-        atf_error_t err2 = atf_fs_rmdir(&dir);
+#if defined(__minix) && !defined(NDEBUG)
+        atf_error_t err2 =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+        atf_fs_rmdir(&dir);
         INV(!atf_is_error(err2));
         goto out;
     }

diff --git a/external/bsd/atf/dist/atf-c/detail/process.c b/external/bsd/atf/dist/atf-c/detail/process.c
index 9782cd3a3e2d39ab9786dd4d3d6dfaac9d282634..a16d0204037a57cf3941623e8defc5fe19689a9b 100644 (file)
--- a/external/bsd/atf/dist/atf-c/detail/process.c
+++ b/external/bsd/atf/dist/atf-c/detail/process.c
@@ -103,6 +103,7 @@ const int atf_process_stream_type_inherit = 3;
 const int atf_process_stream_type_redirect_fd = 4;
 const int atf_process_stream_type_redirect_path = 5;
 
+#if defined(__minix) && !defined(NDEBUG)
 static
 bool
 stream_is_valid(const atf_process_stream_t *sb)
@@ -113,6 +114,7 @@ stream_is_valid(const atf_process_stream_t *sb)
            (sb->m_type == atf_process_stream_type_redirect_fd) ||
            (sb->m_type == atf_process_stream_type_redirect_path);
 }
+#endif /* defined(__minix) && !defined(NDEBUG) */
 
 atf_error_t
 atf_process_stream_init_capture(atf_process_stream_t *sb)
@@ -604,7 +606,10 @@ do_exec(void *v)
     if (ea->m_prehook != NULL)
         ea->m_prehook();
 
-    const int ret = const_execvp(atf_fs_path_cstring(ea->m_prog), ea->m_argv);
+#if defined(__minix) && !defined(NDEBUG)
+    const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    const_execvp(atf_fs_path_cstring(ea->m_prog), ea->m_argv);
     const int errnocopy = errno;
     INV(ret == -1);
     fprintf(stderr, "exec(%s) failed: %s\n",

diff --git a/external/bsd/atf/dist/atf-sh/atf-sh.cpp b/external/bsd/atf/dist/atf-sh/atf-sh.cpp
index d7bc7fc82bc0016c1129ef4eb57ce9b79a8f1038..f533ea87981fca3c9a031fa2f939e27bf43324c0 100644 (file)
--- a/external/bsd/atf/dist/atf-sh/atf-sh.cpp
+++ b/external/bsd/atf/dist/atf-sh/atf-sh.cpp
@@ -142,7 +142,10 @@ atf_sh::main(void)
     // Don't bother keeping track of the memory allocated by construct_argv:
     // we are going to exec or die immediately.
 
-    const int ret = execv(shell.c_str(), const_cast< char** >(argv));
+#if defined(__minix) && !defined(NDEBUG)
+    const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    execv(shell.c_str(), const_cast< char** >(argv));
     INV(ret == -1);
     std::cerr << "Failed to execute " << shell << ": " << std::strerror(errno)
               << "\n";

diff --git a/external/bsd/file/dist/src/cdf.c b/external/bsd/file/dist/src/cdf.c
index de680b8590af232a1d16d9fae47c842b0ca9ff9a..0af946662d4fc9507068c90838dec450458ff745 100644 (file)
--- a/external/bsd/file/dist/src/cdf.c
+++ b/external/bsd/file/dist/src/cdf.c
@@ -345,9 +345,15 @@ ssize_t
 cdf_read_sector(const cdf_info_t *info, void *buf, size_t offs, size_t len,
     const cdf_header_t *h, cdf_secid_t id)
 {
+#if defined(__minix) && !defined(NDEBUG)
        size_t ss = CDF_SEC_SIZE(h);
+#endif /* defined(__minix) && !defined(NDEBUG) */
        size_t pos = CDF_SEC_POS(h, id);
+#if defined(__minix) && !defined(NDEBUG)
+       /* MINIX: It seems even with NDEBUG, when built as a tool assert is
+        *        still defined on linux. */
        assert(ss == len);
+#endif /* defined(__minix) && !defined(NDEBUG) */
        return cdf_read(info, (off_t)pos, ((char *)buf) + offs, len);
 }
 
@@ -355,9 +361,13 @@ ssize_t
 cdf_read_short_sector(const cdf_stream_t *sst, void *buf, size_t offs,
     size_t len, const cdf_header_t *h, cdf_secid_t id)
 {
+#if defined(__minix) && !defined(NDEBUG)
        size_t ss = CDF_SHORT_SEC_SIZE(h);
+#endif /* defined(__minix) && !defined(NDEBUG) */
        size_t pos = CDF_SHORT_SEC_POS(h, id);
+#if defined(__minix) && !defined(NDEBUG)
        assert(ss == len);
+#endif /* defined(__minix) && !defined(NDEBUG) */
        if (pos > CDF_SEC_SIZE(h) * sst->sst_len) {
                DPRINTF(("Out of bounds read %" SIZE_T_FORMAT "u > %"
                    SIZE_T_FORMAT "u\n",

diff --git a/external/bsd/kyua-cli/dist/store/transaction.cpp b/external/bsd/kyua-cli/dist/store/transaction.cpp
index bf24d82ed6b8c949a61b702de5bb6f759c6266cd..4db671c0a719f6fdfc265ac8fa4e46e670e42ecc 100644 (file)
--- a/external/bsd/kyua-cli/dist/store/transaction.cpp
+++ b/external/bsd/kyua-cli/dist/store/transaction.cpp
@@ -143,7 +143,10 @@ get_file(sqlite::database& db, const int64_t file_id)
         const std::string contents(
             static_cast< const char *>(raw_contents.memory), raw_contents.size);
 
-        const bool more = stmt.step();
+#if defined(__minix) && !defined(NDEBUG)
+        const bool more =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+        stmt.step();
         INV(!more);
 
         return contents;
@@ -384,7 +387,10 @@ store::detail::get_test_program(backend& backend_, const int64_t id)
         fs::path(stmt.safe_column_text("root")),
         stmt.safe_column_text("test_suite_name"),
         get_metadata(db, stmt.safe_column_int64("metadata_id"))));
-    const bool more = stmt.step();
+#if defined(__minix) && !defined(NDEBUG)
+    const bool more =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    stmt.step();
     INV(!more);
 
     LD(F("Loaded test program '%s'; getting test cases") %

diff --git a/external/bsd/kyua-cli/dist/utils/cmdline/options.cpp b/external/bsd/kyua-cli/dist/utils/cmdline/options.cpp
index a086f8477c78470822619c749fb22cc61187e9bb..fede3db59b5ab05a6662ca1e371274e15ac90228 100644 (file)
--- a/external/bsd/kyua-cli/dist/utils/cmdline/options.cpp
+++ b/external/bsd/kyua-cli/dist/utils/cmdline/options.cpp
@@ -41,6 +41,14 @@
 namespace cmdline = utils::cmdline;
 namespace text = utils::text;
 
+#if defined(__minix) && defined(NDEBUG)
+#undef PRE_MSG
+#define PRE_MSG(expr, msg) \
+    do { \
+        if (!(expr)) \
+            utils::sanity_failure(utils::precondition, __FILE__, __LINE__, msg); \
+    } while (0)
+#endif /* defined(__minix) && defined(NDEBUG) */
 
 /// Constructs a generic option with both a short and a long name.
 ///

diff --git a/external/bsd/kyua-cli/dist/utils/datetime.cpp b/external/bsd/kyua-cli/dist/utils/datetime.cpp
index d1afbd45e1056974e3c67e9dd85f144608568fbb..a69b113a20e3a21c2380bb61fa20906ea819df0a 100644 (file)
--- a/external/bsd/kyua-cli/dist/utils/datetime.cpp
+++ b/external/bsd/kyua-cli/dist/utils/datetime.cpp
@@ -272,7 +272,10 @@ datetime::timestamp::now(void)
 
     ::timeval data;
     {
-        const int ret = ::gettimeofday(&data, NULL);
+#if defined(__minix) && !defined(NDEBUG)
+        const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+        ::gettimeofday(&data, NULL);
         INV(ret != -1);
     }
 

diff --git a/external/bsd/kyua-cli/dist/utils/process/child.cpp b/external/bsd/kyua-cli/dist/utils/process/child.cpp
index 2c7f1628796bd912a7bb9c6092795d8c747025bf..4a8a3fa202d0b9c3a69e38045fb5bf1ff52c5c99 100644 (file)
--- a/external/bsd/kyua-cli/dist/utils/process/child.cpp
+++ b/external/bsd/kyua-cli/dist/utils/process/child.cpp
@@ -203,7 +203,10 @@ cxx_exec(const fs::path& program, const process::args_vector& args) throw()
             argv[1 + i] = args[i].c_str();
         argv[1 + args.size()] = NULL;
 
-        const int ret = ::execv(program.c_str(),
+#if defined(__minix) && !defined(NDEBUG)
+        const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+        ::execv(program.c_str(),
                                 (char* const*)(unsigned long)(const void*)argv);
         const int original_errno = errno;
         assert(ret == -1);

diff --git a/external/bsd/kyua-cli/dist/utils/signals/interrupts.cpp b/external/bsd/kyua-cli/dist/utils/signals/interrupts.cpp
index 98a769571f1b100c848bfe4ed76d5869c64c2c68..49f0182214a26576ee8cd5a37b7c8c79cb839119 100644 (file)
--- a/external/bsd/kyua-cli/dist/utils/signals/interrupts.cpp
+++ b/external/bsd/kyua-cli/dist/utils/signals/interrupts.cpp
@@ -164,7 +164,10 @@ mask_signals(void)
     sigaddset(&mask, SIGHUP);
     sigaddset(&mask, SIGINT);
     sigaddset(&mask, SIGTERM);
-    const int ret = ::sigprocmask(SIG_BLOCK, &mask, &old_sigmask);
+#if defined(__minix) && !defined(NDEBUG)
+    const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    ::sigprocmask(SIG_BLOCK, &mask, &old_sigmask);
     INV(ret != -1);
 }
 
@@ -173,7 +176,10 @@ mask_signals(void)
 static void
 unmask_signals(void)
 {
-    const int ret = ::sigprocmask(SIG_SETMASK, &old_sigmask, NULL);
+#if defined(__minix) && !defined(NDEBUG)
+    const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    ::sigprocmask(SIG_SETMASK, &old_sigmask, NULL);
     INV(ret != -1);
 }
 

diff --git a/external/bsd/kyua-cli/dist/utils/sqlite/database.cpp b/external/bsd/kyua-cli/dist/utils/sqlite/database.cpp
index b073c258cacc4ada3c6ca75b27c494c7928d64a8..1d234c22a72709c9fd001d399a54ed42df8ae55b 100644 (file)
--- a/external/bsd/kyua-cli/dist/utils/sqlite/database.cpp
+++ b/external/bsd/kyua-cli/dist/utils/sqlite/database.cpp
@@ -110,7 +110,10 @@ struct utils::sqlite::database::impl {
     close(void)
     {
         PRE(db != NULL);
-        int error = ::sqlite3_close(db);
+#if defined(__minix) && !defined(NDEBUG)
+        int error =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+        ::sqlite3_close(db);
         // For now, let's consider a return of SQLITE_BUSY an error.  We should
         // not be trying to close a busy database in our code.  Maybe revisit
         // this later to raise busy errors as exceptions.

diff --git a/external/bsd/kyua-cli/dist/utils/sqlite/statement.cpp b/external/bsd/kyua-cli/dist/utils/sqlite/statement.cpp
index f5a9eef9ba72b2dc8a2ff95f5a92237c93dcc3fc..facf015c9910bcb26bd6e29e70c5282f5026fdc5 100644 (file)
--- a/external/bsd/kyua-cli/dist/utils/sqlite/statement.cpp
+++ b/external/bsd/kyua-cli/dist/utils/sqlite/statement.cpp
@@ -171,7 +171,10 @@ sqlite::statement::~statement(void)
 void
 sqlite::statement::step_without_results(void)
 {
-    const bool data = step();
+#if defined(__minix) && !defined(NDEBUG)
+    const bool data =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    step();
     INV_MSG(!data, "The statement should not have produced any rows, but it "
             "did");
 }
@@ -610,6 +613,14 @@ void
 sqlite::statement::clear_bindings(void)
 {
     const int error = ::sqlite3_clear_bindings(_pimpl->stmt);
+#if defined(__minix) && defined(NDEBUG)
+#undef PRE_MSG
+#define PRE_MSG(expr, msg) \
+    do { \
+        if (!(expr)) \
+            utils::sanity_failure(utils::precondition, __FILE__, __LINE__, msg); \
+    } while (0)
+#endif /* defined(__minix) && defined(NDEBUG) */
     PRE_MSG(error == SQLITE_OK, "SQLite3 contract has changed; it should "
             "only return SQLITE_OK");
 }

diff --git a/external/bsd/kyua-testers/dist/atf_result.c b/external/bsd/kyua-testers/dist/atf_result.c
index fb07418970f5b36ef3e579f62b8dd2401989af1d..1665cbbbd8f6903ec81deee651a0c08f581728c9 100644 (file)
--- a/external/bsd/kyua-testers/dist/atf_result.c
+++ b/external/bsd/kyua-testers/dist/atf_result.c
@@ -679,6 +679,9 @@ convert_result(const enum atf_status status, const int status_arg,
     }
 
     assert(false);
+#if defined(__minix) && defined(NDEBUG)
+    abort();
+#endif /* defined(__minix) && !defined(NDEBUG) */
 }
 
 

diff --git a/external/bsd/kyua-testers/dist/error.c b/external/bsd/kyua-testers/dist/error.c
index 40fe47b1a63ac3a5ad1d27f39d972fade0b617ab..3a159c85484216b3cce41f32c5a0938233af7a49 100644 (file)
--- a/external/bsd/kyua-testers/dist/error.c
+++ b/external/bsd/kyua-testers/dist/error.c
@@ -522,8 +522,10 @@ kyua_error_t
 kyua_oom_error_new(void)
 {
     // This is idempotent; no need to ensure that we call it only once.
-    const bool ok = error_init(&oom_error, kyua_oom_error_type, NULL, 0,
-                               oom_format);
+#if defined(__minix) && !defined(NDEBUG)
+    const bool ok =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    error_init(&oom_error, kyua_oom_error_type, NULL, 0, oom_format);
     assert(ok);
 
     return &oom_error;

diff --git a/external/bsd/kyua-testers/dist/fs.c b/external/bsd/kyua-testers/dist/fs.c
index ff1519431585fa5ba55ecf8e0865914f0af9f113..c670c263c403abc145ab2c0163792dc8caea5b42 100644 (file)
--- a/external/bsd/kyua-testers/dist/fs.c
+++ b/external/bsd/kyua-testers/dist/fs.c
@@ -384,7 +384,10 @@ unmount_with_umount8(const char* mount_point)
     if (pid == -1) {
         return kyua_libc_error_new(errno, "fork() failed");
     } else if (pid == 0) {
-        const int ret = execlp(UMOUNT, "umount", mount_point, NULL);
+#if defined(__minix) && !defined(NDEBUG)
+        const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+        execlp(UMOUNT, "umount", mount_point, NULL);
         assert(ret == -1);
         err(EXIT_FAILURE, "Failed to execute " UMOUNT);
     }

diff --git a/external/bsd/kyua-testers/dist/run.c b/external/bsd/kyua-testers/dist/run.c
index 4ed1e048bd4c8f6d05118a506e4002f6aa02c95a..5fda9e7e832595f1c5ad61aac41403369e48c4bb 100644 (file)
--- a/external/bsd/kyua-testers/dist/run.c
+++ b/external/bsd/kyua-testers/dist/run.c
@@ -112,7 +112,10 @@ mask_handlers(const int operation)
     sigaddset(&mask, SIGINT);
     sigaddset(&mask, SIGHUP);
     sigaddset(&mask, SIGTERM);
-    const int ret = sigprocmask(operation, &mask, NULL);
+#if defined(__minix) && !defined(NDEBUG)
+    const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    sigprocmask(operation, &mask, NULL);
     assert(ret != -1);
 }
 
@@ -209,7 +212,10 @@ setup_signal(const int signo, void (*handler)(const int),
     sigemptyset(&sa.sa_mask);
     sa.sa_flags = SA_RESTART;
 
-    const int ret = sigaction(signo, &sa, old_sa);
+#if defined(__minix) && !defined(NDEBUG)
+    const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    sigaction(signo, &sa, old_sa);
     assert(ret != -1);
 }
 
@@ -227,7 +233,10 @@ setup_timer(const int seconds, struct itimerval* old_itimerval)
     new_timer.it_interval.tv_usec = 0;
     new_timer.it_value.tv_sec = seconds;
     new_timer.it_value.tv_usec = 0;
-    const int ret = setitimer(ITIMER_REAL, &new_timer, old_itimerval);
+#if defined(__minix) && !defined(NDEBUG)
+    const int ret =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    setitimer(ITIMER_REAL, &new_timer, old_itimerval);
     assert(ret != -1);
 }
 
@@ -471,7 +480,10 @@ kyua_error_t
 kyua_run_wait(const pid_t pid, int* status, bool* timed_out)
 {
     int tmp_status;
-    const pid_t waited_pid = waitpid(pid, &tmp_status, 0);
+#if defined(__minix) && !defined(NDEBUG)
+    const pid_t waited_pid =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    waitpid(pid, &tmp_status, 0);
     assert(pid == waited_pid);
 
     protect();

diff --git a/external/bsd/kyua-testers/dist/stacktrace.c b/external/bsd/kyua-testers/dist/stacktrace.c
index c4020a1f18cedcc0c33ccd4bc36fda491437a256..5014370bd86e84c48756abed052f5504c52a971f 100644 (file)
--- a/external/bsd/kyua-testers/dist/stacktrace.c
+++ b/external/bsd/kyua-testers/dist/stacktrace.c
@@ -126,7 +126,10 @@ run_gdb(const char* program, const char* core_name, FILE* output)
     }
 
     (void)close(STDIN_FILENO);
-    const int input_fd = open("/dev/null", O_RDONLY);
+#if defined(__minix) && !defined(NDEBUG)
+    const int input_fd =
+#endif /* defined(__minix) && !defined(NDEBUG) */
+    open("/dev/null", O_RDONLY);
     assert(input_fd == STDIN_FILENO);
 
     const int output_fd = fileno(output);

diff --git a/minix/net/lwip/tcp.c b/minix/net/lwip/tcp.c
index 82632ce8e45b958be6f3a2fb4a4a9407f20f886f..1f4fc3d14844d75e8781af5870483e5f23e2f278 100644 (file)
--- a/minix/net/lwip/tcp.c
+++ b/minix/net/lwip/tcp.c
@@ -997,7 +997,9 @@ static int tcp_get_opt(struct socket * sock, endpoint_t endpt,
        cp_grant_id_t grant)
 {
        nwio_tcpopt_t tcpopt;
+#if !defined(NDEBUG)
        struct tcp_pcb * pcb = (struct tcp_pcb *) sock->pcb;
+#endif /* !defined(NDEBUG) */
 
        debug_tcp_print("socket num %ld", get_sock_num(sock));
 
@@ -1013,7 +1015,9 @@ static int tcp_set_opt(struct socket * sock, endpoint_t endpt,
        cp_grant_id_t grant)
 {
        nwio_tcpopt_t tcpopt;
+#if !defined(NDEBUG)
        struct tcp_pcb * pcb = (struct tcp_pcb *) sock->pcb;
+#endif /* !defined(NDEBUG) */
 
        debug_tcp_print("socket num %ld", get_sock_num(sock));