[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] c27f22: llvm: make KLEE compile against LLVM 3.9
From:       Jiri Slaby <jirislaby () gmail ! com>
Date:       2018-09-14 8:59:31
Message-ID: 5b9b7873d38e9_cd92aed726b8ebc4906a () hookshot-fe-cace476 ! cp1-iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: c27f225e79b82d3de4f70578cb80d0603fbff6f1
      https://github.com/klee/klee/commit/c27f225e79b82d3de4f70578cb80d0603fbff6f1
  Author: Jiri Slaby <jirislaby@gmail.com>
  Date:   2018-09-14 (Fri, 14 Sep 2018)

  Changed paths:
    M lib/Core/Executor.cpp
    M lib/Core/MemoryManager.cpp
    M lib/Module/ModuleUtil.cpp
    M lib/Module/Optimize.cpp
    M lib/Module/RaiseAsm.cpp
    M tools/kleaver/main.cpp
    M tools/klee/main.cpp

  Log Message:
  -----------
  llvm: make KLEE compile against LLVM 3.9

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>


  Commit: 44349e35e76ea3bb0429e61f0ddca2df1a979280
      https://github.com/klee/klee/commit/44349e35e76ea3bb0429e61f0ddca2df1a979280
  Author: Jiri Slaby <jirislaby@gmail.com>
  Date:   2018-09-14 (Fri, 14 Sep 2018)

  Changed paths:
    M cmake/find_llvm.cmake

  Log Message:
  -----------
  cmake: find_llvm, fix libraries with llvm-config 3.9

llvm-config from llvm 3.9 was broken. Fix handling of improperly
returned libraries.
From:
liblibLLVM-3.9.so.so
To:
libLLVM-3.9.so

Fixes #895.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>


  Commit: f2dc3504340fef5361fc3668552e9c1b6b996fd6
      https://github.com/klee/klee/commit/f2dc3504340fef5361fc3668552e9c1b6b996fd6
  Author: Jiri Slaby <jirislaby@gmail.com>
  Date:   2018-09-14 (Fri, 14 Sep 2018)

  Changed paths:
    M CMakeLists.txt

  Log Message:
  -----------
  llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+Asserts

So that we do not optimize the library during build. It should be
optimized only on runtime, depending on the -optimize parameter.

It could cause various failures like:
inlinable function call in a function with debug info must have a !dbg location
  call void @klee_overshift_check(i64 64, i64 %int_cast_to_i64)

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>


  Commit: 4d30c74c7b38e32073c92bf9d8bb7c5acf597cfd
      https://github.com/klee/klee/commit/4d30c74c7b38e32073c92bf9d8bb7c5acf597cfd
  Author: Jiri Slaby <jirislaby@gmail.com>
  Date:   2018-09-14 (Fri, 14 Sep 2018)

  Changed paths:
    M .travis.yml

  Log Message:
  -----------
  travis CI: add LLVM 3.9 build tests

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>


Compare: https://github.com/klee/klee/compare/c97526d0fff1...4d30c74c7b38
      **NOTE:** This service has been marked for deprecation: \
https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.



_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]