539

cond_at_least: Condition "(child_pid = waitpid(pid, &status, 0)) > 0", taking true branch. Now the value of "child_pid" is at least 1.
540        while((child_pid = waitpid(pid, &status, 0)) > 0) {

at_least: At condition "child_pid == -1", the value of "child_pid" must be at least 1.

dead_error_condition: The condition "child_pid == -1" cannot be true.
541            if (child_pid == -1) {

CID 10018 (#1 of 1): Logically dead code (DEADCODE)dead_error_begin: Execution cannot reach this statement "do {
int __debug_macro_ne...".
542                DEBUG(1, ("waitpid failed\n"));
543                ret = errno;
544                goto done;
545            }