JASSERT 68 ckptserializer.cpp JASSERT(sig == SIGCHLD);
JASSERT 128 ckptserializer.cpp JASSERT( strlen(strncat(evar, compressor, sizeof(evar) - strlen(evar) - 1))
JASSERT 140 ckptserializer.cpp JASSERT(rc != LONG_MIN && rc != LONG_MAX) (do_we_compress) (JASSERT_ERRNO);
JASSERT 207 ckptserializer.cpp JASSERT(fd != -1) (tempCkptFilename) (JASSERT_ERRNO)
JASSERT 268 ckptserializer.cpp JASSERT(false) .Text("Not Reached!\n");
JASSERT 368 ckptserializer.cpp JASSERT(false)
JASSERT 380 ckptserializer.cpp JASSERT(!ckptDir.empty());
JASSERT 381 ckptserializer.cpp JASSERT(mkdir(ckptDir.c_str(), S_IRWXU) == 0 || errno == EEXIST)
JASSERT 385 ckptserializer.cpp JASSERT(0 == access(ckptDir.c_str(), X_OK|W_OK)) (ckptDir)
JASSERT 413 ckptserializer.cpp JASSERT(fdCkptFileOnDisk >= 0 );
JASSERT 414 ckptserializer.cpp JASSERT(use_compression || fd == fdCkptFileOnDisk);
JASSERT 420 ckptserializer.cpp JASSERT(Util::writeAll(fd, mtcpHdr, mtcpHdrLen) == (ssize_t) mtcpHdrLen);
JASSERT 432 ckptserializer.cpp JASSERT(fsync(fdCkptFileOnDisk) != -1) (JASSERT_ERRNO)
JASSERT 434 ckptserializer.cpp JASSERT(_real_close(fdCkptFileOnDisk) == 0) (JASSERT_ERRNO)
JASSERT 442 ckptserializer.cpp JASSERT(rename(tempCkptFilename.c_str(), ckptFilename.c_str()) == 0);
JASSERT 456 ckptserializer.cpp JASSERT(write(fd, DMTCP_FILE_HEADER, len) == len);
JASSERT 466 ckptserializer.cpp JASSERT(Util::writeAll(fd, buf, remaining) == remaining);
JASSERT 49 coordinatorapi.cpp JASSERT(CoordinatorAPI::instance().isValid());
JASSERT 124 coordinatorapi.cpp JASSERT(Util::isValidFd(PROTECTED_COORD_FD));
JASSERT 135 coordinatorapi.cpp JASSERT(coordAPI._coordinatorSocket.isValid());
JASSERT 136 coordinatorapi.cpp JASSERT(coordAPI._coordinatorSocket.sockfd() != PROTECTED_COORD_FD);
JASSERT 163 coordinatorapi.cpp JASSERT(_coordinatorSocket.isValid()) (port) (JASSERT_ERRNO)
JASSERT 199 coordinatorapi.cpp JASSERT(gettimeofday(&start, NULL) == 0) (JASSERT_ERRNO);
JASSERT 208 coordinatorapi.cpp JASSERT(FD_ISSET(PROTECTED_COORD_FD, &rfds));
JASSERT 212 coordinatorapi.cpp JASSERT(errno == EINTR) (JASSERT_ERRNO); /* EINTR: a signal was caught */
JASSERT 215 coordinatorapi.cpp JASSERT(gettimeofday(&end, NULL) == 0) (JASSERT_ERRNO);
JASSERT 235 coordinatorapi.cpp JASSERT(msg.type == DMT_USER_CMD) (msg.type)
JASSERT 326 coordinatorapi.cpp JASSERT(reply.type == DMT_USER_CMD_RESULT);
JASSERT 355 coordinatorapi.cpp JASSERT(msg.type == DMT_GET_CKPT_DIR_RESULT) (msg.type);
JASSERT 357 coordinatorapi.cpp JASSERT(msg.extraBytes > 0);
JASSERT 365 coordinatorapi.cpp JASSERT(dir != NULL);
JASSERT 379 coordinatorapi.cpp JASSERT(extraData != NULL);
JASSERT 380 coordinatorapi.cpp JASSERT(len == msg.extraBytes);
JASSERT 387 coordinatorapi.cpp JASSERT(!noCoordinator());
JASSERT 393 coordinatorapi.cpp JASSERT(msg->extraBytes > 0);
JASSERT 397 coordinatorapi.cpp JASSERT(extraData != NULL);
JASSERT 408 coordinatorapi.cpp JASSERT(strcmp(host, "localhost") == 0 ||
JASSERT 418 coordinatorapi.cpp JASSERT(coordinatorListenerSocket.isValid())
JASSERT 444 coordinatorapi.cpp JASSERT(false)(coordinator)(JASSERT_ERRNO) .Text("exec(dmtcp_coordinator) failed");
JASSERT 450 coordinatorapi.cpp JASSERT(wait(&status) > 0) (JASSERT_ERRNO);
JASSERT 457 coordinatorapi.cpp JASSERT(_coordinatorSocket.isValid()) (JASSERT_ERRNO)
JASSERT 462 coordinatorapi.cpp JASSERT(_coordinatorSocket.isValid()) (JASSERT_ERRNO)
JASSERT 470 coordinatorapi.cpp JASSERT(_coordinatorSocket.isValid()) (JASSERT_ERRNO)
JASSERT 474 coordinatorapi.cpp JASSERT(false) .Text("Not Reached");
JASSERT 505 coordinatorapi.cpp JASSERT(false)
JASSERT 510 coordinatorapi.cpp JASSERT(compId != NULL);
JASSERT 511 coordinatorapi.cpp JASSERT(false) (*compId)
JASSERT 515 coordinatorapi.cpp JASSERT(msg.type == DMT_ACCEPT);
JASSERT 525 coordinatorapi.cpp JASSERT(compId != NULL && localIP != NULL && coordInfo != NULL);
JASSERT 540 coordinatorapi.cpp JASSERT(hello_remote.virtualPid != -1);
JASSERT 546 coordinatorapi.cpp JASSERT(compId != NULL && localIP != NULL && coordInfo != NULL);
JASSERT 551 coordinatorapi.cpp JASSERT(getpeername(_coordinatorSocket.sockfd(),
JASSERT 560 coordinatorapi.cpp JASSERT(!noCoordinator());
JASSERT 566 coordinatorapi.cpp JASSERT(_coordinatorSocket.isValid());
JASSERT 570 coordinatorapi.cpp JASSERT(hello_remote.virtualPid != -1);
JASSERT 608 coordinatorapi.cpp JASSERT(getpeername(_coordinatorSocket.sockfd(),
JASSERT 660 coordinatorapi.cpp JASSERT(_nsSock.isValid());
JASSERT 666 coordinatorapi.cpp JASSERT(sock.isValid());
JASSERT 675 coordinatorapi.cpp JASSERT(msg.type == DMT_REGISTER_NAME_SERVICE_DATA_SYNC_RESPONSE)(msg.type);
JASSERT 706 coordinatorapi.cpp JASSERT(_nsSock.isValid());
JASSERT 712 coordinatorapi.cpp JASSERT(sock.isValid());
JASSERT 721 coordinatorapi.cpp JASSERT(msg.type == DMT_NAME_SERVICE_QUERY_RESPONSE &&
JASSERT 724 coordinatorapi.cpp JASSERT (*val_len >= msg.valLen);
JASSERT 515 dmtcp_coordinator.cpp JASSERT(_virtualPidToClientMap.size() < MAX_VIRTUAL_PID/1000)
JASSERT 527 dmtcp_coordinator.cpp JASSERT(pid != -1) .Text("Not Reachable");
JASSERT 767 dmtcp_coordinator.cpp JASSERT(client != NULL);
JASSERT 797 dmtcp_coordinator.cpp JASSERT ( extraData!=0 )
JASSERT 818 dmtcp_coordinator.cpp JASSERT(extraData != 0)
JASSERT 876 dmtcp_coordinator.cpp JASSERT ( false ) ( msg.from ) ( msg.type )
JASSERT 987 dmtcp_coordinator.cpp JASSERT(hello_remote.extraBytes > 0) (hello_remote.extraBytes);
JASSERT 998 dmtcp_coordinator.cpp JASSERT(hello_remote.extraBytes > 0) (hello_remote.extraBytes);
JASSERT 1009 dmtcp_coordinator.cpp JASSERT(hello_remote.extraBytes > 0) (hello_remote.extraBytes);
JASSERT 1064 dmtcp_coordinator.cpp JASSERT(hello_remote.state == WorkerState::RUNNING ||
JASSERT 1066 dmtcp_coordinator.cpp JASSERT(hello_remote.virtualPid == -1);
JASSERT 1074 dmtcp_coordinator.cpp JASSERT(false) (hello_remote.type)
JASSERT 1126 dmtcp_coordinator.cpp JASSERT(hello_remote.state == WorkerState::RESTARTING) (hello_remote.state);
JASSERT 1129 dmtcp_coordinator.cpp JASSERT ( minimumState() == WorkerState::UNKNOWN )
JASSERT 1134 dmtcp_coordinator.cpp JASSERT(gettimeofday(&tv, NULL) == 0);
JASSERT 1160 dmtcp_coordinator.cpp JASSERT ( curTimeStamp != 0 );
JASSERT 1205 dmtcp_coordinator.cpp JASSERT(hello_remote.state == WorkerState::RUNNING ||
JASSERT 1214 dmtcp_coordinator.cpp JASSERT(s.numPeers > 0) (s.numPeers);
JASSERT 1215 dmtcp_coordinator.cpp JASSERT(s.minimumState != WorkerState::SUSPENDED) (s.minimumState);
JASSERT 1259 dmtcp_coordinator.cpp JASSERT(gettimeofday(&tv, NULL) == 0);
JASSERT 1392 dmtcp_coordinator.cpp JASSERT ( fp!=0 )(JASSERT_ERRNO)( uniqueFilename )
JASSERT 1550 dmtcp_coordinator.cpp JASSERT(dirfd != -1) (dirname) (JASSERT_ERRNO);
JASSERT 1554 dmtcp_coordinator.cpp JASSERT(stat(uniqueFilename.c_str(), &buf) == 0);
JASSERT 1555 dmtcp_coordinator.cpp JASSERT(chmod(uniqueFilename.c_str(), buf.st_mode | S_IXUSR) == 0);
JASSERT 1563 dmtcp_coordinator.cpp JASSERT(close(dirfd) == 0);
JASSERT 1575 dmtcp_coordinator.cpp JASSERT(false) .Text("Not reached");
JASSERT 1595 dmtcp_coordinator.cpp JASSERT(gethostname(hostname, sizeof hostname) == 0) (JASSERT_ERRNO);
JASSERT 1627 dmtcp_coordinator.cpp JASSERT(sizeof localhostIPAddr == sizeof s->sin_addr);
JASSERT 1667 dmtcp_coordinator.cpp JASSERT(epollFd != -1) (JASSERT_ERRNO);
JASSERT 1671 dmtcp_coordinator.cpp JASSERT(epoll_ctl(epollFd, EPOLL_CTL_ADD, listenSock->sockfd(), &ev) != -1)
JASSERT 1685 dmtcp_coordinator.cpp JASSERT(epoll_ctl(epollFd, EPOLL_CTL_ADD, STDIN_FILENO, &ev) != -1)
JASSERT 1701 dmtcp_coordinator.cpp JASSERT(nfds != -1) (JASSERT_ERRNO);
JASSERT 1710 dmtcp_coordinator.cpp JASSERT(ptr != listenSock);
JASSERT 1712 dmtcp_coordinator.cpp JASSERT(epoll_ctl(epollFd, EPOLL_CTL_DEL, STDIN_FILENO, &ev) != -1)
JASSERT 1724 dmtcp_coordinator.cpp JASSERT(ret != -1) (JASSERT_ERRNO);
JASSERT 1729 dmtcp_coordinator.cpp JASSERT(epoll_ctl(epollFd, EPOLL_CTL_DEL, STDIN_FILENO, &ev) != -1)
JASSERT 1751 dmtcp_coordinator.cpp JASSERT(epoll_ctl(epollFd, EPOLL_CTL_ADD, client->sock().sockfd(), &ev) != -1)
JASSERT 1855 dmtcp_coordinator.cpp JASSERT ( listenSock->port() != -1 ) .Text ( "Invalid listener socket" );
JASSERT 1861 dmtcp_coordinator.cpp JASSERT ( listenSock->isValid() ) ( thePort ) ( JASSERT_ERRNO )
JASSERT 1909 dmtcp_coordinator.cpp JASSERT(dup2(fd, STDIN_FILENO) == STDIN_FILENO);
JASSERT 1910 dmtcp_coordinator.cpp JASSERT(dup2(fd, STDOUT_FILENO) == STDOUT_FILENO);
JASSERT 1911 dmtcp_coordinator.cpp JASSERT(dup2(fd, STDERR_FILENO) == STDERR_FILENO);
JASSERT 687 dmtcp_launch.cpp JASSERT(false) (getenv(ENV_VAR_ALLOC_PLUGIN))
JASSERT 700 dmtcp_launch.cpp JASSERT(false) (getenv(ENV_VAR_DL_PLUGIN))
JASSERT 134 dmtcp_restart.cpp JASSERT(jalib::Filesystem::FileExists(_path)) (_path)
JASSERT 165 dmtcp_restart.cpp JASSERT(pid != -1);
JASSERT 175 dmtcp_restart.cpp JASSERT(pid != -1);
JASSERT 178 dmtcp_restart.cpp JASSERT(gchild != -1);
JASSERT 184 dmtcp_restart.cpp JASSERT(waitpid(pid, NULL, 0) == pid);
JASSERT 311 dmtcp_restart.cpp JASSERT(dirfd != -1) (JASSERT_ERRNO);
JASSERT 313 dmtcp_restart.cpp JASSERT(dup2(dirfd, PROTECTED_CKPT_DIR_FD) == PROTECTED_CKPT_DIR_FD);
JASSERT 344 dmtcp_restart.cpp JASSERT ( false ).Text ( "unreachable" );
JASSERT 390 dmtcp_restart.cpp JASSERT (false) (newArgs[0]) (newArgs[1]) (JASSERT_ERRNO)
JASSERT 409 dmtcp_restart.cpp JASSERT(Util::readAll(fd, buf, remaining) == remaining);
JASSERT 419 dmtcp_restart.cpp JASSERT(fd >= 0) (filename) .Text("ERROR: Cannot open filename");
JASSERT 422 dmtcp_restart.cpp JASSERT(rc == 1) (filename) .Text("ERROR: Error reading from filename");
JASSERT 460 dmtcp_restart.cpp JASSERT(fd>=0)(filename).Text("Failed to open file.");
JASSERT 481 dmtcp_restart.cpp JASSERT(pipe(fds) != -1) (filename)
JASSERT 486 dmtcp_restart.cpp JASSERT(cpid != -1)
JASSERT 493 dmtcp_restart.cpp JASSERT(waitpid(cpid, NULL, 0) == cpid);
JASSERT 507 dmtcp_restart.cpp JASSERT(cpid != -1);
JASSERT 519 dmtcp_restart.cpp JASSERT(fd != -1);
JASSERT 520 dmtcp_restart.cpp JASSERT(dup2(fd, STDIN_FILENO) == STDIN_FILENO);
JASSERT 522 dmtcp_restart.cpp JASSERT(dup2(fds[1], STDOUT_FILENO) == STDOUT_FILENO);
JASSERT 525 dmtcp_restart.cpp JASSERT(decomp_path!=NULL) (decomp_path)
JASSERT 528 dmtcp_restart.cpp JASSERT(false)
JASSERT 532 dmtcp_restart.cpp JASSERT(false)
JASSERT 544 dmtcp_restart.cpp JASSERT(fd >= 0) (path) .Text("Failed to open file.");
JASSERT 546 dmtcp_restart.cpp JASSERT(read(fd, buf, len) == len)(path) .Text("read() failed");
JASSERT 552 dmtcp_restart.cpp JASSERT(fd >= 0) (path) .Text("Failed to open file.");
JASSERT 564 dmtcp_restart.cpp JASSERT(fd != -1) (envFile) (JASSERT_ERRNO);
JASSERT 565 dmtcp_restart.cpp JASSERT(unlink(envFile) == 0) (envFile) (JASSERT_ERRNO);
JASSERT 566 dmtcp_restart.cpp JASSERT(dup2(fd, PROTECTED_ENVIRON_FD) == PROTECTED_ENVIRON_FD)
JASSERT 568 dmtcp_restart.cpp JASSERT(close(fd) == 0);
JASSERT 583 dmtcp_restart.cpp JASSERT(mkdir(path, S_IRWXU) == 0 || errno == EEXIST)
JASSERT 586 dmtcp_restart.cpp JASSERT(0 == access(path, X_OK|W_OK)) (path)
JASSERT 589 dmtcp_restart.cpp JASSERT(S_ISDIR(st.st_mode)) (path) .Text("ckptdir not a directory");
JASSERT 593 dmtcp_restart.cpp JASSERT(fd != -1) (path);
JASSERT 594 dmtcp_restart.cpp JASSERT(dup2(fd, PROTECTED_CKPT_DIR_FD) == PROTECTED_CKPT_DIR_FD)
JASSERT 760 dmtcp_restart.cpp JASSERT(independentProcessTreeRoots.size() > 0)
JASSERT 767 dmtcp_restart.cpp JASSERT(t->pid() != 0);
JASSERT 768 dmtcp_restart.cpp JASSERT(!t->noCoordinator() || allowedModes == COORD_ANY)
JASSERT 772 dmtcp_restart.cpp JASSERT(false).Text("unreachable");
JASSERT 65 dmtcpmessagetypes.cpp JASSERT ( strcmp ( DMTCP_MAGIC_STRING,_magicBits ) == 0 )( _magicBits )
JASSERT 68 dmtcpmessagetypes.cpp JASSERT ( _msgSize == sizeof ( DmtcpMessage ) ) ( _msgSize ) ( sizeof ( DmtcpMessage ) )
JASSERT 92 dmtcpmessagetypes.cpp JASSERT(_state < _MAX) (_state);
JASSERT 114 dmtcpmessagetypes.cpp JASSERT ( false ) .Text ( "Invalid WorkerState" );
JASSERT 190 dmtcpmessagetypes.cpp JASSERT ( false ) ( s ) .Text ( "Invalid Message Type" );
JASSERT 52 dmtcpnohijackstubs.cpp JASSERT(false) .Text ("NOT REACHED");
JASSERT 58 dmtcpnohijackstubs.cpp JASSERT(false) .Text ("NOT REACHED");
JASSERT 82 dmtcpnohijackstubs.cpp JASSERT(false);
JASSERT 88 dmtcpnohijackstubs.cpp JASSERT(false);
JASSERT 94 dmtcpnohijackstubs.cpp JASSERT(false);
JASSERT 168 dmtcpplugin.cpp JASSERT(SharedData::getTmpDir(tmpdir, sizeof(tmpdir)) != NULL);
JASSERT 316 dmtcpplugin.cpp JASSERT(DMTCP_IS_PROTECTED_FD(fd));
JASSERT 334 dmtcpplugin.cpp JASSERT(env_fd != -1)(env_fd)(dmtcp_protected_environ_fd());
JASSERT 445 dmtcpplugin.cpp JASSERT(_real_pthread_sigmask (SIG_BLOCK, &signals_set, NULL) == 0);
JASSERT 458 dmtcpplugin.cpp JASSERT(_real_pthread_sigmask (SIG_UNBLOCK, &signals_set, NULL) == 0);
JASSERT 173 dmtcpworker.cpp JASSERT(__register_atfork(NULL, NULL,
JASSERT 177 dmtcpworker.cpp JASSERT(pthread_atfork(pthread_atfork_prepare,
JASSERT 303 dmtcpworker.cpp JASSERT (sigaction(SIGSEGV, &act, NULL) == 0) (JASSERT_ERRNO);
JASSERT 333 dmtcpworker.cpp JASSERT(programName != "dmtcp_coordinator" &&
JASSERT 435 dmtcpworker.cpp JASSERT(!shmFile.empty());
JASSERT 481 dmtcpworker.cpp JASSERT(msg.type == type) (msg.type) (type);
JASSERT 487 dmtcpworker.cpp JASSERT(SharedData::getCompId() == msg.compGroup.upid())
JASSERT 500 dmtcpworker.cpp JASSERT(WorkerState::currentState() == WorkerState::RUNNING);
JASSERT 75 execwrappers.cpp JASSERT(programName != "dmtcp_coordinator" &&
JASSERT 93 execwrappers.cpp JASSERT(cpid != -1);
JASSERT 327 execwrappers.cpp JASSERT(fd != -1) (JASSERT_ERRNO);
JASSERT 328 execwrappers.cpp JASSERT(unlink(buf) == 0) (JASSERT_ERRNO);
JASSERT 366 execwrappers.cpp JASSERT(_real_close(PROTECTED_LIFEBOAT_FD) == 0) (JASSERT_ERRNO);
JASSERT 82 lookup_service.cpp JASSERT (msg.keyLen > 0 && msg.valLen > 0 &&
JASSERT 96 lookup_service.cpp JASSERT (msg.keyLen > 0 && msg.keyLen == msg.extraBytes)
JASSERT 42 lookup_service.h JASSERT(_data != NULL);
JASSERT 128 mtcpinterface.cpp JASSERT(dmtcp_is_ptracing && dmtcp_is_ptracing());
JASSERT 169 mtcpinterface.cpp JASSERT(mtcpRestoreArgvStartAddr != NULL);
JASSERT 223 mtcpinterface.cpp JASSERT(_real_munmap(_mtcpRestoreArgvStartAddr, len) == 0)
JASSERT 45 plugin/ipc/connection.cpp JASSERT(_fds.size() > 0);
JASSERT 47 plugin/ipc/connection.cpp JASSERT(_fds[0] == fd);
JASSERT 63 plugin/ipc/connection.cpp JASSERT(_fcntlFlags >= 0) (_fds[0]) (_fcntlFlags) (_type) (JASSERT_ERRNO);
JASSERT 66 plugin/ipc/connection.cpp JASSERT(_fcntlOwner != -1) (_fcntlOwner) (JASSERT_ERRNO);
JASSERT 69 plugin/ipc/connection.cpp JASSERT(_fcntlSignal >= 0) (_fcntlSignal) (JASSERT_ERRNO);
JASSERT 75 plugin/ipc/connection.cpp JASSERT(_fcntlFlags >= 0) (_fcntlFlags);
JASSERT 76 plugin/ipc/connection.cpp JASSERT(_fcntlOwner != -1) (_fcntlOwner);
JASSERT 77 plugin/ipc/connection.cpp JASSERT(_fcntlSignal >= 0) (_fcntlSignal);
JASSERT 79 plugin/ipc/connection.cpp JASSERT(fcntl(_fds[0], F_SETFL, (int)_fcntlFlags) == 0)
JASSERT 83 plugin/ipc/connection.cpp JASSERT(fcntl(_fds[0], F_SETOWN, (int)_fcntlOwner) == 0)
JASSERT 93 plugin/ipc/connection.cpp JASSERT(fcntl(_fds[0], F_SETSIG, (int)_fcntlSignal) == 0)
JASSERT 101 plugin/ipc/connection.cpp JASSERT(fcntl(_fds[0], F_SETOWN, getpid()) == 0)
JASSERT 108 plugin/ipc/connection.cpp JASSERT(pid != -1);
JASSERT 45 plugin/ipc/connectionidentifier.cpp JASSERT(_nextConId >= CONNECTION_ID_START);
JASSERT 96 plugin/ipc/connectionidentifier.h JASSERT(strcmp(sign, HANDSHAKE_SIGNATURE_MSG) == 0) (sign)
JASSERT 98 plugin/ipc/connectionidentifier.h JASSERT(size == sizeof(ConnMsg)) (size) (sizeof(ConnMsg))
JASSERT 100 plugin/ipc/connectionidentifier.h JASSERT(type == t) ((int)t) ((int)type) .Text("Wrong Msg Type.");
JASSERT 184 plugin/ipc/connectionlist.cpp JASSERT(pthread_mutex_destroy(&_lock) == 0) (JASSERT_ERRNO);
JASSERT 185 plugin/ipc/connectionlist.cpp JASSERT(pthread_mutex_init(&_lock, NULL) == 0) (JASSERT_ERRNO);
JASSERT 255 plugin/ipc/connectionlist.cpp JASSERT(con != NULL) (key);
JASSERT 388 plugin/ipc/connectionlist.cpp JASSERT(con->numFds() > 0);
JASSERT 484 plugin/ipc/connectionlist.cpp JASSERT(sock.isValid());
JASSERT 487 plugin/ipc/connectionlist.cpp JASSERT(_real_bind(protected_fd,
JASSERT 492 plugin/ipc/connectionlist.cpp JASSERT(getsockname(protected_fd,
JASSERT 548 plugin/ipc/connectionlist.cpp JASSERT(ret != -1) (JASSERT_ERRNO);
JASSERT 556 plugin/ipc/connectionlist.cpp JASSERT(Util::sendFd(restoreFd, con->getFds()[0], id, sizeof(*id),
JASSERT 564 plugin/ipc/connectionlist.cpp JASSERT(fd != -1);
JASSERT 567 plugin/ipc/connectionlist.cpp JASSERT(con != NULL);
JASSERT 47 plugin/ipc/connectionlist.h JASSERT(pthread_mutex_init(&_lock, NULL) == 0);}
JASSERT 88 plugin/ipc/connectionlist.h JASSERT(_real_pthread_mutex_lock(&_lock) == 0) (JASSERT_ERRNO);
JASSERT 91 plugin/ipc/connectionlist.h JASSERT(_real_pthread_mutex_unlock(&_lock) == 0) (JASSERT_ERRNO);
JASSERT 53 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 58 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 74 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size()>0);
JASSERT 77 plugin/ipc/event/eventconnection.cpp JASSERT(tempFd >= 0);
JASSERT 95 plugin/ipc/event/eventconnection.cpp JASSERT(((op==EPOLL_CTL_MOD || op==EPOLL_CTL_ADD) && event != NULL) ||
JASSERT 117 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 122 plugin/ipc/event/eventconnection.cpp JASSERT(evtfd >= 0) (evtfd) (JASSERT_ERRNO);
JASSERT 124 plugin/ipc/event/eventconnection.cpp JASSERT(fcntl(evtfd, F_SETFL, new_flags) == 0)
JASSERT 157 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 171 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 176 plugin/ipc/event/eventconnection.cpp JASSERT(tempfd > 0) (tempfd) (JASSERT_ERRNO);
JASSERT 194 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 200 plugin/ipc/event/eventconnection.cpp JASSERT(signlfd >= 0) (signlfd) (JASSERT_ERRNO);
JASSERT 202 plugin/ipc/event/eventconnection.cpp JASSERT(fcntl(signlfd, F_SETFL, new_flags) == 0)
JASSERT 223 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 232 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 237 plugin/ipc/event/eventconnection.cpp JASSERT(tempfd > 0) (tempfd) (JASSERT_ERRNO);
JASSERT 255 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 260 plugin/ipc/event/eventconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 296 plugin/ipc/event/eventconnection.cpp JASSERT(tempfd >= 0);
JASSERT 323 plugin/ipc/event/eventconnection.cpp JASSERT(pathname != NULL) .Text("pathname is NULL");
JASSERT 19 plugin/ipc/event/eventconnlist.cpp JASSERT(false);
JASSERT 124 plugin/ipc/event/util_descriptor.cpp JASSERT(descriptor != NULL);
JASSERT 152 plugin/ipc/event/util_descriptor.cpp JASSERT(descriptor != NULL).Text ( "descriptor is NULL" );
JASSERT 202 plugin/ipc/event/util_descriptor.cpp JASSERT(descriptor != NULL).Text ( "descriptor is NULL" );
JASSERT 123 plugin/ipc/file/fileconnection.cpp JASSERT(rc == 1) (rc) (masterFd);
JASSERT 182 plugin/ipc/file/fileconnection.cpp JASSERT(rc < 0 || buf -(char *)origBuf > 0) (rc) (origBuf) ((void *)buf);
JASSERT 209 plugin/ipc/file/fileconnection.cpp JASSERT(rc != 0 && cum_count == count)
JASSERT 223 plugin/ipc/file/fileconnection.cpp JASSERT(rc < 0 || rc == sizeof(hdr)) (rc) (cum_count);
JASSERT 257 plugin/ipc/file/fileconnection.cpp JASSERT(_real_ptsname_r(fd, buf, sizeof(buf)) == 0) (JASSERT_ERRNO);
JASSERT 263 plugin/ipc/file/fileconnection.cpp JASSERT((strlen(buf) + strlen("v")) <= 20)
JASSERT 279 plugin/ipc/file/fileconnection.cpp JASSERT(strlen(buf) != 0) (path);
JASSERT 307 plugin/ipc/file/fileconnection.cpp JASSERT(numRead == numWritten) (numRead) (numWritten);
JASSERT 309 plugin/ipc/file/fileconnection.cpp JASSERT((_type == PTY_CTTY || _type == PTY_PARENT_CTTY) || _flags != -1);
JASSERT 324 plugin/ipc/file/fileconnection.cpp JASSERT(_ptsName.compare("?") != 0);
JASSERT 329 plugin/ipc/file/fileconnection.cpp JASSERT(strlen(buf) > 0) (_virtPtsName) (_ptsName);
JASSERT 340 plugin/ipc/file/fileconnection.cpp JASSERT(tempfd >= 0) (_virtPtsName) (_ptsName) (JASSERT_ERRNO)
JASSERT 360 plugin/ipc/file/fileconnection.cpp JASSERT(tempfd >= 0) (tempfd) (JASSERT_ERRNO)
JASSERT 371 plugin/ipc/file/fileconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 399 plugin/ipc/file/fileconnection.cpp JASSERT(tempfd >= 0) (tempfd) (controllingTty) (JASSERT_ERRNO)
JASSERT 422 plugin/ipc/file/fileconnection.cpp JASSERT("Controlling terminal and STDIN/OUT not found.");
JASSERT 439 plugin/ipc/file/fileconnection.cpp JASSERT(tempfd >= 0) (tempfd) (JASSERT_ERRNO)
JASSERT 442 plugin/ipc/file/fileconnection.cpp JASSERT(grantpt(tempfd) >= 0) (tempfd) (JASSERT_ERRNO);
JASSERT 443 plugin/ipc/file/fileconnection.cpp JASSERT(unlockpt(tempfd) >= 0) (tempfd) (JASSERT_ERRNO);
JASSERT 444 plugin/ipc/file/fileconnection.cpp JASSERT(_real_ptsname_r(tempfd, pts_name, 80) == 0)
JASSERT 474 plugin/ipc/file/fileconnection.cpp JASSERT(tempfd >= 0) (tempfd) (JASSERT_ERRNO)
JASSERT 481 plugin/ipc/file/fileconnection.cpp JASSERT(false) .Text("Should never reach here.");
JASSERT 534 plugin/ipc/file/fileconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 615 plugin/ipc/file/fileconnection.cpp JASSERT(_type != FILE_PROCFS && _type != FILE_INVALID);
JASSERT 616 plugin/ipc/file/fileconnection.cpp JASSERT(SharedData::getCkptLeaderForFile(_st_dev, _st_ino, &id));
JASSERT 619 plugin/ipc/file/fileconnection.cpp JASSERT(Util::createDirectoryTree(savedFilePath)) (savedFilePath)
JASSERT 624 plugin/ipc/file/fileconnection.cpp JASSERT(destFd != -1) (JASSERT_ERRNO) (_path) (savedFilePath);
JASSERT 631 plugin/ipc/file/fileconnection.cpp JASSERT(tmpfd != -1);
JASSERT 655 plugin/ipc/file/fileconnection.cpp JASSERT(savedFd != -1) (JASSERT_ERRNO) (savedFilePath);
JASSERT 671 plugin/ipc/file/fileconnection.cpp JASSERT(false) (_path) (savedFilePath) (errMsg);
JASSERT 681 plugin/ipc/file/fileconnection.cpp JASSERT(tempfd != -1) (_path) (JASSERT_ERRNO) .Text("open() failed");
JASSERT 682 plugin/ipc/file/fileconnection.cpp JASSERT(truncate(_path.c_str(), _st_size) == 0)
JASSERT 686 plugin/ipc/file/fileconnection.cpp JASSERT(jalib::Filesystem::FileExists(_path)) (_path)
JASSERT 693 plugin/ipc/file/fileconnection.cpp JASSERT(truncate(_path.c_str(), _st_size) == 0)
JASSERT 708 plugin/ipc/file/fileconnection.cpp JASSERT(lseek(_fds[0], _offset, SEEK_SET) == _offset)
JASSERT 757 plugin/ipc/file/fileconnection.cpp JASSERT(jalib::Filesystem::FileExists(newpath)) (_path) (newpath)
JASSERT 789 plugin/ipc/file/fileconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 795 plugin/ipc/file/fileconnection.cpp JASSERT(jalib::Filesystem::FileExists(savedFilePath))
JASSERT 799 plugin/ipc/file/fileconnection.cpp JASSERT(dmtcp_bq_restore_file);
JASSERT 805 plugin/ipc/file/fileconnection.cpp JASSERT(Util::createDirectoryTree(_path)) (_path)
JASSERT 817 plugin/ipc/file/fileconnection.cpp JASSERT(fd != -1 || errno == EEXIST) (_path) (JASSERT_ERRNO);
JASSERT 823 plugin/ipc/file/fileconnection.cpp JASSERT(srcFd != -1) (_path) (savedFilePath) (JASSERT_ERRNO)
JASSERT 843 plugin/ipc/file/fileconnection.cpp JASSERT (newOffset != -1) (JASSERT_ERRNO) .Text("lseek failed");
JASSERT 849 plugin/ipc/file/fileconnection.cpp JASSERT (-1 != lseek (myfd, -1, SEEK_CUR)) .Text("lseek failed");
JASSERT 856 plugin/ipc/file/fileconnection.cpp JASSERT(jalib::Filesystem::FileExists(_path)) (_path)
JASSERT 860 plugin/ipc/file/fileconnection.cpp JASSERT(fd != -1) (_path) (JASSERT_ERRNO) .Text("open() failed");
JASSERT 875 plugin/ipc/file/fileconnection.cpp JASSERT(_real_lseek(fd, 0, SEEK_SET) == 0) (fd) (JASSERT_ERRNO);
JASSERT 876 plugin/ipc/file/fileconnection.cpp JASSERT(_real_lseek(savedFd, 0, SEEK_SET) == 0) (savedFd) (JASSERT_ERRNO);
JASSERT 881 plugin/ipc/file/fileconnection.cpp JASSERT(readBytes != -1) (JASSERT_ERRNO) .Text("Read Failed");
JASSERT 883 plugin/ipc/file/fileconnection.cpp JASSERT(Util::readAll(fd, buf2, readBytes) == readBytes);
JASSERT 891 plugin/ipc/file/fileconnection.cpp JASSERT(_real_lseek(fd, offset1, SEEK_SET) != -1);
JASSERT 892 plugin/ipc/file/fileconnection.cpp JASSERT(_real_lseek(savedFd, offset2, SEEK_SET) != -1);
JASSERT 907 plugin/ipc/file/fileconnection.cpp JASSERT(_real_lseek(fd, 0, SEEK_SET) == 0) (fd) (JASSERT_ERRNO);
JASSERT 908 plugin/ipc/file/fileconnection.cpp JASSERT(_real_lseek(destFd, 0, SEEK_SET) == 0) (destFd) (JASSERT_ERRNO);
JASSERT 913 plugin/ipc/file/fileconnection.cpp JASSERT(readBytes != -1) (JASSERT_ERRNO) .Text("Read Failed");
JASSERT 916 plugin/ipc/file/fileconnection.cpp JASSERT(writtenBytes != -1) (JASSERT_ERRNO) .Text("Write failed.");
JASSERT 919 plugin/ipc/file/fileconnection.cpp JASSERT(_real_lseek(fd, offset, SEEK_SET) != -1);
JASSERT 947 plugin/ipc/file/fileconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 955 plugin/ipc/file/fileconnection.cpp JASSERT(ckptfd >= 0) (ckptfd) (JASSERT_ERRNO);
JASSERT 979 plugin/ipc/file/fileconnection.cpp JASSERT(ckptfd >= 0) (ckptfd) (JASSERT_ERRNO);
JASSERT 990 plugin/ipc/file/fileconnection.cpp JASSERT(ret ==(ssize_t)j) (JASSERT_ERRNO) (ret) (j) (_fds[0]) (i);
JASSERT 1000 plugin/ipc/file/fileconnection.cpp JASSERT(ret ==(ssize_t)j) (JASSERT_ERRNO) (ret) (j) (_fds[0]);
JASSERT 1024 plugin/ipc/file/fileconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 1048 plugin/ipc/file/fileconnection.cpp JASSERT(fd != -1) (_path) (JASSERT_ERRNO);
JASSERT 1086 plugin/ipc/file/fileconnection.cpp JASSERT(false);
JASSERT 1113 plugin/ipc/file/fileconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 1118 plugin/ipc/file/fileconnection.cpp JASSERT(fstat(_fds[0], &statbuf) != -1) (JASSERT_ERRNO);
JASSERT 1124 plugin/ipc/file/fileconnection.cpp JASSERT(mq_getattr(_fds[0], &attr) != -1) (JASSERT_ERRNO);
JASSERT 1131 plugin/ipc/file/fileconnection.cpp JASSERT(fd != -1) (_name) (JASSERT_ERRNO);
JASSERT 1138 plugin/ipc/file/fileconnection.cpp JASSERT(numBytes != -1) (JASSERT_ERRNO);
JASSERT 1149 plugin/ipc/file/fileconnection.cpp JASSERT(_real_mq_send(_fds[0], _msgInQueue[i].buffer(),
JASSERT 1158 plugin/ipc/file/fileconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 1166 plugin/ipc/file/fileconnection.cpp JASSERT(tempfd != -1) (JASSERT_ERRNO);
JASSERT 98 plugin/ipc/file/fileconnection.h JASSERT(jalib::Between(0, fd, 2)) (fd)
JASSERT 98 plugin/ipc/file/fileconnlist.cpp JASSERT(false);
JASSERT 258 plugin/ipc/file/fileconnlist.cpp JASSERT(fd != -1) (JASSERT_ERRNO) (area.name);
JASSERT 275 plugin/ipc/file/fileconnlist.cpp JASSERT(_real_mmap(area.addr, area.size, PROT_NONE,
JASSERT 283 plugin/ipc/file/fileconnlist.cpp JASSERT(Util::strEndsWith(area.name, DELETED_FILE_SUFFIX)) (area.name);
JASSERT 305 plugin/ipc/file/fileconnlist.cpp JASSERT(Util::createDirectoryTree(area.name)) (area.name)
JASSERT 318 plugin/ipc/file/fileconnlist.cpp JASSERT(fd != -1 || errno == EEXIST) (area.name);
JASSERT 322 plugin/ipc/file/fileconnlist.cpp JASSERT(fd != -1) (JASSERT_ERRNO);
JASSERT 326 plugin/ipc/file/fileconnlist.cpp JASSERT(lseek(fd, area.offset, SEEK_SET) == area.offset) (JASSERT_ERRNO);
JASSERT 328 plugin/ipc/file/fileconnlist.cpp JASSERT(Util::writeAll(fd, area.addr, area.size) == (ssize_t)area.size)
JASSERT 339 plugin/ipc/file/fileconnlist.cpp JASSERT(fd != -1) (area.name) (JASSERT_ERRNO);
JASSERT 344 plugin/ipc/file/fileconnlist.cpp JASSERT(addr != MAP_FAILED) (area.flags) (area.prot) (JASSERT_ERRNO)
JASSERT 359 plugin/ipc/file/fileconnlist.cpp JASSERT(addr != MAP_FAILED) (area->flags) (area->prot) (JASSERT_ERRNO) .Text("mmap failed");
JASSERT 379 plugin/ipc/file/fileconnlist.cpp JASSERT(fstat(fd, &statbuf) == 0);
JASSERT 455 plugin/ipc/file/fileconnlist.cpp JASSERT(fstat(fd, &statbuf) == 0);
JASSERT 472 plugin/ipc/file/fileconnlist.cpp JASSERT(false) .Text("Not Implemented");
JASSERT 498 plugin/ipc/file/fileconnlist.cpp JASSERT(false) (path) .Text("Unimplemented file type.");
JASSERT 231 plugin/ipc/file/filewrappers.cpp JASSERT(buflen <= nreal) (buflen) (nreal) .Text("Buffer Overflow detected!");
JASSERT 248 plugin/ipc/file/filewrappers.cpp JASSERT(c != NULL) (fd) (tmpbuf);
JASSERT 700 plugin/ipc/file/filewrappers.cpp JASSERT(strlen(path) < PATH_MAX);
JASSERT 137 plugin/ipc/file/posixipcwrappers.cpp JASSERT(clock_gettime(CLOCK_REALTIME, &ts) != -1);
JASSERT 151 plugin/ipc/file/posixipcwrappers.cpp JASSERT(clock_gettime(CLOCK_REALTIME, &ts) != -1);
JASSERT 167 plugin/ipc/file/posixipcwrappers.cpp JASSERT(clock_gettime(CLOCK_REALTIME, &ts) != -1);
JASSERT 192 plugin/ipc/file/posixipcwrappers.cpp JASSERT(clock_gettime(CLOCK_REALTIME, &ts) != -1);
JASSERT 47 plugin/ipc/socket/connectionrewirer.cpp JASSERT(flags != -1);
JASSERT 48 plugin/ipc/socket/connectionrewirer.cpp JASSERT(_real_fcntl(sockfd, F_SETFL,
JASSERT 56 plugin/ipc/socket/connectionrewirer.cpp JASSERT(flags != -1);
JASSERT 57 plugin/ipc/socket/connectionrewirer.cpp JASSERT(_real_fcntl(sockfd, F_SETFL,
JASSERT 89 plugin/ipc/socket/connectionrewirer.cpp JASSERT(fd != -1) (JASSERT_ERRNO) .Text("Accept failed.");
JASSERT 91 plugin/ipc/socket/connectionrewirer.cpp JASSERT(Util::readAll(fd, &id, sizeof id) == sizeof id);
JASSERT 94 plugin/ipc/socket/connectionrewirer.cpp JASSERT(i != conList->end()) (id)
JASSERT 113 plugin/ipc/socket/connectionrewirer.cpp JASSERT(_real_connect(fd, (sockaddr*) &remoteAddr.addr, remoteAddr.len)
JASSERT 164 plugin/ipc/socket/connectionrewirer.cpp JASSERT(restoreSocket.isValid());
JASSERT 181 plugin/ipc/socket/connectionrewirer.cpp JASSERT(ip6fd != -1) (JASSERT_ERRNO);
JASSERT 187 plugin/ipc/socket/connectionrewirer.cpp JASSERT(_real_bind(ip6fd, (struct sockaddr*) &_ip6RestoreAddr,
JASSERT 190 plugin/ipc/socket/connectionrewirer.cpp JASSERT(getsockname(ip6fd, (struct sockaddr*)&_ip6RestoreAddr,
JASSERT 193 plugin/ipc/socket/connectionrewirer.cpp JASSERT(_real_listen(ip6fd, 32) == 0) (JASSERT_ERRNO);
JASSERT 206 plugin/ipc/socket/connectionrewirer.cpp JASSERT(udsfd != -1);
JASSERT 211 plugin/ipc/socket/connectionrewirer.cpp JASSERT(_real_bind(udsfd, (struct sockaddr*) &_udsRestoreAddr,
JASSERT 214 plugin/ipc/socket/connectionrewirer.cpp JASSERT(_real_listen(udsfd, 32) == 0) (JASSERT_ERRNO);
JASSERT 228 plugin/ipc/socket/connectionrewirer.cpp JASSERT(domain == AF_INET || domain == AF_INET6 || domain == AF_UNIX)
JASSERT 242 plugin/ipc/socket/connectionrewirer.cpp JASSERT(false) .Text("Not implemented");
JASSERT 271 plugin/ipc/socket/connectionrewirer.cpp JASSERT(theRewirer != NULL);
JASSERT 39 plugin/ipc/socket/kernelbufferdrainer.cpp JASSERT(getsockopt(fd, SOL_SOCKET, SO_SNDBUF, (void *)&size, &len) == 0);
JASSERT 45 plugin/ipc/socket/kernelbufferdrainer.cpp JASSERT(_real_setsockopt(fd, SOL_SOCKET, SO_SNDBUF, (void *)&newSize, len) == 0);
JASSERT 135 plugin/ipc/socket/kernelbufferdrainer.cpp JASSERT(_real_socketpair(AF_UNIX, SOCK_STREAM, 0, sp) == 0)
JASSERT 137 plugin/ipc/socket/kernelbufferdrainer.cpp JASSERT(sp[0] >= 0 && sp[1] >= 0) (sp[0]) (sp[1])
JASSERT 219 plugin/ipc/socket/kernelbufferdrainer.cpp JASSERT(_disconnectedSockets.find(id) != _disconnectedSockets.end()) (id);
JASSERT 56 plugin/ipc/socket/socketconnection.cpp JASSERT(_real_socketpair(AF_UNIX, SOCK_STREAM, 0, sp) == 0) (JASSERT_ERRNO)
JASSERT 58 plugin/ipc/socket/socketconnection.cpp JASSERT(sp[0]>=0 && sp[1]>=0) (sp[0]) (sp[1])
JASSERT 61 plugin/ipc/socket/socketconnection.cpp JASSERT(Util::writeAll(sp[1], refillData, len) == len);
JASSERT 97 plugin/ipc/socket/socketconnection.cpp JASSERT(ret == 0) (JASSERT_ERRNO) (fds[0])
JASSERT 221 plugin/ipc/socket/socketconnection.cpp JASSERT(saddr != NULL);
JASSERT 241 plugin/ipc/socket/socketconnection.cpp JASSERT(mpispawnPort != 0).Text("PMI_PORT not found");
JASSERT 282 plugin/ipc/socket/socketconnection.cpp JASSERT(len <= sizeof _bindAddr) (len) (sizeof _bindAddr)
JASSERT 291 plugin/ipc/socket/socketconnection.cpp JASSERT(getsockname(_fds[0], (struct sockaddr *)&_bindAddr, &_bindAddrlen) == 0)
JASSERT 311 plugin/ipc/socket/socketconnection.cpp JASSERT(_type == TCP_BIND) (_type) (id())
JASSERT 368 plugin/ipc/socket/socketconnection.cpp JASSERT(_fds.size() > 0) (id());
JASSERT 375 plugin/ipc/socket/socketconnection.cpp JASSERT(fcntl(_fds[0],F_SETFL,_fcntlFlags & ~O_ASYNC) == 0)
JASSERT 449 plugin/ipc/socket/socketconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 481 plugin/ipc/socket/socketconnection.cpp JASSERT(fd != -1) (JASSERT_ERRNO);
JASSERT 527 plugin/ipc/socket/socketconnection.cpp JASSERT(ret == 0) (JASSERT_ERRNO) (_fds[0]) (lvl->first)
JASSERT 555 plugin/ipc/socket/socketconnection.cpp JASSERT(!_remotePeerId.isNull()) (id()) (_remotePeerId) (_fds[0])
JASSERT 570 plugin/ipc/socket/socketconnection.cpp JASSERT(fd != -1) (JASSERT_ERRNO);
JASSERT 610 plugin/ipc/socket/socketconnection.cpp JASSERT(msg.coordId == coordId) (msg.coordId) (coordId)
JASSERT 617 plugin/ipc/socket/socketconnection.cpp JASSERT(!_remotePeerId.isNull())
JASSERT 621 plugin/ipc/socket/socketconnection.cpp JASSERT(_remotePeerId == msg.from)
JASSERT 643 plugin/ipc/socket/socketconnection.cpp JASSERT(type == -1 ||(type & SOCK_RAW));
JASSERT 644 plugin/ipc/socket/socketconnection.cpp JASSERT(domain == -1 || domain == AF_NETLINK) (domain)
JASSERT 651 plugin/ipc/socket/socketconnection.cpp JASSERT(_fds.size() > 0) (id());
JASSERT 658 plugin/ipc/socket/socketconnection.cpp JASSERT(fcntl(_fds[0], F_SETFL, _fcntlFlags & ~O_ASYNC) == 0)
JASSERT 675 plugin/ipc/socket/socketconnection.cpp JASSERT(_fds.size() > 0);
JASSERT 681 plugin/ipc/socket/socketconnection.cpp JASSERT(sockfd != -1);
JASSERT 30 plugin/ipc/socket/socketconnlist.cpp JASSERT(false);
JASSERT 61 plugin/ipc/socket/socketwrappers.cpp JASSERT(domain == AF_NETLINK) (domain) (type)
JASSERT 169 plugin/ipc/socket/socketwrappers.cpp JASSERT(ret != -1);
JASSERT 268 plugin/ipc/socket/socketwrappers.cpp JASSERT(sv != NULL);
JASSERT 62 plugin/ipc/ssh/ssh.cpp JASSERT(theDrainer == NULL);
JASSERT 99 plugin/ipc/ssh/ssh.cpp JASSERT(data == fd) (data) (fd);
JASSERT 115 plugin/ipc/ssh/ssh.cpp JASSERT(sock.isValid());
JASSERT 118 plugin/ipc/ssh/ssh.cpp JASSERT(_real_bind(SSHD_RECEIVE_FD,
JASSERT 123 plugin/ipc/ssh/ssh.cpp JASSERT(getsockname(SSHD_RECEIVE_FD,
JASSERT 129 plugin/ipc/ssh/ssh.cpp JASSERT(ret == sizeof(fdReceiveAddrLen)) (sshSockFd) (ret) (JASSERT_ERRNO);
JASSERT 131 plugin/ipc/ssh/ssh.cpp JASSERT(ret == (ssize_t) fdReceiveAddrLen);
JASSERT 149 plugin/ipc/ssh/ssh.cpp JASSERT(ret == sizeof(addrLen));
JASSERT 152 plugin/ipc/ssh/ssh.cpp JASSERT(ret == (ssize_t) addrLen);
JASSERT 153 plugin/ipc/ssh/ssh.cpp JASSERT(strlen(&addr.sun_path[1]) < sizeof(abstractSockName));
JASSERT 159 plugin/ipc/ssh/ssh.cpp JASSERT(getpeername(sshSockFd, (struct sockaddr*)&sshdSockAddr,
JASSERT 169 plugin/ipc/ssh/ssh.cpp JASSERT(pipe(in) == 0) (JASSERT_ERRNO);
JASSERT 170 plugin/ipc/ssh/ssh.cpp JASSERT(pipe(out) == 0) (JASSERT_ERRNO);
JASSERT 171 plugin/ipc/ssh/ssh.cpp JASSERT(pipe(err) == 0) (JASSERT_ERRNO);
JASSERT 174 plugin/ipc/ssh/ssh.cpp JASSERT(sshChildPid != -1);
JASSERT 191 plugin/ipc/ssh/ssh.cpp JASSERT(idx < max_args) (idx);
JASSERT 202 plugin/ipc/ssh/ssh.cpp JASSERT(false);
JASSERT 297 plugin/ipc/ssh/ssh.cpp JASSERT(commandStart < nargs && argv[commandStart][0] != '-')
JASSERT 381 plugin/ipc/ssh/ssh.cpp JASSERT(gethostname(hostname, sizeof hostname) == 0) (JASSERT_ERRNO);
JASSERT 413 plugin/ipc/ssh/ssh.cpp JASSERT(sizeof localhostIPAddr == sizeof s->sin_addr);
JASSERT 17 plugin/ipc/ssh/sshdrainer.cpp JASSERT(false) .Text("Not Implemented!");
JASSERT 40 plugin/ipc/ssh/sshdrainer.cpp JASSERT(false) .Text("Not Implemented!");
JASSERT 86 plugin/pid/pid.cpp JASSERT(data != NULL);
JASSERT 93 plugin/pid/pid.cpp JASSERT(data != NULL);
JASSERT 123 plugin/pid/pid.cpp JASSERT(false)(name)(strerror(errno)).Text("Cannot open file");
JASSERT 139 plugin/pid/pid.cpp JASSERT (fd != -1);
JASSERT 140 plugin/pid/pid.cpp JASSERT (dup2 (fd, PROTECTED_PIDMAP_FD) == PROTECTED_PIDMAP_FD)
JASSERT 214 plugin/pid/pid_filewrappers.cpp JASSERT(ret < bufsiz)(ret)(bufsiz)(buf)(newpath);
JASSERT 217 plugin/pid/pid_filewrappers.cpp JASSERT(strlen(newpath) < bufsiz)(newpath)(bufsiz);
JASSERT 138 plugin/pid/pidwrappers.cpp JASSERT(_real_gettid() == _real_getpid()) (_real_gettid()) (_real_getpid());
JASSERT 72 plugin/pid/virtualpidtable.cpp JASSERT(getpid() != -1);
JASSERT 93 plugin/pid/virtualpidtable.cpp JASSERT(VirtualIdTable<pid_t>::getNewVirtualId(&tid))
JASSERT 163 plugin/svipc/sysvipc.cpp JASSERT(_real_pthread_mutex_lock(&tblLock) == 0) (JASSERT_ERRNO);
JASSERT 168 plugin/svipc/sysvipc.cpp JASSERT(_real_pthread_mutex_unlock(&tblLock) == 0) (JASSERT_ERRNO);
JASSERT 340 plugin/svipc/sysvipc.cpp JASSERT(_virtIdTable.getNewVirtualId(&id)) (_virtIdTable.size())
JASSERT 363 plugin/svipc/sysvipc.cpp JASSERT(_map.find(shmid) == _map.end());
JASSERT 370 plugin/svipc/sysvipc.cpp JASSERT(_map.find(shmid) != _map.end());
JASSERT 388 plugin/svipc/sysvipc.cpp JASSERT(shmaddr == NULL || shmaddr == newaddr);
JASSERT 396 plugin/svipc/sysvipc.cpp JASSERT(shmid != -1) (shmaddr)
JASSERT 431 plugin/svipc/sysvipc.cpp JASSERT(_map.find(semid) == _map.end());
JASSERT 437 plugin/svipc/sysvipc.cpp JASSERT(_map.find(semid) != _map.end());
JASSERT 446 plugin/svipc/sysvipc.cpp JASSERT(_map[semid]->isStale()) (semid);
JASSERT 475 plugin/svipc/sysvipc.cpp JASSERT(_map.find(msqid) == _map.end());
JASSERT 481 plugin/svipc/sysvipc.cpp JASSERT(_map.find(msqid) != _map.end());
JASSERT 490 plugin/svipc/sysvipc.cpp JASSERT(_map[msqid]->isStale()) (msqid);
JASSERT 539 plugin/svipc/sysvipc.cpp JASSERT(_real_shmctl(_realId, IPC_STAT, &shminfo) != -1);
JASSERT 554 plugin/svipc/sysvipc.cpp JASSERT(isValidShmaddr(shmaddr));
JASSERT 570 plugin/svipc/sysvipc.cpp JASSERT (errno == EIDRM || errno == EINVAL);
JASSERT 571 plugin/svipc/sysvipc.cpp JASSERT(_shmaddrToFlag.empty());
JASSERT 585 plugin/svipc/sysvipc.cpp JASSERT(addr != (void*) -1) (_id) (JASSERT_ERRNO)
JASSERT 588 plugin/svipc/sysvipc.cpp JASSERT(_real_shmdt(addr) == 0) (_id) (addr) (JASSERT_ERRNO);
JASSERT 594 plugin/svipc/sysvipc.cpp JASSERT(_real_shmctl(_realId, IPC_STAT, &info) != -1);
JASSERT 605 plugin/svipc/sysvipc.cpp JASSERT(addr != (void*) -1);
JASSERT 623 plugin/svipc/sysvipc.cpp JASSERT(_real_shmdt(i->first) == 0);
JASSERT 629 plugin/svipc/sysvipc.cpp JASSERT(mmap((void*) i->first, _size,
JASSERT 640 plugin/svipc/sysvipc.cpp JASSERT(_realId != -1);
JASSERT 644 plugin/svipc/sysvipc.cpp JASSERT(_isCkptLeader);
JASSERT 647 plugin/svipc/sysvipc.cpp JASSERT(tmpaddr != (void*) -1) (_realId)(JASSERT_ERRNO);
JASSERT 649 plugin/svipc/sysvipc.cpp JASSERT(_real_shmdt(tmpaddr) == 0);
JASSERT 653 plugin/svipc/sysvipc.cpp JASSERT (_real_shmat(_realId, i->first, i->second) != (void *) -1)
JASSERT 680 plugin/svipc/sysvipc.cpp JASSERT(munmap((void*) i->first, _size) == 0);
JASSERT 683 plugin/svipc/sysvipc.cpp JASSERT (_real_shmat(_realId, i->first, i->second) != (void *) -1)
JASSERT 706 plugin/svipc/sysvipc.cpp JASSERT(_real_semctl(realSemid, 0, IPC_STAT, se) != -1) (JASSERT_ERRNO);
JASSERT 733 plugin/svipc/sysvipc.cpp JASSERT (errno == EIDRM || errno == EINVAL);
JASSERT 748 plugin/svipc/sysvipc.cpp JASSERT(_realId != -1);
JASSERT 762 plugin/svipc/sysvipc.cpp JASSERT(_real_semtimedop(_realId, &sops, 1, NULL) == 0) (JASSERT_ERRNO) (_id);
JASSERT 772 plugin/svipc/sysvipc.cpp JASSERT(_real_semctl(_realId, 0, GETALL, info) != -1);
JASSERT 785 plugin/svipc/sysvipc.cpp JASSERT(_realId != -1) (JASSERT_ERRNO);
JASSERT 790 plugin/svipc/sysvipc.cpp JASSERT(_real_semctl(_realId, 0, SETALL, info) != -1);
JASSERT 807 plugin/svipc/sysvipc.cpp JASSERT(_realId != -1);
JASSERT 813 plugin/svipc/sysvipc.cpp JASSERT(_real_semop(_realId, &sops, 1) == 0);
JASSERT 817 plugin/svipc/sysvipc.cpp JASSERT(_real_semop(_realId, &sops, 1) == 0);
JASSERT 831 plugin/svipc/sysvipc.cpp JASSERT(_real_msgctl(realMsqid, IPC_STAT, &buf) == 0) (_id) (JASSERT_ERRNO);
JASSERT 843 plugin/svipc/sysvipc.cpp JASSERT (errno == EIDRM || errno == EINVAL);
JASSERT 854 plugin/svipc/sysvipc.cpp JASSERT(_real_msgctl(_realId, IPC_STAT, &buf) == 0) (_id) (JASSERT_ERRNO);
JASSERT 869 plugin/svipc/sysvipc.cpp JASSERT(_real_msgsnd(_realId, &msg, 0, IPC_NOWAIT) == 0) (_id) (JASSERT_ERRNO);
JASSERT 877 plugin/svipc/sysvipc.cpp JASSERT(_real_msgctl(_realId, IPC_STAT, &buf) == 0) (_id) (JASSERT_ERRNO);
JASSERT 886 plugin/svipc/sysvipc.cpp JASSERT(numBytes != -1) (_id) (JASSERT_ERRNO);
JASSERT 890 plugin/svipc/sysvipc.cpp JASSERT(_msgInQueue.size() == _qnum) (_qnum);
JASSERT 902 plugin/svipc/sysvipc.cpp JASSERT(_realId != -1) (JASSERT_ERRNO);
JASSERT 904 plugin/svipc/sysvipc.cpp JASSERT(_msgInQueue.size() == _qnum) (_msgInQueue.size()) (_qnum);
JASSERT 912 plugin/svipc/sysvipc.cpp JASSERT(_real_msgctl(_realId, IPC_STAT, &buf) == 0) (_id) (JASSERT_ERRNO);
JASSERT 921 plugin/svipc/sysvipc.cpp JASSERT(buf.msg_qnum == 0);
JASSERT 925 plugin/svipc/sysvipc.cpp JASSERT(_real_msgsnd(_realId, _msgInQueue[i].buffer(),
JASSERT 68 plugin/svipc/sysvipcwrappers.cpp JASSERT(realShmid != -1) .Text("Not Implemented");
JASSERT 93 plugin/svipc/sysvipcwrappers.cpp JASSERT((long)ret % 0x4000 == 0)
JASSERT 127 plugin/svipc/sysvipcwrappers.cpp JASSERT(realShmid != -1);
JASSERT 181 plugin/svipc/sysvipcwrappers.cpp JASSERT(realId != -1);
JASSERT 198 plugin/svipc/sysvipcwrappers.cpp JASSERT(realId != -1);
JASSERT 228 plugin/svipc/sysvipcwrappers.cpp JASSERT(realId != -1);
JASSERT 272 plugin/svipc/sysvipcwrappers.cpp JASSERT(realId != -1);
JASSERT 288 plugin/svipc/sysvipcwrappers.cpp JASSERT(false) .Text("Not Reached");
JASSERT 306 plugin/svipc/sysvipcwrappers.cpp JASSERT(realId != -1);
JASSERT 322 plugin/svipc/sysvipcwrappers.cpp JASSERT(false) .Text("Not Reached");
JASSERT 332 plugin/svipc/sysvipcwrappers.cpp JASSERT(realId != -1);
JASSERT 91 plugin/timer/timer_create.cpp JASSERT(evp == NULL || evp->sigev_notify == SIGEV_THREAD);
JASSERT 262 plugin/timer/timer_create.cpp JASSERT(res == 0);
JASSERT 33 plugin/timer/timerlist.cpp JASSERT(_real_pthread_mutex_lock(&timerLock) == 0) (JASSERT_ERRNO);
JASSERT 38 plugin/timer/timerlist.cpp JASSERT(_real_pthread_mutex_unlock(&timerLock) == 0) (JASSERT_ERRNO);
JASSERT 130 plugin/timer/timerlist.cpp JASSERT(_real_timer_gettime(realId, &tinfo.curr_timerspec) == 0)
JASSERT 144 plugin/timer/timerlist.cpp JASSERT(_real_clock_getcpuclockid(pid, &realId) == 0) (pid) (JASSERT_ERRNO);
JASSERT 153 plugin/timer/timerlist.cpp JASSERT(_real_pthread_getcpuclockid(pth, &realId) == 0) (pth)
JASSERT 168 plugin/timer/timerlist.cpp JASSERT(_real_timer_create(clockid, sevp, &realId) == 0)
JASSERT 185 plugin/timer/timerlist.cpp JASSERT(_real_timer_settime(realId, tinfo.flags, &tspec, NULL) == 0)
JASSERT 195 plugin/timer/timerlist.cpp JASSERT(_timerInfo.find(id) != _timerInfo.end());
JASSERT 208 plugin/timer/timerlist.cpp JASSERT(!_timerVirtIdTable.realIdExists(realId)) (realId);
JASSERT 210 plugin/timer/timerlist.cpp JASSERT(_timerVirtIdTable.getNewVirtualId(&virtId));
JASSERT 231 plugin/timer/timerlist.cpp JASSERT(_timerInfo.find(timerid) != _timerInfo.end());
JASSERT 240 plugin/timer/timerlist.cpp JASSERT(_timerInfo.find(timerid) != _timerInfo.end());
JASSERT 253 plugin/timer/timerlist.cpp JASSERT(_clockVirtIdTable.getNewVirtualId(&virtId));
JASSERT 268 plugin/timer/timerlist.cpp JASSERT(_clockVirtIdTable.getNewVirtualId(&virtId));
JASSERT 35 popen.cpp JASSERT(_real_pthread_mutex_lock(&popen_map_lock) == 0) (JASSERT_ERRNO);
JASSERT 40 popen.cpp JASSERT(_real_pthread_mutex_unlock(&popen_map_lock) == 0) (JASSERT_ERRNO);
JASSERT 45 processinfo.cpp JASSERT(_real_pthread_mutex_lock(&tblLock) == 0) (JASSERT_ERRNO);
JASSERT 50 processinfo.cpp JASSERT(_real_pthread_mutex_unlock(&tblLock) == 0) (JASSERT_ERRNO);
JASSERT 125 processinfo.cpp JASSERT(getcwd(buf, sizeof buf) != NULL);
JASSERT 152 processinfo.cpp JASSERT(getrlimit(RLIMIT_STACK, &rlim) == 0) (JASSERT_ERRNO);
JASSERT 203 processinfo.cpp JASSERT(stackArea.addr != NULL);
JASSERT 209 processinfo.cpp JASSERT(tmpbuf != NULL) (JASSERT_ERRNO);
JASSERT 253 processinfo.cpp JASSERT(addr != MAP_FAILED) (JASSERT_ERRNO);
JASSERT 255 processinfo.cpp JASSERT(mprotect((void*)_restoreBufAddr, _restoreBufLen, PROT_NONE) == 0)
JASSERT 323 processinfo.cpp JASSERT(mremap((void*) _savedHeapStart, oldsize, newsize, 0) != NULL)
JASSERT 336 processinfo.cpp JASSERT(mprotect((void*)_restoreBufAddr, _restoreBufLen, PROT_NONE) == 0)
JASSERT 343 processinfo.cpp JASSERT(ckptDir.length() > 0);
JASSERT 453 processinfo.cpp JASSERT(filename != NULL);
JASSERT 473 processinfo.cpp JASSERT(dir != NULL);
JASSERT 485 processinfo.cpp JASSERT(_pid == getpid()) (_pid) (getpid());
JASSERT 517 processinfo.cpp JASSERT(getcwd(buf, sizeof buf) != NULL);
JASSERT 559 processinfo.cpp JASSERT(!_noCoordinator || _numPeers == 1) (_noCoordinator) (_numPeers);
JASSERT 25 procname.cpp JASSERT(_real_pthread_mutex_lock(&prgNameMapLock) == 0) (JASSERT_ERRNO);
JASSERT 30 procname.cpp JASSERT(_real_pthread_mutex_unlock(&prgNameMapLock) == 0) (JASSERT_ERRNO);
JASSERT 76 procname.cpp JASSERT(errno == EINVAL) (JASSERT_ERRNO)
JASSERT 100 procname.cpp JASSERT(errno == EINVAL) (prgName) (JASSERT_ERRNO)
JASSERT 39 procselfmaps.cpp JASSERT(fd != -1) (JASSERT_ERRNO);
JASSERT 54 procselfmaps.cpp JASSERT(lseek(fd, 0, SEEK_SET) == 0);
JASSERT 57 procselfmaps.cpp JASSERT(numBytes > 0) (numBytes);
JASSERT 61 procselfmaps.cpp JASSERT(numBytes < size) (numBytes) (size);
JASSERT 64 procselfmaps.cpp JASSERT(isValidData());
JASSERT 137 procselfmaps.cpp JASSERT(area->addr != NULL);
JASSERT 139 procselfmaps.cpp JASSERT(data[dataIdx++] == '-');
JASSERT 142 procselfmaps.cpp JASSERT(area->endAddr != NULL);
JASSERT 144 procselfmaps.cpp JASSERT(data[dataIdx++] == ' ');
JASSERT 146 procselfmaps.cpp JASSERT(area->endAddr >= area->addr);
JASSERT 150 procselfmaps.cpp JASSERT((rflag == 'r') || (rflag == '-'));
JASSERT 153 procselfmaps.cpp JASSERT((wflag == 'w') || (wflag == '-'));
JASSERT 156 procselfmaps.cpp JASSERT((xflag == 'x') || (xflag == '-'));
JASSERT 159 procselfmaps.cpp JASSERT((sflag == 's') || (sflag == 'p'));
JASSERT 161 procselfmaps.cpp JASSERT(data[dataIdx++] == ' ');
JASSERT 164 procselfmaps.cpp JASSERT(data[dataIdx++] == ' ');
JASSERT 167 procselfmaps.cpp JASSERT(data[dataIdx++] == ':');
JASSERT 170 procselfmaps.cpp JASSERT(data[dataIdx++] == ' ');
JASSERT 186 procselfmaps.cpp JASSERT(i < sizeof(area->name));
JASSERT 191 procselfmaps.cpp JASSERT(data[dataIdx++] == '\n');
JASSERT 73 shareddata.cpp JASSERT(tmpDir && installDir && compId && coordInfo && localIPAddr);
JASSERT 76 shareddata.cpp JASSERT(lseek(PROTECTED_SHM_FD, size, SEEK_SET) == size)
JASSERT 108 shareddata.cpp JASSERT(strlen(tmpDir) < sizeof(sharedDataHeader->tmpDir) - 1) (tmpDir);
JASSERT 111 shareddata.cpp JASSERT(strlen(installDir) < sizeof(sharedDataHeader->installDir) - 1)
JASSERT 134 shareddata.cpp JASSERT((coordInfo != NULL && localIPAddr != NULL) ||
JASSERT 137 shareddata.cpp JASSERT(tmpDir != NULL);
JASSERT 148 shareddata.cpp JASSERT(fd != -1) (JASSERT_ERRNO);
JASSERT 149 shareddata.cpp JASSERT(_real_dup2(fd, PROTECTED_SHM_FD) == PROTECTED_SHM_FD)
JASSERT 158 shareddata.cpp JASSERT(addr != MAP_FAILED) (JASSERT_ERRNO)
JASSERT 176 shareddata.cpp JASSERT(fstat(PROTECTED_SHM_FD, &statbuf) != -1) (JASSERT_ERRNO);
JASSERT 188 shareddata.cpp JASSERT(false) (sharedDataHeader->versionStr) (SHM_VERSION_STR)
JASSERT 210 shareddata.cpp JASSERT(_real_munmap(sharedDataHeader, size) == 0) (JASSERT_ERRNO);
JASSERT 240 shareddata.cpp JASSERT(sharedDataHeader->tmpDir[0] != '\0');
JASSERT 247 shareddata.cpp JASSERT(sharedDataHeader->tmpDir[0] != '\0');
JASSERT 293 shareddata.cpp JASSERT(addr != NULL);
JASSERT 301 shareddata.cpp JASSERT(in != NULL);
JASSERT 310 shareddata.cpp JASSERT(in != NULL);
JASSERT 318 shareddata.cpp JASSERT(sharedDataHeader->dlsymOffset == 0 ||
JASSERT 322 shareddata.cpp JASSERT(sharedDataHeader->dlsymOffset_m32 == 0 ||
JASSERT 367 shareddata.cpp JASSERT(sharedDataHeader->numPidMaps < MAX_PID_MAPS);
JASSERT 399 shareddata.cpp JASSERT(false) (type) .Text("Unknown IPC-Id type.");
JASSERT 435 shareddata.cpp JASSERT(false) (type) .Text("Unknown IPC-Id type.");
JASSERT 445 shareddata.cpp JASSERT(*nmaps < MAX_IPC_ID_MAPS);
JASSERT 482 shareddata.cpp JASSERT(sharedDataHeader->numPtraceIdMaps < MAX_PTRACE_ID_MAPS);
JASSERT 493 shareddata.cpp JASSERT(sharedDataHeader->nextVirtualPtyId != (unsigned) -1);
JASSERT 499 shareddata.cpp JASSERT(sharedDataHeader->numPtyNameMaps < MAX_PTY_NAME_MAPS);
JASSERT 501 shareddata.cpp JASSERT(strlen(real) < PTS_PATH_MAX);
JASSERT 502 shareddata.cpp JASSERT(virt.length() < PTS_PATH_MAX);
JASSERT 505 shareddata.cpp JASSERT(len > virt.length());
JASSERT 517 shareddata.cpp JASSERT(strlen(sharedDataHeader->ptyNameMap[i].real) < len);
JASSERT 532 shareddata.cpp JASSERT(strlen(sharedDataHeader->ptyNameMap[i].virt) < len);
JASSERT 545 shareddata.cpp JASSERT(strlen(virt) < PTS_PATH_MAX);
JASSERT 546 shareddata.cpp JASSERT(strlen(real) < PTS_PATH_MAX);
JASSERT 590 shareddata.cpp JASSERT(id != NULL);
JASSERT 70 siginfo.cpp JASSERT(_real_sigaction(STOPSIGNAL, &act, &old_act) != -1) (JASSERT_ERRNO)
JASSERT 75 siginfo.cpp JASSERT(false) (STOPSIGNAL) (old_act.sa_handler)
JASSERT 103 siginfo.cpp JASSERT(_real_sigaction(STOPSIGNAL, &act, &old_act) != -1) (JASSERT_ERRNO)
JASSERT 106 siginfo.cpp JASSERT(_real_sigaction(STOPSIGNAL, &old_act, NULL) != -1) (JASSERT_ERRNO)
JASSERT 113 siginfo.cpp JASSERT(errno == EINVAL) (sig) (JASSERT_ERRNO)
JASSERT 138 siginfo.cpp JASSERT(_real_sigaction(sig, &sigactions[sig], NULL) == 0 || errno == EINVAL)
JASSERT 54 signalwrappers.cpp JASSERT(_real_pthread_sigmask(SIG_UNBLOCK, &set, NULL) == 0)
JASSERT 84 signalwrappers.cpp JASSERT(mask != NULL);
JASSERT 69 syslogwrappers.cpp JASSERT ( !_isSuspended );
JASSERT 82 syslogwrappers.cpp JASSERT ( _option>=0 && _facility>=0 ) ( _option ) ( _facility );
JASSERT 95 syslogwrappers.cpp JASSERT ( !_isSuspended );
JASSERT 110 syslogwrappers.cpp JASSERT ( !_isSuspended );
JASSERT 84 threadlist.cpp JASSERT(_real_pthread_mutex_lock(&threadlistLock) == 0) (JASSERT_ERRNO);
JASSERT 87 threadlist.cpp JASSERT(_real_pthread_mutex_unlock(&threadlistLock) == 0) (JASSERT_ERRNO);
JASSERT 164 threadlist.cpp JASSERT(pthread_create(&checkpointhreadid, NULL, checkpointhread, NULL) == 0);
JASSERT 314 threadlist.cpp JASSERT(pthread_sigmask(SIG_SETMASK, &set, NULL) == 0);
JASSERT 324 threadlist.cpp JASSERT(sigsetjmp(ckptThread->jmpbuf, 1) >= 0) (JASSERT_ERRNO);
JASSERT 326 threadlist.cpp JASSERT(getcontext(&ckptThread->savctx) == 0) (JASSERT_ERRNO);
JASSERT 356 threadlist.cpp JASSERT(_real_pthread_rwlock_wrlock(threadResumeLock) == 0) (JASSERT_ERRNO);
JASSERT 412 threadlist.cpp JASSERT(_real_pthread_rwlock_unlock(threadResumeLock) == 0) (JASSERT_ERRNO);
JASSERT 444 threadlist.cpp JASSERT(errno == ESRCH) (JASSERT_ERRNO) (thread->tid)
JASSERT 455 threadlist.cpp JASSERT(ret == 0 || errno == ESRCH);
JASSERT 481 threadlist.cpp JASSERT(false);
JASSERT 492 threadlist.cpp JASSERT(activeThreads != NULL);
JASSERT 538 threadlist.cpp JASSERT(sigsetjmp(curThread->jmpbuf, 1) >= 0);
JASSERT 540 threadlist.cpp JASSERT(getcontext(&curThread->savctx) == 0);
JASSERT 561 threadlist.cpp JASSERT(Thread_UpdateState(curThread, ST_SUSPENDED, ST_SUSPINPROG));
JASSERT 583 threadlist.cpp JASSERT(_real_pthread_rwlock_rdlock(threadResumeLock) == 0)
JASSERT 585 threadlist.cpp JASSERT(_real_pthread_rwlock_unlock(threadResumeLock) == 0)
JASSERT 595 threadlist.cpp JASSERT(Thread_UpdateState(curThread, ST_RUNNING, ST_SUSPENDED));
JASSERT 707 threadlist.cpp JASSERT (tid > 0); // (JASSERT_ERRNO) .Text("Error recreating thread");
JASSERT 736 threadlist.cpp JASSERT(false);
JASSERT 746 threadlist.cpp JASSERT(_real_pthread_mutex_lock(&threadStateLock) == 0);
JASSERT 751 threadlist.cpp JASSERT(_real_pthread_mutex_unlock(&threadStateLock) == 0);
JASSERT 763 threadlist.cpp JASSERT(pthread_sigmask (SIG_SETMASK, NULL, &th->sigblockmask) == 0);
JASSERT 778 threadlist.cpp JASSERT(pthread_sigmask (SIG_SETMASK, &th->sigblockmask, NULL) == 0);
JASSERT 813 threadlist.cpp JASSERT (tid != 0);
JASSERT 865 threadlist.cpp JASSERT(thread != NULL);
JASSERT 895 threadlist.cpp JASSERT(thread != NULL);
JASSERT 130 threadsync.cpp JASSERT(WorkerState::currentState() == WorkerState::RUNNING);
JASSERT 140 threadsync.cpp JASSERT(_real_pthread_mutex_lock(&theCkptCanStart) == 0)(JASSERT_ERRNO);
JASSERT 143 threadsync.cpp JASSERT(_real_pthread_mutex_lock(&libdlLock) == 0) (JASSERT_ERRNO);
JASSERT 146 threadsync.cpp JASSERT(_real_pthread_rwlock_wrlock(&_threadCreationLock) == 0)
JASSERT 151 threadsync.cpp JASSERT(_real_pthread_rwlock_wrlock(&_wrapperExecutionLock) == 0)
JASSERT 165 threadsync.cpp JASSERT(WorkerState::currentState() == WorkerState::SUSPENDED);
JASSERT 168 threadsync.cpp JASSERT(_real_pthread_rwlock_unlock(&_wrapperExecutionLock) == 0)
JASSERT 171 threadsync.cpp JASSERT(_real_pthread_rwlock_unlock(&_threadCreationLock) == 0)
JASSERT 174 threadsync.cpp JASSERT(_real_pthread_mutex_unlock(&libdlLock) == 0) (JASSERT_ERRNO);
JASSERT 175 threadsync.cpp JASSERT(_real_pthread_mutex_unlock(&theCkptCanStart) == 0) (JASSERT_ERRNO);
JASSERT 245 threadsync.cpp JASSERT(_sendCkptSignalOnFinalUnlock == false);
JASSERT 253 threadsync.cpp JASSERT(raise(DmtcpWorker::determineCkptSignal()) == 0)
JASSERT 289 threadsync.cpp JASSERT(_real_pthread_mutex_lock(&destroyDmtcpWorkerLock) == 0)
JASSERT 300 threadsync.cpp JASSERT(_real_pthread_mutex_unlock(&destroyDmtcpWorkerLock) == 0)
JASSERT 306 threadsync.cpp JASSERT(_real_pthread_mutex_lock(&theCkptCanStart)==0)(JASSERT_ERRNO);
JASSERT 310 threadsync.cpp JASSERT(_real_pthread_mutex_unlock(&theCkptCanStart)==0)(JASSERT_ERRNO);
JASSERT 321 threadsync.cpp JASSERT(false) (_wrapperExecutionLockLockCount)
JASSERT 345 threadsync.cpp JASSERT(_real_pthread_mutex_lock(&libdlLock) == 0);
JASSERT 356 threadsync.cpp JASSERT(libdlLockOwner == 0 || libdlLockOwner == dmtcp_gettid())
JASSERT 358 threadsync.cpp JASSERT (WorkerState::currentState() == WorkerState::RUNNING);
JASSERT 360 threadsync.cpp JASSERT(_real_pthread_mutex_unlock(&libdlLock) == 0);
JASSERT 590 threadsync.cpp JASSERT(_real_pthread_mutex_lock(&uninitializedThreadCountLock) == 0)
JASSERT 594 threadsync.cpp JASSERT(_real_pthread_mutex_unlock(&uninitializedThreadCountLock) == 0)
JASSERT 604 threadsync.cpp JASSERT(_real_pthread_mutex_lock(&uninitializedThreadCountLock) == 0)
JASSERT 606 threadsync.cpp JASSERT(_uninitializedThreadCount > 0) (_uninitializedThreadCount);
JASSERT 609 threadsync.cpp JASSERT(_real_pthread_mutex_unlock(&uninitializedThreadCountLock) == 0)
JASSERT 630 threadsync.cpp JASSERT(false) .Text("Failed to acquire preResumeThreadCountLock");
JASSERT 634 threadsync.cpp JASSERT(false) .Text("Failed to release preResumeThreadCountLock");
JASSERT 641 threadsync.cpp JASSERT(false) .Text("Failed to acquire preResumeThreadCountLock");
JASSERT 643 threadsync.cpp JASSERT(preResumeThreadCount > 0) (dmtcp_gettid()) (preResumeThreadCount);
JASSERT 646 threadsync.cpp JASSERT(false) .Text("Failed to release preResumeThreadCountLock");
JASSERT 661 threadsync.cpp JASSERT(false) .Text("Failed to acquire preResumeThreadCountLock");
JASSERT 664 threadsync.cpp JASSERT(false) .Text("Failed to release preResumeThreadCountLock");
JASSERT 145 threadwrappers.cpp JASSERT(pthread_fn != 0x0);
JASSERT 156 threadwrappers.cpp JASSERT(_real_pthread_sigmask(SIG_UNBLOCK, &set, NULL) == 0) (JASSERT_ERRNO);
JASSERT 272 threadwrappers.cpp JASSERT(clock_gettime(CLOCK_REALTIME, &ts) != -1);
JASSERT 316 threadwrappers.cpp JASSERT(clock_gettime(CLOCK_REALTIME, &ts) != -1);
JASSERT 52 uniquepid.cpp JASSERT(::gethostname(buf, sizeof(buf))==0)(JASSERT_ERRNO);
JASSERT 136 util_exec.cpp JASSERT(size > strlen(outpath) + strlen(inpath) + 1)
JASSERT 312 util_exec.cpp JASSERT(unlink(newFilename) == 0 || errno == ENOENT) (newFilename);
JASSERT 314 util_exec.cpp JASSERT(safeSystem(cpCmdBuf) == 0)(cpCmdBuf)
JASSERT 317 util_exec.cpp JASSERT(access(newFilename, X_OK) == 0) (newFilename) (JASSERT_ERRNO);
JASSERT 347 util_exec.cpp JASSERT(newArgv0Len > strlen(origPath) + 1)
JASSERT 356 util_exec.cpp JASSERT(newArgvLen >= origArgvLen + 1) (origArgvLen) (newArgvLen)
JASSERT 406 util_exec.cpp JASSERT(handle != NULL) (dlerror());
JASSERT 436 util_exec.cpp JASSERT(fp != NULL);
JASSERT 437 util_exec.cpp JASSERT(fscanf(fp, "%s", (char*) &buf) == 1);
JASSERT 439 util_exec.cpp JASSERT(buf[0] == '/');
JASSERT 445 util_exec.cpp JASSERT(fp != NULL);
JASSERT 447 util_exec.cpp JASSERT(fread(buf, 1, sizeof(buf), fp) > 0);
JASSERT 449 util_exec.cpp JASSERT(base_addr != 0);
JASSERT 454 util_exec.cpp JASSERT(fp != NULL);
JASSERT 455 util_exec.cpp JASSERT(fread(buf, 1, sizeof(buf), fp) > 0);
JASSERT 457 util_exec.cpp JASSERT(base_addr != 0);
JASSERT 537 util_exec.cpp JASSERT (false) (newArgs[0]) (newArgs[1]) (JASSERT_ERRNO)
JASSERT 42 util_init.cpp JASSERT(mode & COORD_JOIN || mode & COORD_NEW || mode & COORD_ANY);
JASSERT 135 util_init.cpp JASSERT ( gethostname(hostname, sizeof(hostname)) == 0 ||
JASSERT 155 util_init.cpp JASSERT(mkdir(tmpdirenv, S_IRWXU) == 0 || errno == EEXIST)
JASSERT 163 util_init.cpp JASSERT(mkdir(tmpDir.c_str(), S_IRWXU) == 0 || errno == EEXIST)
JASSERT 168 util_init.cpp JASSERT(0 == access(tmpDir.c_str(), X_OK|W_OK)) (tmpDir)
JASSERT 50 util_misc.cpp JASSERT (result != -1) (JASSERT_ERRNO)
JASSERT 78 util_misc.cpp JASSERT (result != -1 || errno == ENOLCK) (JASSERT_ERRNO)
JASSERT 265 util_misc.cpp JASSERT (num_written == count) (num_written) (count);
JASSERT 314 util_misc.cpp JASSERT(_real_dup2(oldfd, newfd) == newfd);
JASSERT 323 util_misc.cpp JASSERT(_real_dup2(newfds[0], newfds[i]) == newfds[i]);
JASSERT 344 util_misc.cpp JASSERT(fd >= 0 && buf != NULL) (fd) ((void*)buf);
JASSERT 491 util_misc.cpp JASSERT(false) .Text("Not Reached");
JASSERT 520 util_misc.cpp JASSERT(fd != -1) (buf) (JASSERT_ERRNO);
JASSERT 524 util_misc.cpp JASSERT(str != NULL);
JASSERT 588 util_misc.cpp JASSERT(exec_path != NULL);
JASSERT 137 writeckpt.cpp JASSERT(area.size == ProcessInfo::instance().restoreBufLen())
JASSERT 268 writeckpt.cpp JASSERT(_real_close (fd) == 0);
JASSERT 274 writeckpt.cpp JASSERT(munmap(areas[i].addr, areas[i].size) == 0) (JASSERT_ERRNO)
JASSERT 276 writeckpt.cpp JASSERT(mmap(areas[i].addr, areas[i].size, areas[i].prot,
JASSERT 335 writeckpt.cpp JASSERT(orig_area->name[0] == '\0');
JASSERT 338 writeckpt.cpp JASSERT(mprotect(orig_area->addr, orig_area->size,
JASSERT 374 writeckpt.cpp JASSERT(mprotect(orig_area->addr, orig_area->size, orig_area->prot) == 0)
JASSERT 422 writeckpt.cpp JASSERT((area->flags & MAP_ANONYMOUS) || (area->flags & MAP_SHARED));