Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2024-02-12 18:53:27 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.1815 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Mon Feb 12 18:53:27 2024 rev:38 rq:1146146 version:3.0+20240208 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2023-12-21 23:39:18.736068362 +0100 +++ /work/SRC/openSUSE:Factory/.klee.new.1815/klee.changes 2024-02-12 18:55:47.322252987 +0100 @@ -1,0 +2,52 @@ +Fri Feb 09 07:40:49 UTC 2024 - jsl...@suse.cz + +- Update to version 3.0+20240208: + * Add space between include and main function for updated test cases + * Mention default value in help text for `--strip-all` and `--strip-debug` + * Use `std::` namespace for `uint64_t` + * Enable CI to test newer LLVM versions + * Support newer LLVM versions in `lit` + * Update test case for expressions using `udiv`, `urem`, `sdiv` and `srem` + * Handle check for thrown libc++ exceptions more general + * Disable `2018-10-30-llvm-pr39177.ll` for newer LLVM versions. + * Disable unsupported passes for newer LLVM versions + * Add support to `aligned_alloc` generated by LLVM + * Add support for `Intrinsic::get_rounding` for LLVM 16 + * Use APIs of newer LLVM versions instead of unsupported ones + * Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT` + * Fix test cases to support opaque pointers + * Add support for opaque pointers + * Explicitly enable opaque pointer support for LLVM 15 + * Explicitly build KLEE's exception handling runtime with C++11 + * Assume C compiler's default standard is `-std=gnu17` + * Use KLEE's uClibc v1.4 as default to support the compilation with newer compilers + * Refactor invocation of old pass manager into legacy function +- remove (they were upstreamed) + * 0001-Add-support-to-build-newer-LLVM-versions.patch + * 0002-Add-support-for-newer-libc-Simplify-path-detection.patch + * 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch + * 0004-Fix-klee-libc-memchr.c-compiler-warning.patch + * 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch + * 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch + * 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch + * 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch + * 0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch + * 0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch + * 0011-Add-support-for-opaque-pointers.patch + * 0012-Fix-test-cases-to-support-opaque-pointers.patch + * 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch + * 0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch + * 0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch + * 0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch + * 0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch + * 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch + * 0019-Handle-check-for-thrown-libc-exceptions-more-general.patch + * 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch + * 0021-Support-newer-LLVM-versions-in-lit.patch + * 0022-Enable-CI-to-test-newer-LLVM-versions.patch +- remove 0001-test-disable-failing-tests-with-llvm-15.patch + Fixed by the below patch (in a PR), and in klee-uclibc. +- add + * 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch + +------------------------------------------------------------------- Old: ---- 0001-Add-support-to-build-newer-LLVM-versions.patch 0001-test-disable-failing-tests-with-llvm-15.patch 0002-Add-support-for-newer-libc-Simplify-path-detection.patch 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch 0004-Fix-klee-libc-memchr.c-compiler-warning.patch 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch 0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch 0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch 0011-Add-support-for-opaque-pointers.patch 0012-Fix-test-cases-to-support-opaque-pointers.patch 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch 0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch 0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch 0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch 0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch 0019-Handle-check-for-thrown-libc-exceptions-more-general.patch 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch 0021-Support-newer-LLVM-versions-in-lit.patch 0022-Enable-CI-to-test-newer-LLVM-versions.patch klee-3.0+20231023.obscpio New: ---- 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch klee-3.0+20240208.obscpio BETA DEBUG BEGIN: Old:- remove (they were upstreamed) * 0001-Add-support-to-build-newer-LLVM-versions.patch * 0002-Add-support-for-newer-libc-Simplify-path-detection.patch Old: * 0022-Enable-CI-to-test-newer-LLVM-versions.patch - remove 0001-test-disable-failing-tests-with-llvm-15.patch Fixed by the below patch (in a PR), and in klee-uclibc. Old: * 0001-Add-support-to-build-newer-LLVM-versions.patch * 0002-Add-support-for-newer-libc-Simplify-path-detection.patch * 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch Old: * 0002-Add-support-for-newer-libc-Simplify-path-detection.patch * 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch * 0004-Fix-klee-libc-memchr.c-compiler-warning.patch Old: * 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch * 0004-Fix-klee-libc-memchr.c-compiler-warning.patch * 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch Old: * 0004-Fix-klee-libc-memchr.c-compiler-warning.patch * 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch * 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch Old: * 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch * 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch * 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch Old: * 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch * 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch * 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch Old: * 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch * 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch * 0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch Old: * 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch * 0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch * 0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch Old: * 0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch * 0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch * 0011-Add-support-for-opaque-pointers.patch Old: * 0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch * 0011-Add-support-for-opaque-pointers.patch * 0012-Fix-test-cases-to-support-opaque-pointers.patch Old: * 0011-Add-support-for-opaque-pointers.patch * 0012-Fix-test-cases-to-support-opaque-pointers.patch * 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch Old: * 0012-Fix-test-cases-to-support-opaque-pointers.patch * 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch * 0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch Old: * 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch * 0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch * 0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch Old: * 0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch * 0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch * 0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch Old: * 0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch * 0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch * 0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch Old: * 0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch * 0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch * 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch Old: * 0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch * 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch * 0019-Handle-check-for-thrown-libc-exceptions-more-general.patch Old: * 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch * 0019-Handle-check-for-thrown-libc-exceptions-more-general.patch * 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch Old: * 0019-Handle-check-for-thrown-libc-exceptions-more-general.patch * 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch * 0021-Support-newer-LLVM-versions-in-lit.patch Old: * 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch * 0021-Support-newer-LLVM-versions-in-lit.patch * 0022-Enable-CI-to-test-newer-LLVM-versions.patch Old: * 0021-Support-newer-LLVM-versions-in-lit.patch * 0022-Enable-CI-to-test-newer-LLVM-versions.patch - remove 0001-test-disable-failing-tests-with-llvm-15.patch BETA DEBUG END: BETA DEBUG BEGIN: New:- add * 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch BETA DEBUG END: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.3GTWuq/_old 2024-02-12 18:55:48.182284044 +0100 +++ /var/tmp/diff_new_pack.3GTWuq/_new 2024-02-12 18:55:48.182284044 +0100 @@ -1,7 +1,7 @@ # # spec file for package klee # -# Copyright (c) 2023 SUSE LLC +# Copyright (c) 2024 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -30,36 +30,14 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 3.0+20231023 +Version: 3.0+20240208 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz Source1: %{name}-rpmlintrc Source2: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version}.0.0/llvm/utils/not/not.cpp Source3: https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-%{llvm_version}.0.0/llvm/utils/FileCheck/FileCheck.cpp -Patch1: 0001-Add-support-to-build-newer-LLVM-versions.patch -Patch2: 0002-Add-support-for-newer-libc-Simplify-path-detection.patch -Patch3: 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch -Patch4: 0004-Fix-klee-libc-memchr.c-compiler-warning.patch -Patch5: 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch -Patch6: 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch -Patch7: 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch -Patch8: 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch -Patch9: 0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch -Patch10: 0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch -Patch11: 0011-Add-support-for-opaque-pointers.patch -Patch12: 0012-Fix-test-cases-to-support-opaque-pointers.patch -Patch13: 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch -Patch14: 0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch -Patch15: 0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch -Patch16: 0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch -Patch17: 0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch -Patch18: 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch -Patch19: 0019-Handle-check-for-thrown-libc-exceptions-more-general.patch -Patch20: 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch -Patch21: 0021-Support-newer-LLVM-versions-in-lit.patch -Patch22: 0022-Enable-CI-to-test-newer-LLVM-versions.patch -Patch100: 0001-test-disable-failing-tests-with-llvm-15.patch +Patch0: 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake @@ -151,13 +129,8 @@ %doc NEWS README.md %license LICENSE.TXT %{_bindir}/kleaver -%{_bindir}/klee -%{_bindir}/klee-replay -%{_bindir}/klee-stats -%{_bindir}/klee-zesti -%{_bindir}/ktest-gen -%{_bindir}/ktest-randgen -%{_bindir}/ktest-tool +%{_bindir}/klee* +%{_bindir}/ktest-* %{_includedir}/klee/ %{_libdir}/libkleeRuntest.so* %dir %{_libdir}/klee/ ++++++ 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch ++++++ From: Daniel Schemmel <dan...@schemmel.net> Date: Fri, 9 Feb 2024 22:34:03 +0000 Subject: Fix brittleness in Feature/VarArgByVal test Git-repo: https://github.com/danielschemmel/klee.git#varargbyval-fix Git-commit: 022c8102b7be781f809d589ed37d5f755bead81b Patch-mainline: PR#1692 References: llvm 15 fix Signed-off-by: Jiri Slaby <jsl...@suse.cz> --- test/Feature/VarArgByVal.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/Feature/VarArgByVal.c b/test/Feature/VarArgByVal.c index 7b979f61..3f60ea12 100644 --- a/test/Feature/VarArgByVal.c +++ b/test/Feature/VarArgByVal.c @@ -9,7 +9,7 @@ // // TODO: Make noundef unconditional when LLVM 14 is the oldest supported version. // CHECK: call void (ptr, i32, ...) @test1(ptr sret(%struct.foo) align 8 {{.*}}, i32 noundef -1, ptr noundef byval(%struct.foo) align 8 {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}) -// CHECK: call void (ptr, i32, i64, ...) @test2(ptr sret(%struct.foo) align 8 %tmp, i32 noundef {{.*}}, i64 noundef {{.*}}, i32 noundef {{.*}}, ptr noundef byval(%struct.foo) align 8 {{.*}}, i64 noundef {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}, ptr noundef byval(%struct.foo) align 8 {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}) +// CHECK: call void (ptr, i32, i64, ...) @test2(ptr sret(%struct.foo) align 8 {{.*}}, i32 noundef {{.*}}, i64 noundef {{.*}}, i32 noundef {{.*}}, ptr noundef byval(%struct.foo) align 8 {{.*}}, i64 noundef {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}, ptr noundef byval(%struct.foo) align 8 {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}) #include <stdarg.h> #include <assert.h> #include <stdio.h> -- 2.43.0 ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.3GTWuq/_old 2024-02-12 18:55:48.242286211 +0100 +++ /var/tmp/diff_new_pack.3GTWuq/_new 2024-02-12 18:55:48.246286356 +0100 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/klee/klee</param> - <param name="changesrevision">fc83f06b17221bf5ef20e30d9da1ccff927beb17</param></service></servicedata> + <param name="changesrevision">9336cd28f6e58c2f9bc01ec3dbf3930688ad0287</param></service></servicedata> (No newline at EOF) ++++++ klee-3.0+20231023.obscpio -> klee-3.0+20240208.obscpio ++++++ /work/SRC/openSUSE:Factory/klee/klee-3.0+20231023.obscpio /work/SRC/openSUSE:Factory/.klee.new.1815/klee-3.0+20240208.obscpio differ: char 49, line 1 ++++++ klee.obsinfo ++++++ --- /var/tmp/diff_new_pack.3GTWuq/_old 2024-02-12 18:55:48.294288089 +0100 +++ /var/tmp/diff_new_pack.3GTWuq/_new 2024-02-12 18:55:48.298288233 +0100 @@ -1,5 +1,5 @@ name: klee -version: 3.0+20231023 -mtime: 1698093351 -commit: fc83f06b17221bf5ef20e30d9da1ccff927beb17 +version: 3.0+20240208 +mtime: 1707398239 +commit: 9336cd28f6e58c2f9bc01ec3dbf3930688ad0287
