Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2019-10-04 16:07:13 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.2352 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Fri Oct 4 16:07:13 2019 rev:17 rq:734968 version:2.0+20190920 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2019-07-16 08:41:31.523035922 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new.2352/klee.changes 2019-10-04 16:07:17.104620091 +0200 @@ -1,0 +2,19 @@ +Fri Oct 04 10:39:23 UTC 2019 - [email protected] + +- Update to version 2.0+20190920: + * Add saturated arithmetic intrinsics + * fixed bug in IntrinsicCleaner trap cleaner + * StatsTracker: switch from TRUNCATE to WAL journal mode + * Read Klee's start time correctly in klee-stats + * CMake: show values of optional LLVM variables + * Provide klee runtime build type as parameter + * PTree: fix dump() method + * ExecutionState: remove fnAliases + * implement FunctionAliasPass + * remove klee_alias_function() + * Implement handling of the llvm.fabs intrinsic + * and more fixes +- drop unused disable-failing-test.patch +- add 0001-runtime-workaround-for-glibc-2.30.patch + +------------------------------------------------------------------- Old: ---- disable-failing-test.patch klee-2.0+20190507.tar.xz New: ---- 0001-runtime-workaround-for-glibc-2.30.patch klee-2.0+20190920.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.R7SXO5/_old 2019-10-04 16:07:17.796618310 +0200 +++ /var/tmp/diff_new_pack.R7SXO5/_new 2019-10-04 16:07:17.796618310 +0200 @@ -20,7 +20,7 @@ %define llvm_version_minor 0 %define llvm_version %{llvm_version_major} -%define version_unconverted 2.0+20190507 +%define version_unconverted 2.0+20190920 %ifarch %{ix86} x86_64 %define with_uclibc 1 @@ -32,15 +32,14 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.0+20190507 +Version: 2.0+20190920 Release: 0 Url: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz Source1: %{name}-rpmlintrc Source2: https://raw.githubusercontent.com/llvm-mirror/llvm/release_%{llvm_version_major}%{llvm_version_minor}/utils/not/not.cpp Source3: https://raw.githubusercontent.com/llvm-mirror/llvm/release_%{llvm_version_major}%{llvm_version_minor}/utils/FileCheck/FileCheck.cpp -# Unused -- let's check if this is still needed -Source4: disable-failing-test.patch +Patch0: 0001-runtime-workaround-for-glibc-2.30.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake ++++++ 0001-runtime-workaround-for-glibc-2.30.patch ++++++ >From 0a0805f3fac9c763489188d3bcc7fe1718a7a37c Mon Sep 17 00:00:00 2001 From: Jiri Slaby <[email protected]> Date: Fri, 4 Oct 2019 12:46:17 +0200 Subject: [PATCH] runtime: workaround for glibc 2.30 glibc 2.30 moved definition of getdents64 to dirent_ext.h. It became visible and conflicts with our definition: runtime/POSIX/fd_64.c:112:5: error: conflicting types for 'getdents64' int getdents64(unsigned int fd, struct dirent *dirp, unsigned int count) { ^ /usr/include/bits/dirent_ext.h:29:18: note: previous declaration is here extern __ssize_t getdents64 (int __fd, void *__buffer, size_t __length) ^ But according to the kernel (and manual), the parameter is unsigned. So we are correct, but glibc defines it wrong. --- runtime/POSIX/fd_64.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c index 61d9dc6f..7691538f 100644 --- a/runtime/POSIX/fd_64.c +++ b/runtime/POSIX/fd_64.c @@ -109,8 +109,8 @@ int statfs(const char *path, struct statfs *buf) { return __fd_statfs(path, buf); } -int getdents64(unsigned int fd, struct dirent *dirp, unsigned int count) { +ssize_t getdents64(int fd, void *dirp, size_t count) { return __fd_getdents(fd, (struct dirent64*) dirp, count); } -int __getdents64(unsigned int fd, struct dirent *dirp, unsigned int count) +ssize_t __getdents64(int fd, void *dirp, size_t count) __attribute__((alias("getdents64"))); -- 2.21.0 ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.R7SXO5/_old 2019-10-04 16:07:17.848618176 +0200 +++ /var/tmp/diff_new_pack.R7SXO5/_new 2019-10-04 16:07:17.848618176 +0200 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/klee/klee.git</param> - <param name="changesrevision">0cf14d6d70b939ad29a9da42b33a4a5d4697b947</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">0aed7731210d0eb41c0ea767edb8067130cf6252</param></service></servicedata> \ No newline at end of file ++++++ klee-2.0+20190507.tar.xz -> klee-2.0+20190920.tar.xz ++++++ ++++ 15529 lines of diff (skipped)
