[ 0:00] + unxz --version [ 0:00] xz (XZ Utils) 5.2.5 [ 0:00] liblzma 5.2.5 [ 0:00] + unxz [ 0:00] + tar xf - [ 0:00] + cd gzip-1.8 [ 0:00] + ./configure CC=dioscc CFLAGS=-O0 [ 0:00] checking for a BSD-compatible install... /usr/bin/install -c [ 0:01] checking whether build environment is sane... yes [ 0:01] checking for a thread-safe mkdir -p... /usr/bin/mkdir -p [ 0:01] checking for gawk... gawk [ 0:01] checking whether make sets $(MAKE)... yes [ 0:01] checking whether make supports nested variables... yes [ 0:01] checking whether make supports nested variables... (cached) yes [ 0:01] checking whether make supports the include directive... yes (GNU style) [ 0:01] checking for gcc... dioscc [ 0:01] checking whether the C compiler works... yes [ 0:01] checking for C compiler default output file name... a.out [ 0:01] checking for suffix of executables... [ 0:01] checking whether we are cross compiling... no [ 0:02] checking for suffix of object files... o [ 0:02] checking whether the compiler supports GNU C... yes [ 0:03] checking whether dioscc accepts -g... yes [ 0:03] checking for dioscc option to enable C11 features... unsupported [ 0:03] checking for dioscc option to enable C99 features... none needed [ 0:03] checking whether dioscc understands -c and -o together... yes [ 0:03] checking dependency style of dioscc... none [ 0:05] checking how to run the C preprocessor... dioscc -E [ 0:05] checking for grep that handles long lines and -e... /usr/bin/grep [ 0:05] checking for nm... nm [ 0:05] checking whether ln -s works... yes [ 0:05] checking for ranlib... ranlib [ 0:05] checking for a POSIX-compliant shell... /bin/sh [ 0:05] checking for sys/types.h... yes [ 0:05] checking for sys/stat.h... yes [ 0:05] checking for strings.h... yes [ 0:06] checking for inttypes.h... yes [ 0:06] checking for stdint.h... yes [ 0:06] checking for unistd.h... yes [ 0:06] checking for sys/param.h... yes [ 0:06] checking for sys/socket.h... yes [ 0:06] checking for dirent.h... yes [ 0:06] checking for features.h... yes [ 0:07] checking for getopt.h... yes [ 0:07] checking for sys/time.h... yes [ 0:07] checking for math.h... yes [ 0:07] checking for sys/mman.h... yes [ 0:07] checking for wchar.h... yes [ 0:07] checking for utime.h... yes [ 0:07] checking for fcntl.h... yes [ 0:08] checking for limits.h... yes [ 0:08] checking for memory.h... yes [ 0:08] checking for time.h... yes [ 0:08] checking for minix/config.h... no [ 0:08] checking whether it is safe to define __EXTENSIONS__... yes [ 0:08] checking whether _XOPEN_SOURCE should be defined... no [ 0:08] checking for egrep... /usr/bin/grep -E [ 0:08] checking for Minix Amsterdam compiler... no [ 0:08] checking for ar... ar [ 0:08] checking the archiver (ar) interface... ar [ 0:09] checking for ar... (cached) ar [ 0:09] checking for _LARGEFILE_SOURCE value needed for large files... no [ 0:09] checking build system type... x86_64-pc-linux-gnu [ 0:09] checking host system type... x86_64-pc-linux-gnu [ 0:09] checking for special C compiler options needed for large files... no [ 0:09] checking for _FILE_OFFSET_BITS value needed for large files... no [ 0:09] checking for size_t... yes [ 0:10] checking for working alloca.h... no [ 0:10] checking for alloca... yes [ 0:10] checking whether malloc, realloc, calloc are POSIX compliant... yes [ 0:10] checking for _set_invalid_parameter_handler... no [ 0:10] checking for fchdir... yes [ 0:10] checking for fdopendir... yes [ 0:11] checking for strerror_r... yes [ 0:11] checking for fcntl... yes [ 0:11] checking for symlink... yes [ 0:11] checking for mempcpy... yes [ 0:11] checking for vasnprintf... no [ 0:12] checking for snprintf... yes [ 0:12] checking for fpurge... no [ 0:12] checking for __fpurge... yes [ 0:12] checking for __freading... yes [ 0:12] checking for __fseterr... yes [ 0:13] checking for fstatat... no [ 0:13] checking for fsync... yes [ 0:13] checking for getdtablesize... no [ 0:13] checking for gettimeofday... yes [ 0:13] checking for nanotime... no [ 0:14] checking for lstat... yes [ 0:14] checking for mprotect... no [ 0:14] checking for openat... yes [ 0:14] checking for __xpg_strerror_r... yes [ 0:14] checking for strdup... yes [ 0:15] checking for catgets... yes [ 0:15] checking for pipe... yes [ 0:15] checking for unlinkat... yes [ 0:15] checking for futimes... no [ 0:15] checking for futimesat... no [ 0:16] checking for futimens... no [ 0:16] checking for utimensat... no [ 0:16] checking for lutimes... no [ 0:16] checking for chown... yes [ 0:16] checking for fchmod... yes [ 0:16] checking for fchown... yes [ 0:17] checking for siginterrupt... no [ 0:17] checking whether the preprocessor supports include_next... yes [ 0:17] checking whether system header files limit the line length... no [ 0:17] checking how dioscc reports undeclared, standard C functions... warning [ 0:17] checking whether // is distinct from /... no [ 0:17] checking for complete errno.h... yes [ 0:18] checking whether strerror_r is declared... yes [ 0:18] checking whether strerror_r returns char *... yes [ 0:18] checking whether fchdir is declared... yes [ 0:18] checking for working fcntl.h... yes [ 0:19] checking for pid_t... yes [ 0:20] checking for mode_t... yes [ 0:20] checking for promoted mode_t type... mode_t [ 0:20] checking whether fdatasync is declared... yes [ 0:20] checking for stdint.h... yes [ 0:20] checking for inttypes.h... yes [ 0:20] checking whether printf supports size specifiers as in C99... yes [ 0:21] checking whether printf supports 'long double' arguments... yes [ 0:21] checking whether printf supports infinite 'double' arguments... yes [ 0:21] checking whether byte ordering is bigendian... no [ 0:21] checking whether long double and double are the same... no [ 0:21] checking whether printf supports infinite 'long double' arguments... yes [ 0:22] checking whether printf supports the 'a' and 'A' directives... yes [ 0:22] checking whether printf supports the 'F' directive... yes [ 0:22] checking whether printf supports the 'n' directive... yes [ 0:22] checking whether printf supports the 'ls' directive... yes [ 0:23] checking whether printf supports POSIX/XSI format strings with positions... yes [ 0:23] checking whether printf supports the grouping flag... yes [ 0:23] checking whether printf supports the left-adjust flag correctly... yes [ 0:23] checking whether printf supports the zero flag correctly... yes [ 0:23] checking whether printf supports large precisions... yes [ 0:24] checking whether printf survives out-of-memory conditions... yes [ 0:24] checking for unsigned long long int... yes [ 0:24] checking for long long int... yes [ 0:24] checking for wchar_t... yes [ 0:24] checking for wint_t... yes [ 0:24] checking for intmax_t... yes [ 0:25] checking where to find the exponent in a 'double'... word 1 bit 20 [ 0:25] checking whether snprintf returns a byte count as in C99... yes [ 0:25] checking for snprintf... (cached) yes [ 0:25] checking for strnlen... yes [ 0:25] checking for wcslen... yes [ 0:26] checking for wcsnlen... no [ 0:26] checking for mbrtowc... yes [ 0:26] checking for wcrtomb... yes [ 0:27] checking whether _snprintf is declared... no [ 0:27] checking whether frexp() can be used without linking with libm... no [ 0:27] checking whether alarm is declared... yes [ 0:27] checking whether stdin defaults to large file offsets... yes [ 0:27] checking whether fseeko is declared... yes [ 0:27] checking for fseeko... yes [ 0:28] checking whether fflush works on input streams... yes [ 0:28] checking whether stat file-mode macros are broken... no [ 0:28] checking for nlink_t... yes [ 0:28] checking whether lstat correctly handles trailing slash... yes [ 0:29] checking whether ftello is declared... yes [ 0:29] checking for ftello... yes [ 0:29] checking whether ftello works... yes [ 0:30] checking whether getcwd (NULL, 0) allocates memory for result... yes [ 0:30] checking for getcwd with POSIX signature... yes [ 0:30] checking whether getdtablesize is declared... no [ 0:30] checking for getopt.h... (cached) yes [ 0:30] checking for getopt_long_only... yes [ 0:31] checking whether getopt is POSIX compatible... yes [ 0:32] checking for working GNU getopt function... yes [ 0:32] checking for working GNU getopt_long function... yes [ 0:33] checking whether getenv is declared... yes [ 0:33] checking for C/C++ restrict keyword... __restrict [ 0:33] checking for struct timeval... yes [ 0:33] checking for wide-enough struct timeval.tv_sec member... yes [ 0:33] checking where to find the exponent in a 'float'... word 0 bit 23 [ 0:34] checking for ld used by dioscc... /usr/bin/ld [ 0:34] checking if the linker (/usr/bin/ld) is GNU ld... yes [ 0:34] checking for shared library run path origin... done [ 0:34] checking whether imported symbols can be declared weak... no [ 0:34] checking for pthread.h... yes [ 0:35] checking for multithread API to use... posix [ 0:35] checking for a sed that does not truncate output... /usr/bin/sed [ 0:35] checking for mmap... yes [ 0:35] checking for MAP_ANONYMOUS... yes [ 0:35] checking whether memchr works... yes [ 0:36] checking whether memrchr is declared... no [ 0:36] checking whether strerror(0) succeeds... yes [ 0:36] checking for strerror_r with POSIX signature... no [ 0:36] checking whether __xpg_strerror_r works... yes [ 0:36] checking whether C symbols are prefixed with underscore at the linker level... grep: conftest.s: No such file or directory [ 0:37] no [ 0:37] checking for stdbool.h that conforms to C99... yes [ 0:37] checking for _Bool... yes [ 0:37] checking whether stdint.h conforms to C99... no [ 0:37] checking for sys/inttypes.h... no [ 0:37] checking for sys/bitypes.h... yes [ 0:37] checking for bit size of ptrdiff_t... 64 [ 0:38] checking for bit size of size_t... 64 [ 0:39] checking for bit size of sig_atomic_t... 32 [ 0:39] checking for bit size of wchar_t... 32 [ 0:39] checking for bit size of wint_t... 32 [ 0:40] checking whether sig_atomic_t is signed... yes [ 0:40] checking whether wchar_t is signed... yes [ 0:40] checking whether wint_t is signed... yes [ 0:40] checking for ptrdiff_t integer literal suffix... l [ 0:41] checking for size_t integer literal suffix... ul [ 0:41] checking for sig_atomic_t integer literal suffix... [ 0:41] checking for wchar_t integer literal suffix... [ 0:41] checking for wint_t integer literal suffix... [ 0:41] checking whether strdup is declared... yes [ 0:41] checking for struct timespec in ... yes [ 0:42] checking whether the utimes function works... yes [ 0:42] checking for struct utimbuf... yes [ 0:42] checking whether uses 'inline' correctly... yes [ 0:43] checking for GNU libc compatible calloc... yes [ 0:43] checking whether this system has an arbitrary file name length limit... yes [ 0:43] checking for library containing clock_gettime... none required [ 0:43] checking for clock_gettime... yes [ 0:43] checking for clock_settime... yes [ 0:44] checking for closedir... yes [ 0:44] checking for dirfd... yes [ 0:44] checking whether dirfd is declared... yes [ 0:44] checking whether dirfd is a macro... no [ 0:45] checking whether // is distinct from /... (cached) no [ 0:45] checking whether dup works... yes [ 0:45] checking whether dup2 works... yes [ 0:45] checking for error_at_line... no [ 0:46] checking whether fflush works on input streams... (cached) yes [ 0:46] checking whether fcntl handles F_DUPFD correctly... yes [ 0:46] checking whether fcntl understands F_DUPFD_CLOEXEC... yes [ 0:46] checking for library containing fdatasync... none required [ 0:46] checking whether fdopendir is declared... yes [ 0:46] checking whether fdopendir works... yes [ 0:46] checking whether fflush works on input streams... (cached) yes [ 0:46] checking whether conversion from 'int' to 'long double' works... yes [ 0:47] checking whether fpurge is declared... no [ 0:47] checking whether frexpl is declared... yes [ 0:47] checking whether frexpl() can be used without linking with libm... no [ 0:47] checking for fseeko... (cached) yes [ 0:47] checking whether fflush works on input streams... (cached) yes [ 0:47] checking for ftello... (cached) yes [ 0:47] checking whether ftello works... (cached) yes [ 0:47] checking whether gettimeofday clobbers localtime buffer... no [ 0:48] checking for gettimeofday with POSIX signature... almost [ 0:48] checking whether isnan(double) can be used without linking with libm... yes [ 0:48] checking whether isnan(float) can be used without linking with libm... no [ 0:48] checking where to find the exponent in a 'float'... (cached) word 0 bit 23 [ 0:48] checking whether isnan(long double) can be used without linking with libm... no [ 0:48] checking where to find the exponent in a 'long double'... word 2 bit 0 [ 0:49] checking for C compiler flag to ignore unused libraries... -Wl,--as-needed [ 0:49] checking for pthread_rwlock_t... yes [ 0:49] checking whether lseek detects pipes... yes [ 0:50] checking for stdlib.h... yes [ 0:50] checking for GNU libc compatible malloc... yes [ 0:50] checking whether NAN macro works... yes [ 0:50] checking whether HUGE_VAL works... yes [ 0:50] checking for mempcpy... (cached) yes [ 0:50] checking for memrchr... no [ 0:51] checking whether open recognizes a trailing slash... yes [ 0:51] checking for opendir... yes [ 0:51] checking whether perror matches strerror... yes [ 0:52] checking whether ldexp can be used without linking with libm... no [ 0:52] checking whether frexpl() can be used without linking with libm... (cached) no [ 0:52] checking whether ldexpl() can be used without linking with libm... no [ 0:52] checking for readdir... yes [ 0:52] checking for stdlib.h... (cached) yes [ 0:52] checking for GNU libc compatible realloc... yes [ 0:52] checking whether rmdir works... yes [ 0:53] checking for signbit macro... yes [ 0:53] checking for signbit compiler built-ins... yes [ 0:53] checking for stdint.h... (cached) yes [ 0:53] checking for SIZE_MAX... yes [ 0:53] checking for ssize_t... yes [ 0:53] checking whether stat handles trailing slashes on directories... yes [ 0:54] checking whether stat handles trailing slashes on files... yes [ 0:54] checking for struct stat.st_atim.tv_nsec... yes [ 0:54] checking whether struct stat.st_atim is of type struct timespec... yes [ 0:54] checking for struct stat.st_birthtimespec.tv_nsec... no [ 0:54] checking for struct stat.st_birthtimensec... no [ 0:55] checking for struct stat.st_birthtim.tv_nsec... no [ 0:55] checking for max_align_t... no [ 0:55] checking whether NULL can be used in arbitrary expressions... no [ 0:55] checking which flavor of printf attribute matches inttypes macros... system [ 0:55] checking for stpcpy... yes [ 0:55] checking for working strerror function... yes [ 0:56] checking for nlink_t... (cached) yes [ 0:56] checking whether unlink honors trailing slashes... yes [ 0:56] checking whether unlink of a parent directory fails as it should... guessing yes [ 0:56] checking for ptrdiff_t... yes [ 0:56] checking for stdint.h... (cached) yes [ 0:56] checking for underline in external names... no [ 0:56] checking for an assembler syntax supported by this package... no [ 0:56] checking for library containing strerror... none required [ 0:57] checking for an ANSI C-conforming const... yes [ 0:57] checking for dirent.h that defines DIR... yes [ 0:57] checking for library containing opendir... none required [ 0:57] checking return type of signal handlers... void [ 0:57] checking for size_t... (cached) yes [ 0:57] checking for off_t... yes [ 0:58] checking that generated files are newer than configure... done [ 0:58] configure: creating ./config.status [ 0:58] config.status: creating Makefile [ 0:58] config.status: creating doc/Makefile [ 0:58] config.status: creating lib/Makefile [ 0:58] config.status: creating tests/Makefile [ 0:58] config.status: creating lib/config.h [ 0:58] config.status: executing depfiles commands [ 0:58] + make [ 0:58] make[2]: Entering directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8' [ 0:58] GEN version.c [ 0:58] GEN version.h [ 0:58] make all-recursive [ 0:58] make[3]: Entering directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8' [ 0:58] Making all in lib [ 0:58] make[4]: Entering directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8/lib' [ 0:58] GEN alloca.h [ 0:58] GEN c++defs.h [ 0:58] GEN arg-nonnull.h [ 0:58] GEN warn-on-use.h [ 0:58] GEN dirent.h [ 0:58] GEN fcntl.h [ 0:58] GEN math.h [ 0:58] GEN unused-parameter.h [ 0:59] GEN stddef.h [ 0:59] GEN stdint.h [ 0:59] GEN stdio.h [ 0:59] GEN stdlib.h [ 0:59] GEN string.h [ 0:59] GEN sys/stat.h [ 0:59] GEN sys/time.h [ 0:59] GEN sys/types.h [ 0:59] GEN time.h [ 0:59] GEN unistd.h [ 0:59] GEN wchar.h [ 0:59] make all-am [ 0:59] make[5]: Entering directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8/lib' [ 0:59] CC cloexec.o [ 0:59] CC opendir-safer.o [ 0:59] CC dirname-lgpl.o [ 0:59] CC basename-lgpl.o [ 0:59] CC stripslash.o [ 0:59] CC exitfail.o [ 0:59] CC creat-safer.o [ 1:00] CC open-safer.o [ 1:00] CC fd-hook.o [ 1:00] CC filenamecat-lgpl.o [ 1:00] CC freading.o [ 1:00] CC gettime.o [ 1:00] CC glthread/lock.o [ 1:00] CC math.o [ 1:01] CC openat-die.o [ 1:01] CC openat-safer.o [ 1:01] CC printf-frexp.o [ 1:01] CC printf-frexpl.o [ 1:01] CC save-cwd.o [ 1:01] CC savedir.o [ 1:01] CC stat-time.o [ 1:02] CC statat.o [ 1:02] CC glthread/threadlib.o [ 1:02] CC timespec.o [ 1:02] CC unistd.o [ 1:02] CC dup-safer.o [ 1:02] CC fd-safer.o [ 1:02] CC pipe-safer.o [ 1:03] CC utimens.o [ 1:03] CC xmalloc.o [ 1:03] CC xalloc-die.o [ 1:03] CC xsize.o [ 1:03] CC yesno.o [ 1:03] CC asnprintf.o [ 1:04] CC chdir-long.o [ 1:04] CC error.o [ 1:04] error.c:178:5: warning: incompatible integer to pointer conversion assigning to 'const char *' from 'int' [ 1:04] s = __strerror_r (errnum, errbuf, sizeof errbuf); [ 1:04] ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 1:04] 1 warning generated. [ 1:04] CC fpurge.o [ 1:04] CC frexp.o [ 1:04] CC frexpl.o [ 1:04] CC fstatat.o [ 1:05] CC getdtablesize.o [ 1:05] CC isnanf.o [ 1:05] CC isnanl.o [ 1:05] CC memrchr.o [ 1:05] CC openat-proc.o [ 1:06] CC printf-args.o [ 1:06] CC printf-parse.o [ 1:06] CC strerror_r.o [ 1:06] strerror_r.c:210:9: warning: incompatible pointer to integer conversion assigning to 'int' from 'char *' [ 1:06] ret = strerror_r (errnum, buf, buflen); [ 1:06] ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 1:06] strerror_r.c:244:60: warning: comparison between pointer and integer ('char *' and 'int') [ 1:06] if (strerror_r (errnum, stackbuf, sizeof stackbuf) == ERANGE) [ 1:06] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~ [ 1:06] 2 warnings generated. [ 1:06] CC vasnprintf.o [ 1:06] AR libgzip.a [ 1:06] make[5]: Leaving directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8/lib' [ 1:06] make[4]: Leaving directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8/lib' [ 1:06] Making all in doc [ 1:06] make[4]: Entering directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8/doc' [ 1:06] make[4]: Nothing to be done for 'all'. [ 1:06] make[4]: Leaving directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8/doc' [ 1:06] Making all in . [ 1:06] make[4]: Entering directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8' [ 1:06] CC version.o [ 1:06] AR libver.a [ 1:07] CC bits.o [ 1:07] CC deflate.o [ 1:07] CC gzip.o [ 1:07] CC inflate.o [ 1:07] CC lzw.o [ 1:07] CC trees.o [ 1:08] CC unlzh.o [ 1:08] CC unlzw.o [ 1:08] CC unpack.o [ 1:08] CC unzip.o [ 1:08] CC util.o [ 1:09] CC zip.o [ 1:09] CCLD gzip [ 1:09] GEN gunzip [ 1:10] GEN gzexe [ 1:10] GEN zcat [ 1:10] GEN zcmp [ 1:10] GEN zdiff [ 1:10] GEN zegrep [ 1:10] GEN zfgrep [ 1:10] GEN zforce [ 1:10] GEN zgrep [ 1:10] GEN zless [ 1:10] GEN zmore [ 1:10] GEN znew [ 1:10] make[4]: Leaving directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8' [ 1:10] Making all in tests [ 1:10] make[4]: Entering directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8/tests' [ 1:10] make[4]: Nothing to be done for 'all'. [ 1:10] make[4]: Leaving directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8/tests' [ 1:10] make[3]: Leaving directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8' [ 1:10] make[2]: Leaving directory '/var/obj/divine-nightly/semidbg/test/__test_work_dir.10/gzip-1.8' [ 1:10] + echo hello world [ 1:10] + ./gzip - [ 1:10] + divine check --stdin hello.gz ./gzip -f -d - [ 1:10] loading bitcode … DiOS … LART … RR … constants … done [ 1:13] booting … done [ 1:14] states per second: 497.688 [ 1:15] state count: 861 [ 1:15] mips: 0.13 [ 1:15] error found: no [ 1:15] a report was written to gzip.report [ 1:15] + grep 'error found: no' gzip.report [ 1:15] error found: no [ 1:15] + check debris [ 1:15] + test -e warning