pool/klee
SHA256
4
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Accepting request 715366 from devel:tools:statica

Browse Source 
OBS-URL: https://build.opensuse.org/request/show/715366
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=16
This commit is contained in:
Dominique Leuenberger 2019-07-16 06:41:28 +00:00 committed by Git OBS Bridge
commit a8b474c0ae
4 changed files with 487 additions and 1439 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1898
FileCheck.cpp
View File

File diff suppressed because it is too large Load Diff

10
klee.changes
View File

@ -1,3 +1,13 @@
-------------------------------------------------------------------
Mon Jul 12 23:35:27 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Use -flto=thin instead of -flto=<number> for Clang.
-------------------------------------------------------------------
Mon Jul 1 23:16:30 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Switch to LLVM 8.
------------------------------------------------------------------- -------------------------------------------------------------------
Mon May 27 09:39:22 UTC 2019 - jslaby@suse.com Mon May 27 09:39:22 UTC 2019 - jslaby@suse.com

10
klee.spec
View File

@ -16,7 +16,7 @@
# #
%define llvm_version_major 7 %define llvm_version_major 8
%define llvm_version_minor 0 %define llvm_version_minor 0
%define llvm_version %{llvm_version_major} %define llvm_version %{llvm_version_major}
@ -81,12 +81,20 @@ sed -i '1s@/usr/bin/env python3*@/usr/bin/python3@' \
tools/ktest-tool/ktest-tool tools/ktest-tool/ktest-tool
%build %build
# Make _lto_cflags compatible with Clang. On some arches, it doesn't work.
%ifarch x86_64 %{ix86} ppc64le s390x
%define _lto_cflags "-flto=thin"
%else
%define _lto_cflags %{nil}
%endif
%define __builder ninja %define __builder ninja
# they use -DNDEBUG, but we cannot, hence setting CMAKE_C*_FLAGS # they use -DNDEBUG, but we cannot, hence setting CMAKE_C*_FLAGS
# SHARED libs do not work at all yet # SHARED libs do not work at all yet
%cmake \ %cmake \
-DCMAKE_C_COMPILER=clang \ -DCMAKE_C_COMPILER=clang \
-DCMAKE_CXX_COMPILER=clang++ \ -DCMAKE_CXX_COMPILER=clang++ \
-DCMAKE_AR=%{_bindir}/llvm-ar \
-DCMAKE_RANLIB=%{_bindir}/llvm-ranlib \
-DENABLE_DOXYGEN=OFF \ -DENABLE_DOXYGEN=OFF \
-DENABLE_SOLVER_STP=ON \ -DENABLE_SOLVER_STP=ON \
-DENABLE_TCMALLOC=ON \ -DENABLE_TCMALLOC=ON \

8
not.cpp
View File

@ -13,7 +13,9 @@
// Will return true if cmd crashes (e.g. for testing crash reporting). // Will return true if cmd crashes (e.g. for testing crash reporting).
#include "llvm/Support/Program.h" #include "llvm/Support/Program.h"
#include "llvm/Support/WithColor.h"
#include "llvm/Support/raw_ostream.h" #include "llvm/Support/raw_ostream.h"
using namespace llvm; using namespace llvm;
int main(int argc, const char **argv) { int main(int argc, const char **argv) {
@ -33,8 +35,8 @@ int main(int argc, const char **argv) {
auto Program = sys::findProgramByName(argv[0]); auto Program = sys::findProgramByName(argv[0]);
if (!Program) { if (!Program) {
errs() << "Error: Unable to find `" << argv[0] WithColor::error() << "unable to find `" << argv[0]
<< "' in PATH: " << Program.getError().message() << "\n"; << "' in PATH: " << Program.getError().message() << "\n";
return 1; return 1;
} }
@ -53,7 +55,7 @@ int main(int argc, const char **argv) {
Result = -3; Result = -3;
#endif #endif
if (Result < 0) { if (Result < 0) {
errs() << "Error: " << ErrMsg << "\n"; WithColor::error() << ErrMsg << "\n";
if (ExpectCrash) if (ExpectCrash)
return 0; return 0;
return 1; return 1;