LLVM-14.0.0 support

SVF-tools · Jan 30, 2023 · cfce39b · cfce39b
1 parent fdf7abf
commit cfce39b
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
diff --git a/.vscode/c_cpp_properties.json b/.vscode/c_cpp_properties.json
@@ -7,7 +7,7 @@
                 "/usr/local/include/**",
                 "/home/SVF-tools/SVF/**",
                 "${workspaceFolder}/**",
-                "/home/SVF-tools/SVF/llvm-13.0.0.obj/**"
+                "/home/SVF-tools/SVF/llvm-14.0.0.obj/**"
             ],
             "defines": [],
             "compilerPath": "/usr/bin/g++",

diff --git a/.vscode/tasks.json b/.vscode/tasks.json
@@ -4,7 +4,7 @@
             "label": "C/C++: cpp build active file",
             "type": "shell",
             // if you run SVF-Teaching not in docker container, you need to change the LLVM_DIR and SVF_DIR
-            "command": "cmake -g -DCMAKE_BUILD_TYPE=Debug -DSVF_DIR=/home/SVF-tools/SVF -DLLVM_DIR=/home/SVF-tools/SVF/llvm-13.0.0.obj -DZ3_DIR=/home/SVF-tools/SVF/z3.obj . && make",
+            "command": "cmake -g -DCMAKE_BUILD_TYPE=Debug -DSVF_DIR=/home/SVF-tools/SVF -DLLVM_DIR=/home/SVF-tools/SVF/llvm-14.0.0.obj -DZ3_DIR=/home/SVF-tools/SVF/z3.obj . && make",
             "options": {
                 "cwd": "${workspaceFolder}"
             },

diff --git a/Assignment-2/testcase/bc/test1.ll b/Assignment-2/testcase/bc/test1.ll
@@ -47,6 +47,6 @@ attributes #0 = { noinline nounwind uwtable "frame-pointer"="all" "min-legal-vec
 !0 = !{i32 1, !"wchar_size", i32 4}
 !1 = !{i32 7, !"uwtable", i32 1}
 !2 = !{i32 7, !"frame-pointer", i32 2}
-!3 = !{!"clang version 13.0.0"}
+!3 = !{!"clang version 14.0.0"}
 !4 = distinct !{!4, !5}
 !5 = !{!"llvm.loop.mustprogress"}
diff --git a/Assignment-2/testcase/bc/test2.ll b/Assignment-2/testcase/bc/test2.ll
@@ -43,4 +43,4 @@ attributes #1 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protect
 !0 = !{i32 1, !"wchar_size", i32 4}
 !1 = !{i32 7, !"uwtable", i32 1}
 !2 = !{i32 7, !"frame-pointer", i32 2}
-!3 = !{!"clang version 13.0.0"}
+!3 = !{!"clang version 14.0.0"}
diff --git a/Assignment-3/testcase/bc/CI-global.ll b/Assignment-3/testcase/bc/CI-global.ll
@@ -35,4 +35,4 @@ attributes #1 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protect
 !0 = !{i32 1, !"wchar_size", i32 4}
 !1 = !{i32 7, !"uwtable", i32 1}
 !2 = !{i32 7, !"frame-pointer", i32 2}
-!3 = !{!"clang version 13.0.0"}
+!3 = !{!"clang version 14.0.0"}
diff --git a/Assignment-3/testcase/bc/CI-local.ll b/Assignment-3/testcase/bc/CI-local.ll
@@ -44,4 +44,4 @@ attributes #1 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protect
 !0 = !{i32 1, !"wchar_size", i32 4}
 !1 = !{i32 7, !"uwtable", i32 1}
 !2 = !{i32 7, !"frame-pointer", i32 2}
-!3 = !{!"clang version 13.0.0"}
+!3 = !{!"clang version 14.0.0"}
diff --git a/Assignment-3/testcase/bc/no_alias.ll b/Assignment-3/testcase/bc/no_alias.ll
@@ -29,4 +29,4 @@ attributes #1 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protect
 !0 = !{i32 1, !"wchar_size", i32 4}
 !1 = !{i32 7, !"uwtable", i32 1}
 !2 = !{i32 7, !"frame-pointer", i32 2}
-!3 = !{!"clang version 13.0.0"}
+!3 = !{!"clang version 14.0.0"}