From 2e041283f41b35c4ec620145f94428dbf5e28f32993e69cfa008b337d2f71761 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Thu, 15 Jun 2023 07:01:59 +0000 Subject: [PATCH 1/2] up to 3.0+20230611 OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=128 --- 0001-gcc13-include-cstint-for-int-_t.patch | 39 ---------------------- _servicedata | 2 +- klee-2.3+20230326.obscpio | 3 -- klee-3.0+20230611.obscpio | 3 ++ klee-rpmlintrc | 1 - klee.changes | 24 +++++++++++++ klee.obsinfo | 6 ++-- klee.spec | 3 +- 8 files changed, 32 insertions(+), 49 deletions(-) delete mode 100644 0001-gcc13-include-cstint-for-int-_t.patch delete mode 100644 klee-2.3+20230326.obscpio create mode 100644 klee-3.0+20230611.obscpio diff --git a/0001-gcc13-include-cstint-for-int-_t.patch b/0001-gcc13-include-cstint-for-int-_t.patch deleted file mode 100644 index c6f4d77..0000000 --- a/0001-gcc13-include-cstint-for-int-_t.patch +++ /dev/null @@ -1,39 +0,0 @@ -From a5b33410851e89eff9b0baee52bc68c0d209aaeb Mon Sep 17 00:00:00 2001 -From: Jiri Slaby -Date: Wed, 22 Mar 2023 09:48:50 +0100 -Subject: [PATCH] [gcc13] include cstint for *int*_t - -Otherwise we see errors like this with gcc13: -include/klee/Statistics/Statistic.h:31:10: error: no type named 'uint32_t' in namespace 'std' ---- - include/klee/Core/Interpreter.h | 1 + - include/klee/Statistics/Statistic.h | 1 + - 2 files changed, 2 insertions(+) - -diff --git a/include/klee/Core/Interpreter.h b/include/klee/Core/Interpreter.h -index f14e3d88..04fdef88 100644 ---- a/include/klee/Core/Interpreter.h -+++ b/include/klee/Core/Interpreter.h -@@ -9,6 +9,7 @@ - #ifndef KLEE_INTERPRETER_H - #define KLEE_INTERPRETER_H - -+#include - #include - #include - #include -diff --git a/include/klee/Statistics/Statistic.h b/include/klee/Statistics/Statistic.h -index bbb67116..e675b067 100644 ---- a/include/klee/Statistics/Statistic.h -+++ b/include/klee/Statistics/Statistic.h -@@ -10,6 +10,7 @@ - #ifndef KLEE_STATISTIC_H - #define KLEE_STATISTIC_H - -+#include - #include - - namespace klee { --- -2.35.3 - diff --git a/_servicedata b/_servicedata index 718ae17..3041c89 100644 --- a/_servicedata +++ b/_servicedata @@ -1,4 +1,4 @@ https://github.com/klee/klee - 67ec44723e9ce232f067964e7e9fb26090be305d \ No newline at end of file + c10e9e926700773e01f44fbb1917deac7be2aaea \ No newline at end of file diff --git a/klee-2.3+20230326.obscpio b/klee-2.3+20230326.obscpio deleted file mode 100644 index 85ed66f..0000000 --- a/klee-2.3+20230326.obscpio +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:75ac86f13a478d80fa0d43cfbf3b614e33d55b6230be884c492347273a60c40d -size 19103757 diff --git a/klee-3.0+20230611.obscpio b/klee-3.0+20230611.obscpio new file mode 100644 index 0000000..b5a03e3 --- /dev/null +++ b/klee-3.0+20230611.obscpio @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:117ab62528752c6620da1810123822afdbd1250e83f93f2c5935457fdb1722bd +size 19111437 diff --git a/klee-rpmlintrc b/klee-rpmlintrc index a8b3f9e..67d25fd 100644 --- a/klee-rpmlintrc +++ b/klee-rpmlintrc @@ -1,2 +1 @@ addFilter("devel-file-in-non-devel-package") -addFilter("shlib-policy-name-error .*libkleeRuntest") diff --git a/klee.changes b/klee.changes index 1e71730..d4aa7f0 100644 --- a/klee.changes +++ b/klee.changes @@ -1,3 +1,27 @@ +------------------------------------------------------------------- +Thu Jun 15 06:54:19 UTC 2023 - jslaby@suse.cz + +- Update to version 3.0+20230611: + * Rewrote has_permission in the POSIX runtime. + * SpecialFunctionHandler: use std::array for handlerInfo + * fix ktest-randgen: use after free + * Fixed a format specifier pointed to by a compiler warning. + * Build and push Docker image as part of a release + * Use recommended LLVM 13 as part of the Docker image + * ktest-gen: remove unused function + * Further improve KDAlloc memory usage with infinite quarantine + * test/Feature/StackTraceOutput.c: relative checks, clang-format + * re-enable StackTraceOutput.c test + * make BatchingSearcher more readable + * fix BatchingSearcher's disabled time budget + * also check for default CHECK directive in ArrayOpt Tests + * CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULL + * config.h: include FSTATAT_PATH_ACCEPTS_NULL + * doxygen.cfg.in: DOXYGEN_OUTPUT_DIR + * and much more +- remove + * 0001-gcc13-include-cstint-for-int-_t.patch (in upstream) + ------------------------------------------------------------------- Mon Mar 27 10:31:57 UTC 2023 - jslaby@suse.cz diff --git a/klee.obsinfo b/klee.obsinfo index 9306220..ace9b91 100644 --- a/klee.obsinfo +++ b/klee.obsinfo @@ -1,4 +1,4 @@ name: klee -version: 2.3+20230326 -mtime: 1679843207 -commit: 67ec44723e9ce232f067964e7e9fb26090be305d +version: 3.0+20230611 +mtime: 1686507804 +commit: c10e9e926700773e01f44fbb1917deac7be2aaea diff --git a/klee.spec b/klee.spec index 5a5c538..421f8e2 100644 --- a/klee.spec +++ b/klee.spec @@ -31,7 +31,7 @@ Name: klee Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.3+20230326 +Version: 3.0+20230611 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz @@ -39,7 +39,6 @@ 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-test-disable-until-it-is-fixed.patch -Patch2: 0001-gcc13-include-cstint-for-int-_t.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake BuildRequires: gperftools-devel From 5e53e27682d90a4fa017fe87ea6c9c022d4b10b2e859a84b58b58c8d6cae8d2c Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Fri, 16 Jun 2023 05:40:57 +0000 Subject: [PATCH 2/2] readd rpmlintrc filter for 15.5 OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=129 --- klee-rpmlintrc | 1 + 1 file changed, 1 insertion(+) diff --git a/klee-rpmlintrc b/klee-rpmlintrc index 67d25fd..3f73e60 100644 --- a/klee-rpmlintrc +++ b/klee-rpmlintrc @@ -1 +1,2 @@ +addFilter("shlib-policy-name-error .*libkleeRuntest") addFilter("devel-file-in-non-devel-package")