Hello community, here is the log from the commit of package klee-uclibc for openSUSE:Factory checked in at 2019-10-04 16:07:17 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old) and /work/SRC/openSUSE:Factory/.klee-uclibc.new.2352 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee-uclibc" Fri Oct 4 16:07:17 2019 rev:12 rq:734973 version:1.0.0+git.20190816 Changes: -------- --- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes 2019-08-22 15:10:29.078458064 +0200 +++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.2352/klee-uclibc.changes 2019-10-04 16:07:21.392609048 +0200 @@ -1,0 +2,11 @@ +Fri Oct 04 11:08:45 UTC 2019 - jsl...@suse.com + +- Update to version 1.0.0+git.20190816: + * Add a message when the bitcode compiler is specified via CC, + to help diagnose cases in which CC does not point to a valid + bitcode compiler. + * Check if pointer size reflects architecture + * Use newer gcc to compile KLEE + * Fix compilation when __STDIO_HAS_OPENLIST is undefined + +------------------------------------------------------------------- Old: ---- klee-uclibc-1.0.0+git.20180926.tar.xz New: ---- klee-uclibc-1.0.0+git.20190816.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee-uclibc.spec ++++++ --- /var/tmp/diff_new_pack.Midtl5/_old 2019-10-04 16:07:21.948607616 +0200 +++ /var/tmp/diff_new_pack.Midtl5/_new 2019-10-04 16:07:21.948607616 +0200 @@ -18,13 +18,13 @@ %define llvm_version 8 -%define version_unconverted 1.0.0+git.20180926 +%define version_unconverted 1.0.0+git.20190816 Name: klee-uclibc Summary: Libc library for Klee License: LGPL-2.1-or-later Group: Development/Languages/Other -Version: 1.0.0+git.20180926 +Version: 1.0.0+git.20190816 Release: 0 Url: https://github.com/klee/klee-uclibc Source0: %{name}-%{version}.tar.xz ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.Midtl5/_old 2019-10-04 16:07:21.984607523 +0200 +++ /var/tmp/diff_new_pack.Midtl5/_new 2019-10-04 16:07:21.984607523 +0200 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/klee/klee-uclibc.git</param> - <param name="changesrevision">4f2d7ce79759c308d17b1340c3340732f365db1d</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">95bff341a1df58020a39b6f99cc29f6babe4dc67</param></service></servicedata> \ No newline at end of file ++++++ klee-uclibc-1.0.0+git.20180926.tar.xz -> klee-uclibc-1.0.0+git.20190816.tar.xz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20180926/.travis/install-llvm-and-runtime-compiler.sh new/klee-uclibc-1.0.0+git.20190816/.travis/install-llvm-and-runtime-compiler.sh --- old/klee-uclibc-1.0.0+git.20180926/.travis/install-llvm-and-runtime-compiler.sh 2018-09-26 15:49:37.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20190816/.travis/install-llvm-and-runtime-compiler.sh 2019-08-16 17:40:54.000000000 +0200 @@ -1,6 +1,16 @@ #!/bin/bash -x set -ev +# Install newer compiler to support C++11 +sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test +sudo apt-get -qq update +sudo apt-get -qq install g++-5 +sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 50 +sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 50 + +export CC=gcc-5 +export CXX=g++-5 + sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev if [ "${LLVM_VERSION}" == "3.4" ]; then diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20180926/configure new/klee-uclibc-1.0.0+git.20190816/configure --- old/klee-uclibc-1.0.0+git.20180926/configure 2018-09-26 15:49:37.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20190816/configure 2019-08-16 17:40:54.000000000 +0200 @@ -155,10 +155,10 @@ sys.exit(1) - if p == 'x86_64': + if p == 'x86_64' and platform.architecture()[0] == '64bit': logging.info('Installing .config file') shutil.copy(configFile, os.path.join(uclibcRoot, '.config')) - elif p == 'i686': + elif p == 'i686' and platform.architecture()[0] == '32bit': logging.info('Installing .config file') shutil.copy(configFile, os.path.join(uclibcRoot, '.config')) else: @@ -405,13 +405,14 @@ if not cc: logging.error('Failed to find a working LLVM bitcode compiler') sys.exit(1) + logging.info('Using LLVM Bitcode Compiler...{}'.format(cc)) else: + logging.info('Using LLVM Bitcode Compiler specified by CC ...{}'.format(cc)) if not testBitCodeCompiler(cc, llvmToolDir): logging.error('LLVM Bitcode compiler does not work') sys.exit(1) # Add compiler to substitutions - logging.info('Using LLVM Bitcode Compiler...{}'.format(cc)) subs['CC'] = cc subs['HOSTCC'] = determineHostCompiler(cc) diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20180926/libc/stdio/_scanf.c new/klee-uclibc-1.0.0+git.20190816/libc/stdio/_scanf.c --- old/klee-uclibc-1.0.0+git.20180926/libc/stdio/_scanf.c 2018-09-26 15:49:37.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20190816/libc/stdio/_scanf.c 2019-08-16 17:40:54.000000000 +0200 @@ -318,7 +318,9 @@ f.f.__user_locking = 1; /* Set user locking. */ __stdio_init_mutex(&f.f.__lock); #endif +#ifdef __STDIO_HAS_OPENLIST f.f.__nextopen = NULL; +#endif return vfscanf(&f.f, fmt, ap); } diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/klee-uclibc-1.0.0+git.20180926/libc/stdio/vdprintf.c new/klee-uclibc-1.0.0+git.20190816/libc/stdio/vdprintf.c --- old/klee-uclibc-1.0.0+git.20180926/libc/stdio/vdprintf.c 2018-09-26 15:49:37.000000000 +0200 +++ new/klee-uclibc-1.0.0+git.20190816/libc/stdio/vdprintf.c 2019-08-16 17:40:54.000000000 +0200 @@ -52,7 +52,9 @@ f.__user_locking = 1; /* Set user locking. */ __stdio_init_mutex(&f.__lock); #endif +#ifdef __STDIO_HAS_OPENLIST f.__nextopen = NULL; +#endif rv = vfprintf(&f, format, arg);
