From 6df83909dae904e127b7ebee822dd0acc7328277 Mon Sep 17 00:00:00 2001 From: Xudong Wang Date: Thu, 26 Oct 2023 17:23:10 +0800 Subject: [PATCH 1/4] test sharedlib building on mac --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 933a22438..6d35b837b 100755 --- a/build.sh +++ b/build.sh @@ -225,7 +225,7 @@ mkdir "${BUILD_DIR}" cmake -D CMAKE_BUILD_TYPE:STRING="${BUILD_TYPE}" \ -DSVF_ENABLE_ASSERTIONS:BOOL=true \ -DSVF_SANITIZE="${SVF_SANITIZER}" \ - -DBUILD_SHARED_LIBS=off \ + -DBUILD_SHARED_LIBS=on \ -S "${SVFHOME}" -B "${BUILD_DIR}" cmake --build "${BUILD_DIR}" -j ${jobs} From b104788caeec40172b38731c0c81d2b43e5bd1ba Mon Sep 17 00:00:00 2001 From: Xudong Wang Date: Fri, 27 Oct 2023 18:27:00 +0800 Subject: [PATCH 2/4] Add weak definition for SVFValue::toString() --- svf/lib/SVFIR/SVFValue.cpp | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/svf/lib/SVFIR/SVFValue.cpp b/svf/lib/SVFIR/SVFValue.cpp index ea8128153..9d614d3d8 100644 --- a/svf/lib/SVFIR/SVFValue.cpp +++ b/svf/lib/SVFIR/SVFValue.cpp @@ -4,6 +4,13 @@ using namespace SVF; using namespace SVFUtil; +__attribute__((weak)) +std::string SVFValue::toString() const +{ + assert("SVFValue::toString() should be implemented by frontend" && false); + return ""; +} + /// Add field (index and offset) with its corresponding type void StInfo::addFldWithType(u32_t fldIdx, const SVFType* type, u32_t elemIdx) { From 6f2a565ff82e56b50eaf1c61b77a7dc7d6038849 Mon Sep 17 00:00:00 2001 From: Xudong Wang Date: Sat, 28 Oct 2023 00:10:35 +0800 Subject: [PATCH 3/4] test static --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 6d35b837b..933a22438 100755 --- a/build.sh +++ b/build.sh @@ -225,7 +225,7 @@ mkdir "${BUILD_DIR}" cmake -D CMAKE_BUILD_TYPE:STRING="${BUILD_TYPE}" \ -DSVF_ENABLE_ASSERTIONS:BOOL=true \ -DSVF_SANITIZE="${SVF_SANITIZER}" \ - -DBUILD_SHARED_LIBS=on \ + -DBUILD_SHARED_LIBS=off \ -S "${SVFHOME}" -B "${BUILD_DIR}" cmake --build "${BUILD_DIR}" -j ${jobs} From 07903f5d356d522939c67ada853b066ab996445c Mon Sep 17 00:00:00 2001 From: Xudong Wang Date: Sun, 29 Oct 2023 22:29:06 +0800 Subject: [PATCH 4/4] test shared --- build.sh | 2 +- svf-llvm/CMakeLists.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 933a22438..6d35b837b 100755 --- a/build.sh +++ b/build.sh @@ -225,7 +225,7 @@ mkdir "${BUILD_DIR}" cmake -D CMAKE_BUILD_TYPE:STRING="${BUILD_TYPE}" \ -DSVF_ENABLE_ASSERTIONS:BOOL=true \ -DSVF_SANITIZE="${SVF_SANITIZER}" \ - -DBUILD_SHARED_LIBS=off \ + -DBUILD_SHARED_LIBS=on \ -S "${SVFHOME}" -B "${BUILD_DIR}" cmake --build "${BUILD_DIR}" -j ${jobs} diff --git a/svf-llvm/CMakeLists.txt b/svf-llvm/CMakeLists.txt index 6f9e6e2f2..b17113d82 100644 --- a/svf-llvm/CMakeLists.txt +++ b/svf-llvm/CMakeLists.txt @@ -49,7 +49,7 @@ endif() # SVF-LLVM contains LLVM Libs file(GLOB SVFLLVM_SOURCES lib/*.cpp) -add_llvm_library(SvfLLVM ${SVFLLVM_SOURCES}) +add_llvm_library(SvfLLVM SHARED ${SVFLLVM_SOURCES}) target_include_directories(SvfLLVM SYSTEM PUBLIC ${LLVM_INCLUDE_DIRS}) target_include_directories(SvfLLVM PUBLIC include) target_link_libraries(SvfLLVM PUBLIC ${Z3_LIBRARIES} SvfCore)