Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2021-02-19 23:45:21
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new.28504 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee"
Fri Feb 19 23:45:21 2021 rev:25 rq:873704 version:2.2+20210216
Changes:
--------
--- /work/SRC/openSUSE:Factory/klee/klee.changes 2021-01-14
15:06:11.370855714 +0100
+++ /work/SRC/openSUSE:Factory/.klee.new.28504/klee.changes 2021-02-19
23:46:02.471409032 +0100
@@ -1,0 +2,14 @@
+Fri Feb 19 07:15:02 UTC 2021 - jsl...@suse.cz
+
+- Update to version 2.2+20210216:
+ * Executor: remove obsolete special case for __cxa_{re,}throw
+ * add klee_messages for C++ exception handling support
+ * add ifdefs for C++ exception handling
+ * renaming 'libcxx' -> 'libc++'
+ * posix runtime: getcwd: check malloc and set errno
+ * posix runtime: remove dead branch
+ * klee-libc: simplify mempcpy
+ * fix cflags for runtime build types
+- add 0001-runtime-POSIX-fix-failures-with-glibc-2.33.patch
+
+-------------------------------------------------------------------
Old:
----
v2.2.tar.gz
New:
----
0001-runtime-POSIX-fix-failures-with-glibc-2.33.patch
klee-2.2+20210216.obscpio
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ klee.spec ++++++
--- /var/tmp/diff_new_pack.RYbLfG/_old 2021-02-19 23:46:03.151409698 +0100
+++ /var/tmp/diff_new_pack.RYbLfG/_new 2021-02-19 23:46:03.155409703 +0100
@@ -31,14 +31,14 @@
Summary: LLVM Execution Engine
License: NCSA
Group: Development/Languages/Other
-Version: 2.2
+Version: 2.2+20210216
Release: 0
URL: http://klee.github.io/
-Source0: https://github.com/klee/klee/archive/v%{version}.tar.gz
+Source0: %{name}-%{version}.tar.xz
Source1: %{name}-rpmlintrc
Source2:
https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version_major}.0.0/llvm/utils/not/not.cpp
Source3:
https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version_major}.0.0/llvm/utils/FileCheck/FileCheck.cpp
-
+Patch0: 0001-runtime-POSIX-fix-failures-with-glibc-2.33.patch
BuildRequires: clang%{llvm_version}
BuildRequires: cmake
BuildRequires: gperftools-devel
@@ -68,8 +68,7 @@
information on what KLEE is and what it can do, see the OSDI 2008 paper.
%prep
-%setup -q
-%autopatch -p1
+%autosetup -p1
mkdir -p build/test/
cp %{SOURCE2} build/test/
++++++ 0001-runtime-POSIX-fix-failures-with-glibc-2.33.patch ++++++
From: Jiri Slaby <jirisl...@gmail.com>
Date: Fri, 19 Feb 2021 08:02:45 +0100
Subject: runtime/POSIX: fix failures with glibc-2.33
Patch-mainline: submitted, pr #1385
References: stat
commit 8ed005daf0ab of glibc-2.33 (Remove stat wrapper functions, move
them to exported symbols) removed renames of `__fxstat`, `__xstat`, and
`__lxstat` to `__fxstat64`, `__xstat64`, and `__lxstat64`, respectively.
But we relied on the renames to build `fd_64.c` properly. With glibc
2.33, we now see link failures of the POSIX runtime:
error: Linking globals named '__xstat': symbol multiply defined!
Rename the functions using `__REDIRECT_NTH` in the code as
`__USE_FILE_OFFSET64` case (which we define at the top of the file by
`#define _FILE_OFFSET_BITS 64`) did exactly that.
Fixes #1384.
Signed-off-by: Jiri Slaby <jirisl...@gmail.com>
---
runtime/POSIX/fd_64.c | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c
index eec41f113024..c8796475aca8 100644
--- a/runtime/POSIX/fd_64.c
+++ b/runtime/POSIX/fd_64.c
@@ -73,6 +73,16 @@ int openat(int fd, const char *pathname, int flags, ...) {
return __fd_openat(fd, pathname, flags, mode);
}
+/* removed in glibc 2.33 */
+#ifdef __REDIRECT_NTH
+extern int __REDIRECT_NTH(__fxstat, (int __ver, int __fildes,
+ struct stat *__stat_buf), __fxstat64);
+extern int __REDIRECT_NTH (__xstat, (int __ver, const char *__filename,
+ struct stat *__stat_buf), __xstat64);
+extern int __REDIRECT_NTH (__lxstat, (int __ver, const char *__filename,
+ struct stat *__stat_buf), __lxstat64);
+#endif
+
off64_t lseek(int fd, off64_t offset, int whence) {
return __fd_lseek(fd, offset, whence);
}
--
2.30.1
++++++ _service ++++++
--- /var/tmp/diff_new_pack.RYbLfG/_old 2021-02-19 23:46:03.203409749 +0100
+++ /var/tmp/diff_new_pack.RYbLfG/_new 2021-02-19 23:46:03.203409749 +0100
@@ -9,8 +9,8 @@
</service>
<service name="set_version" mode="disabled" />
- <service name="tar" mode="disabled"/>
- <service name="recompress" mode="disabled">
+ <service name="tar" mode="buildtime"/>
+ <service name="recompress" mode="buildtime">
<param name="file">klee-*.tar</param>
<param name="compression">xz</param>
</service>
++++++ _servicedata ++++++
--- /var/tmp/diff_new_pack.RYbLfG/_old 2021-02-19 23:46:03.219409765 +0100
+++ /var/tmp/diff_new_pack.RYbLfG/_new 2021-02-19 23:46:03.223409769 +0100
@@ -1,4 +1,4 @@
<servicedata>
<service name="tar_scm">
<param name="url">git://github.com/klee/klee.git</param>
- <param
name="changesrevision">5719d2803e93252e5d4613f43afc7db0d72332f1</param></service></servicedata>
+ <param
name="changesrevision">5f8d562181bce7c0d11eae0a597e3f534966e42c</param></service></servicedata>
\ No newline at end of file
++++++ klee.obsinfo ++++++
--- /var/tmp/diff_new_pack.RYbLfG/_old 2021-02-19 23:46:03.251409797 +0100
+++ /var/tmp/diff_new_pack.RYbLfG/_new 2021-02-19 23:46:03.251409797 +0100
@@ -1,5 +1,5 @@
name: klee
-version: 2.2
-mtime: 1607870676
-commit: 5719d2803e93252e5d4613f43afc7db0d72332f1
+version: 2.2+20210216
+mtime: 1613500636
+commit: 5f8d562181bce7c0d11eae0a597e3f534966e42c
