svf-tools 1.0.600 → 1.0.602

package/.gitignore

@@ -1,7 +1,6 @@
 Release*/
 Debug*/
 build/
-include/Util/config.h
 html/
 Test-Suite/
 Release+Asserts/

package/CMakeLists.txt

@@ -2,17 +2,12 @@ cmake_minimum_required(VERSION 3.13.4)
 
 project("SVF")
 
-
-configure_file(${CMAKE_CURRENT_SOURCE_DIR}/.config.in ${CMAKE_CURRENT_SOURCE_DIR}/include/Util/config.h @ONLY)
+configure_file(${CMAKE_SOURCE_DIR}/.config.in ${CMAKE_BINARY_DIR}/include/Util/config.h)
 
 # To support both in- and out-of-source builds,
 # we check for the presence of the add_llvm_loadable_module command.
 # - if this command is not present, we are building out-of-source
 if(NOT COMMAND add_llvm_library)
-    if (DEFINED LLVM_DIR)
-        set(ENV{LLVM_DIR} "${LLVM_DIR}")
-    endif()
-    if (DEFINED ENV{LLVM_DIR})
         # We need to match the build environment for LLVM:
         # In particular, we need C++14 and the -fno-rtti flag
         set(CMAKE_CXX_STANDARD 14)
@@ -20,18 +15,34 @@ if(NOT COMMAND add_llvm_library)
         # add -std=gnu++14
         set(CMAKE_CXX_EXTENSIONS ON)
 
-        set(COMMON_FLAGS "-fPIC -Werror -Wall")
-
         if(CMAKE_BUILD_TYPE MATCHES "Debug")
-            set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${COMMON_FLAGS} -O0 -fno-rtti")
-            set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${COMMON_FLAGS} -O0")
+	    add_compile_options("-fPIC" "-Werror" "-Wall" "-O0" "-fno-rtti")
         else()
-            set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${COMMON_FLAGS} -O3 -fno-rtti")
-            set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${COMMON_FLAGS} -O3")
+	    add_compile_options("-fPIC" "-Werror" "-Wall" "-O3" "-fno-rtti")
+        endif()
+
+        find_package(LLVM REQUIRED CONFIG
+          HINTS "${LLVM_DIR}")
+
+        message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}")
+        message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
+
+        if (NOT LLVM_ENABLE_RTTI)
+          add_compile_options("-fno-rtti")
+          message(STATUS "Disable RTTI")
+        endif()
+
+        if (NOT LLVM_ENABLE_EH)
+          add_compile_options("-fno-exceptions")
+          message(STATUS "Disable exceptions")
+        endif()
+
+        if (SVF_COVERAGE OR DEFINED ENV{SVF_COVERAGE})
+          add_compile_options("-fprofile-arcs" "-ftest-coverage")
+          add_link_options("-fprofile-arcs" "-ftest-coverage")
+          message(STATUS "Enable coverage")
         endif()
 
-        find_package(LLVM REQUIRED CONFIG)
-        
         list(APPEND CMAKE_MODULE_PATH "${LLVM_CMAKE_DIR}")
         include(AddLLVM)
 
@@ -43,25 +54,15 @@ if(NOT COMMAND add_llvm_library)
         else()
             llvm_map_components_to_libnames(llvm_libs bitwriter core ipo irreader instcombine instrumentation target linker analysis scalaropts support transformutils)
         endif()
-
-    else()
-        message(FATAL_ERROR "\
-WARNING: The LLVM_DIR var was not set (required for an out-of-source build)!\n\
-Please set this to environment variable to point to the LLVM build directory\
-(e.g. on linux: export LLVM_DIR=/path/to/llvm/build/dir)")
-    endif()
 else()
         set(IN_SOURCE_BUILD 1)
 endif()
 
-if (DEFINED Z3_DIR)
-    set(ENV{Z3_DIR} "${Z3_DIR}")
-endif()
-find_library(Z3_LIBRARIES NAMES libz3.a libz3.so
-                          HINTS $ENV{Z3_DIR}
-                          PATH_SUFFIXES lib bin)
+find_library(Z3_LIBRARIES NAMES z3
+                          HINTS ${Z3_DIR} ENV Z3_DIR
+                          PATH_SUFFIXES bin lib)
 find_path(Z3_INCLUDES NAMES z3++.h
-                      HINTS $ENV{Z3_DIR}
+                      HINTS ${Z3_DIR} ENV Z3_DIR
                       PATH_SUFFIXES include z3)
 if(NOT Z3_LIBRARIES OR NOT Z3_INCLUDES)
     message(FATAL_ERROR "Z3 not found!")
@@ -70,6 +71,7 @@ message(STATUS "Found Z3: ${Z3_LIBRARIES}")
 message(STATUS "Z3 include dir: ${Z3_INCLUDES}")
 
 include_directories(${CMAKE_CURRENT_SOURCE_DIR}/include
+                    ${CMAKE_BINARY_DIR}/include
                     ${Z3_INCLUDES})
 
 # checks if the test-suite is present, if it is then build bc files and add testing to cmake build