Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2022-10-25 11:20:29 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.2275 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Tue Oct 25 11:20:29 2022 rev:33 rq:1031045 version:2.3+20220926 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2022-09-13 15:11:26.976990669 +0200 +++ /work/SRC/openSUSE:Factory/.klee.new.2275/klee.changes 2022-10-25 11:20:52.206251372 +0200 @@ -1,0 +2,15 @@ +Tue Oct 25 06:53:25 UTC 2022 - jsl...@suse.cz + +- Update to version 2.3+20220926: + * Improve the message for when large arrays become symbolic. + * Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that + it strips out these intrinsics + * Improve pattern for FileCheck in UBSan's tests + * Add README to UBSan runtime + * Eliminate .undefined_behavior.err category and simplify tests + * Check extensions of generated files in tests + * Introduce separate categories for different kinds of undefined behavior + * Support UBSan-enabled binaries +- update FileCheck.cpp to llvm 14's + +------------------------------------------------------------------- Old: ---- klee-2.3+20220826.obscpio New: ---- klee-2.3+20220926.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.i8pdNS/_old 2022-10-25 11:20:52.862252825 +0200 +++ /var/tmp/diff_new_pack.i8pdNS/_new 2022-10-25 11:20:52.870252843 +0200 @@ -31,7 +31,7 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.3+20220826 +Version: 2.3+20220926 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz @@ -148,6 +148,7 @@ %{_libdir}/klee/runtime/libkleeRuntimeFreestanding*_{%{runtime_variants}}.bca %{_libdir}/klee/runtime/libkleeRuntimeIntrinsic*_{%{runtime_variants}}.bca %{_libdir}/klee/runtime/libkleeRuntimeKLEELibc*_{%{runtime_variants}}.bca +%{_libdir}/klee/runtime/libkleeUBSan*_{%{runtime_variants}}.bca %if %{with_uclibc} %{_libdir}/klee/runtime/klee-uclibc.bca %{_libdir}/klee/runtime/libkleeRuntimePOSIX*_{%{runtime_variants}}.bca ++++++ FileCheck.cpp ++++++ --- /var/tmp/diff_new_pack.i8pdNS/_old 2022-10-25 11:20:52.918252949 +0200 +++ /var/tmp/diff_new_pack.i8pdNS/_new 2022-10-25 11:20:52.922252958 +0200 @@ -415,7 +415,6 @@ "the check file or for an implicit pattern"); if (DiagCountPerPattern[DiagItr->CheckLoc] > 1) Label << "'" << DiagIndexPerPattern[DiagItr->CheckLoc]++; - Label.flush(); LabelWidth = std::max((std::string::size_type)LabelWidth, A.Label.size()); A.Marker = GetMarker(DiagItr->MatchTy); ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.i8pdNS/_old 2022-10-25 11:20:52.954253030 +0200 +++ /var/tmp/diff_new_pack.i8pdNS/_new 2022-10-25 11:20:52.958253038 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/klee/klee</param> - <param name="changesrevision">39f8069db879e1f859c60c821092452748b4ba37</param></service></servicedata> + <param name="changesrevision">667ce0f1ef33c32fbe2d1836fc1b334066e244ca</param></service></servicedata> (No newline at EOF) ++++++ klee-2.3+20220826.obscpio -> klee-2.3+20220926.obscpio ++++++ /work/SRC/openSUSE:Factory/klee/klee-2.3+20220826.obscpio /work/SRC/openSUSE:Factory/.klee.new.2275/klee-2.3+20220926.obscpio differ: char 49, line 1 ++++++ klee.obsinfo ++++++ --- /var/tmp/diff_new_pack.i8pdNS/_old 2022-10-25 11:20:53.018253171 +0200 +++ /var/tmp/diff_new_pack.i8pdNS/_new 2022-10-25 11:20:53.022253180 +0200 @@ -1,5 +1,5 @@ name: klee -version: 2.3+20220826 -mtime: 1661511934 -commit: 39f8069db879e1f859c60c821092452748b4ba37 +version: 2.3+20220926 +mtime: 1664181727 +commit: 667ce0f1ef33c32fbe2d1836fc1b334066e244ca
