llvm 9 & up to 2.0+20191031

OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=76

FileCheck.cpp

@@ -1,9 +1,8 @@
 //===- FileCheck.cpp - Check that File's Contents match what is expected --===//
 //
-//                     The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 //
@@ -22,6 +21,7 @@
 #include "llvm/Support/WithColor.h"
 #include "llvm/Support/raw_ostream.h"
 #include "llvm/Support/FileCheck.h"
+#include <cmath>
 using namespace llvm;
 
 static cl::opt<std::string>
@@ -80,13 +80,16 @@ static cl::opt<bool> AllowDeprecatedDagOverlap(
              "provided for convenience as old tests are migrated to the new\n"
              "non-overlapping CHECK-DAG implementation.\n"));
 
-static cl::opt<bool> Verbose("v", cl::init(false),
-                             cl::desc("Print directive pattern matches.\n"));
+static cl::opt<bool> Verbose(
+    "v", cl::init(false),
+    cl::desc("Print directive pattern matches, or add them to the input dump\n"
+             "if enabled.\n"));
 
 static cl::opt<bool> VerboseVerbose(
     "vv", cl::init(false),
     cl::desc("Print information helpful in diagnosing internal FileCheck\n"
-             "issues.  Implies -v.\n"));
+             "issues, or add it to the input dump if enabled.  Implies\n"
+             "-v.\n"));
 static const char * DumpInputEnv = "FILECHECK_DUMP_INPUT_ON_FAILURE";
 
 static cl::opt<bool> DumpInputOnFailure(
@@ -403,7 +406,7 @@ static void DumpAnnotatedInput(raw_ostream &OS, const FileCheckRequest &Req,
   unsigned LineCount = InputFileText.count('\n');
   if (InputFileEnd[-1] != '\n')
     ++LineCount;
-  unsigned LineNoWidth = log10(LineCount) + 1;
+  unsigned LineNoWidth = std::log10(LineCount) + 1;
   // +3 below adds spaces (1) to the left of the (right-aligned) line numbers
   // on input lines and (2) to the right of the (left-aligned) labels on
   // annotation lines so that input lines and annotation lines are more
@@ -534,8 +537,8 @@ int main(int argc, char **argv) {
       continue;
     }
     if (EqIdx == 0) {
-      errs() << "Missing pattern variable name in command-line definition '-D"
-             << G << "'\n";
+      errs() << "Missing variable name in command-line definition '-D" << G
+             << "'\n";
       GlobalDefineError = true;
       continue;
     }

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
             <param name="url">git://github.com/klee/klee.git</param>
-          <param name="changesrevision">0aed7731210d0eb41c0ea767edb8067130cf6252</param></service></servicedata>
+          <param name="changesrevision">2b0b0f89fcfff828b6dd8c20f58d872c7395dba4</param></service></servicedata>

klee-2.0+20190920.tar.xz

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:6bcc10ef3f00abc61b07a6b8682e33dbef73c089e9fe8f73090d9dd95193356b
-size 641184

klee-2.0+20191031.tar.xz

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

klee.changes

@@ -1,3 +1,24 @@
+-------------------------------------------------------------------
+Mon Nov 04 06:50:43 UTC 2019 - jslaby@suse.com
+
+- switch to llvm 9
+- Update to version 2.0+20191031:
+  * Executor: fix missing default case in switch instruction
+  * enable testing for LLVM 9.0
+  * LLVM 9.0: fourth parameter for @llvm.objectsize()
+  * klee-libc: add bcmp
+  * support compilation against LLVM 9.0
+  * [klee-replay] Fix relative executable paths
+  * ExecutorTimers: refactor and move to support lib
+  * ExecutorTimers: remove signalling, fix endless looping fork
+  * Executor.h: remove defined functions without implementation
+  * test/Expr/Evaluate2.kquery: add link to issue
+  * fix: make llvm 7.1 known
+  * test/Feature/SolverTimeout.c: re-enable for Z3
+  * test/lit.cfg: test if current version is known
+  * test/lit.cfg: use lit_config instead of lit
+  * Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it is incompatible with klee_prefer_cex. Fixes https://github.com/klee/klee/issues/1161
+
 -------------------------------------------------------------------
 Fri Oct 04 10:39:23 UTC 2019 - jslaby@suse.com
 

klee.spec

@@ -16,11 +16,11 @@
 #
 
 
-%define llvm_version_major 8
+%define llvm_version_major 9
 %define llvm_version_minor 0
 %define llvm_version %{llvm_version_major}
 
-%define version_unconverted 2.0+20190920
+%define version_unconverted 2.0+20191031
 
 %ifarch %{ix86} x86_64
 %define with_uclibc 1
@@ -32,7 +32,7 @@ Name:           klee
 Summary:        LLVM Execution Engine
 License:        NCSA
 Group:          Development/Languages/Other
-Version:        2.0+20190920
+Version:        2.0+20191031
 Release:        0
 Url:            http://klee.github.io/
 Source0:        %{name}-%{version}.tar.xz

not.cpp

@@ -1,9 +1,8 @@
 //===- not.cpp - The 'not' testing tool -----------------------------------===//
 //
-//                     The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 // Usage: