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

@@ -1,39 +0,0 @@
-From a5b33410851e89eff9b0baee52bc68c0d209aaeb Mon Sep 17 00:00:00 2001
-From: Jiri Slaby <jslaby@suse.cz>
-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 <cstdint>
- #include <map>
- #include <memory>
- #include <set>
-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 <cstdint>
- #include <string>
- 
- namespace klee {
--- 
-2.35.3
-

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
                 <param name="url">https://github.com/klee/klee</param>
-              <param name="changesrevision">67ec44723e9ce232f067964e7e9fb26090be305d</param></service></servicedata>
+              <param name="changesrevision">c10e9e926700773e01f44fbb1917deac7be2aaea</param></service></servicedata>

klee-2.3+20230326.obscpio

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:75ac86f13a478d80fa0d43cfbf3b614e33d55b6230be884c492347273a60c40d
-size 19103757

klee-3.0+20230611.obscpio

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:117ab62528752c6620da1810123822afdbd1250e83f93f2c5935457fdb1722bd
+size 19111437

klee-rpmlintrc

@@ -1,2 +1 @@
 addFilter("devel-file-in-non-devel-package")
-addFilter("shlib-policy-name-error .*libkleeRuntest")

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
 

klee.obsinfo

@@ -1,4 +1,4 @@
 name: klee
-version: 2.3+20230326
+version: 3.0+20230611
-mtime: 1679843207
+mtime: 1686507804
-commit: 67ec44723e9ce232f067964e7e9fb26090be305d
+commit: c10e9e926700773e01f44fbb1917deac7be2aaea

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