update to LLVM-14

pdschubert · pdschubert · commit f6783d6e8f6b · 2022-07-11T09:09:26.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        compiler: [ [clang++-13, clang-13] ]
+        compiler: [ [clang++-14, clang-14] ]
         build: [ Debug, Release ]
 
     continue-on-error: false
@@ -42,16 +42,16 @@ jobs:
         shell: bash
         run: |
           sudo apt-key adv --fetch-keys https://apt.llvm.org/llvm-snapshot.gpg.key
-          sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-13 main'
+          sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-14 main'
           sudo apt-get update
           sudo apt-get -y install --no-install-recommends \
               ${{ matrix.compiler[1] }} \
-              llvm-13-dev \
-              libllvm13 \
-              libclang-common-13-dev \
-              libclang-13-dev \
-              libclang-cpp13-dev \
-              clang-tidy-13
+              llvm-14-dev \
+              libllvm14 \
+              libclang-common-14-dev \
+              libclang-14-dev \
+              libclang-cpp14-dev \
+              clang-tidy-14
 
       - name: Building Phasar in ${{ matrix.build }} with ${{ matrix.compiler[0] }}
         env:
diff --git a/.github/workflows/reviewdog-clang-format.yml b/.github/workflows/reviewdog-clang-format.yml
@@ -15,11 +15,11 @@ jobs:
           - tool: clang-format
             install: |
               sudo apt-key adv --fetch-keys https://apt.llvm.org/llvm-snapshot.gpg.key
-              sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-13 main'
+              sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-14 main'
               sudo apt-get update
-              sudo apt-get -y install --no-install-recommends clang-format-13
+              sudo apt-get -y install --no-install-recommends clang-format-14
             regex: \.(h|c|hpp|cpp)$
-            command: clang-format-13 --style=file -i
+            command: clang-format-14 --style=file -i
 
     continue-on-error: false
     steps:
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -2,14 +2,14 @@
 # See https://pre-commit.com/hooks.html for more hooks
 repos:
 -   repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v2.4.0
+    rev: v4.3.0
     hooks:
     -   id: trailing-whitespace
     -   id: end-of-file-fixer
     -   id: check-yaml
     -   id: check-added-large-files
     -   id: requirements-txt-fixer
 -   repo: https://github.com/pre-commit/mirrors-clang-format
-    rev: 'v13.0.0'
+    rev: 'v14.0.6'
     hooks:
     -   id: clang-format
diff --git a/.travis.yml b/.travis.yml
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -181,7 +181,7 @@ include_directories(${SQLITE3_INCLUDE_DIR})
 # LLVM
 if (NOT PHASAR_IN_TREE)
   # Only search for LLVM if we build out of tree
-  find_package(LLVM 13 REQUIRED CONFIG)
+  find_package(LLVM 14 REQUIRED CONFIG)
   include_directories(${LLVM_INCLUDE_DIRS})
   link_directories(${LLVM_LIB_PATH} ${LLVM_LIBRARY_DIRS})
 endif()
diff --git a/Config.cmake.in b/Config.cmake.in
@@ -9,7 +9,7 @@ foreach(component ${phasar_FIND_COMPONENTS})
 endforeach()
 
 function(phasar_config executable)
-  find_package(LLVM 13 REQUIRED CONFIG)
+  find_package(LLVM 14 REQUIRED CONFIG)
   include_directories(${LLVM_INCLUDE_DIRS})
   link_directories(${LLVM_LIB_PATH} ${LLVM_LIBRARY_DIRS})
   find_library(LLVM_LIBRARY NAMES LLVM HINTS ${LLVM_LIBRARY_DIRS})
diff --git a/README.md b/README.md
@@ -20,7 +20,7 @@ PhASAR requires C++-17.
 
 Currently supported version of LLVM
 -----------------------------------
-PhASAR is currently set up to support LLVM-13.0.
+PhASAR is currently set up to support LLVM-14.0.
 
 What is PhASAR?
 ---------------
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -5,10 +5,10 @@ source ./utils/safeCommandsSet.sh
 
 readonly PHASAR_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 readonly PHASAR_INSTALL_DIR="/usr/local/phasar"
-readonly LLVM_INSTALL_DIR="/usr/local/llvm-13"
+readonly LLVM_INSTALL_DIR="/usr/local/llvm-14"
 
 NUM_THREADS=$(nproc)
-LLVM_RELEASE=llvmorg-13.0.0
+LLVM_RELEASE=llvmorg-14.0.0
 DO_UNIT_TEST=true
 
 
diff --git a/lib/PhasarLLVM/ControlFlow/Resolver/OTFResolver.cpp b/lib/PhasarLLVM/ControlFlow/Resolver/OTFResolver.cpp
@@ -266,12 +266,11 @@ std::vector<std::pair<const llvm::Value *, const llvm::Value *>>
 OTFResolver::getActualFormalPointerPairs(const llvm::CallBase *CallSite,
                                          const llvm::Function *CalleeTarget) {
   std::vector<std::pair<const llvm::Value *, const llvm::Value *>> Pairs;
-  Pairs.reserve(CallSite->getNumArgOperands());
+  Pairs.reserve(CallSite->arg_size());
   // ordinary case
 
   unsigned Idx = 0;
-  for (; Idx < CallSite->getNumArgOperands() && Idx < CalleeTarget->arg_size();
-       ++Idx) {
+  for (; Idx < CallSite->arg_size() && Idx < CalleeTarget->arg_size(); ++Idx) {
     // only collect pointer typed pairs
     if (CallSite->getArgOperand(Idx)->getType()->isPointerTy() &&
         CalleeTarget->getArg(Idx)->getType()->isPointerTy()) {
@@ -302,7 +301,7 @@ OTFResolver::getActualFormalPointerPairs(const llvm::CallBase *CallSite,
     }
 
     if (VarArgs) {
-      for (; Idx < CallSite->getNumArgOperands(); ++Idx) {
+      for (; Idx < CallSite->arg_size(); ++Idx) {
         if (CallSite->getArgOperand(Idx)->getType()->isPointerTy()) {
           Pairs.emplace_back(CallSite->getArgOperand(Idx), VarArgs);
         }
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/DataFlowUtils.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/DataFlowUtils.cpp
@@ -758,7 +758,7 @@ DataFlowUtils::getSanitizedArgList(const llvm::CallInst *CallInst,
                  const llvm::Value *>>
       SanitizedArgList;
 
-  for (unsigned I = 0; I < CallInst->getNumArgOperands(); ++I) {
+  for (unsigned I = 0; I < CallInst->arg_size(); ++I) {
     auto *const Arg = CallInst->getOperand(I);
     const auto *const Param = getNthFunctionArgument(DestFun, I);
 
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.cpp
@@ -433,8 +433,7 @@ IDEExtendedTaintAnalysis::getRetFlowFunction(n_t CallSite, f_t CalleeFun,
   const auto *Call = llvm::cast<llvm::CallBase>(CallSite);
   return makeLambdaFlow<d_t>([this, Call, CalleeFun,
                               ExitStmt{llvm::cast<llvm::ReturnInst>(ExitStmt)},
-                              PTC{ArgPointsToCache(PT,
-                                                   Call->getNumArgOperands(),
+                              PTC{ArgPointsToCache(PT, Call->arg_size(),
                                                    HasPrecisePointsToInfo)}](
                                  d_t Source) -> std::set<d_t> {
     if (isZeroValue(Source)) {
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.cpp
@@ -394,8 +394,8 @@ IDEGeneralizedLCA::getCallEdgeFunction(IDEGeneralizedLCA::n_t CallStmt,
                                        IDEGeneralizedLCA::d_t DestNode) {
   const auto *CallSite = llvm::cast<llvm::CallBase>(CallStmt);
   if (isZeroValue(SrcNode)) {
-    auto Len = std::min<size_t>(CallSite->getNumArgOperands(),
-                                DestinationMethod->arg_size());
+    auto Len =
+        std::min<size_t>(CallSite->arg_size(), DestinationMethod->arg_size());
     for (size_t I = 0; I < Len; ++I) {
       const auto *FormalArg = getNthFunctionArgument(DestinationMethod, I);
       if (DestNode == FormalArg) {
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.cpp
@@ -23,7 +23,7 @@ namespace psr {
 MapFactsToCalleeFlowFunction::MapFactsToCalleeFlowFunction(
     const llvm::CallBase *CallSite, const llvm::Function *Callee)
     : CallSite(CallSite), Callee(Callee) {
-  for (unsigned Idx = 0; Idx < CallSite->getNumArgOperands(); ++Idx) {
+  for (unsigned Idx = 0; Idx < CallSite->arg_size(); ++Idx) {
     Actuals.push_back(CallSite->getArgOperand(Idx));
   }
   // Set up the formal parameters
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.cpp
@@ -22,7 +22,7 @@ MapFactsToCallerFlowFunction::MapFactsToCallerFlowFunction(
     const llvm::Function *Callee)
     : CallSite(CallSite), ExitStmt(llvm::cast<llvm::ReturnInst>(ExitStmt)),
       Callee(Callee) {
-  for (unsigned Idx = 0; Idx < CallSite->getNumArgOperands(); ++Idx) {
+  for (unsigned Idx = 0; Idx < CallSite->arg_size(); ++Idx) {
     Actuals.push_back(CallSite->getArgOperand(Idx));
   }
   // Set up the formal parameters
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDELinearConstantAnalysis.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDELinearConstantAnalysis.cpp
@@ -126,7 +126,7 @@ IDELinearConstantAnalysis::getCallFlowFunction(n_t CallSite, f_t DestFun) {
       const llvm::Function *DestFun;
       LCAFF(const llvm::CallBase *CallSite, f_t DestFun) : DestFun(DestFun) {
         // std::set up the actual parameters
-        for (unsigned Idx = 0; Idx < CallSite->getNumArgOperands(); ++Idx) {
+        for (unsigned Idx = 0; Idx < CallSite->arg_size(); ++Idx) {
           Actuals.push_back(CallSite->getArgOperand(Idx));
         }
         // std::set up the formal parameters
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDETypeStateAnalysis.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDETypeStateAnalysis.cpp
@@ -176,7 +176,7 @@ IDETypeStateAnalysis::getRetFlowFunction(
           ExitSite(llvm::dyn_cast<llvm::ReturnInst>(ExitSite)),
           Analysis(Analysis) {
       // Set up the actual parameters
-      for (unsigned Idx = 0; Idx < CallSite->getNumArgOperands(); ++Idx) {
+      for (unsigned Idx = 0; Idx < CallSite->arg_size(); ++Idx) {
         Actuals.push_back(CallSite->getArgOperand(Idx));
       }
       // Set up the formal parameters
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSTaintAnalysis.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSTaintAnalysis.cpp
@@ -216,7 +216,7 @@ IFDSTaintAnalysis::getCallToRetFlowFunction(
   if (HasBody && Gen.empty() && Leak.empty() && Kill.empty()) {
     // We have a normal function-call and the ret-FF is responsible for handling
     // pointer parameters. So we need to kill them here
-    for (const auto &Arg : CS->arg_operands()) {
+    for (const auto &Arg : CS->args()) {
       if (Arg->getType()->isPointerTy()) {
         Kill.insert(Arg.get());
       }
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSUninitializedVariables.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSUninitializedVariables.cpp
@@ -250,7 +250,7 @@ IFDSUninitializedVariables::getCallFlowFunction(
            const llvm::Value *ZV)
           : DestFun(DM), CallSite(CallSite), Zerovalue(ZV) {
         // set up the actual parameters
-        for (unsigned Idx = 0; Idx < CallSite->getNumArgOperands(); ++Idx) {
+        for (unsigned Idx = 0; Idx < CallSite->arg_size(); ++Idx) {
           Actuals.push_back(CallSite->getArgOperand(Idx));
         }
         // set up the formal parameters
diff --git a/lib/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoFullConstantPropagation.cpp b/lib/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoFullConstantPropagation.cpp
@@ -78,13 +78,13 @@ InterMonoFullConstantPropagation::callFlow(
       llvm::isa<llvm::InvokeInst>(CallSite)) {
     const auto *CS = llvm::cast<llvm::CallBase>(CallSite);
     // early exit; varargs not handled yet
-    if (CS->getNumArgOperands() == 0 || Callee->isVarArg()) {
+    if (CS->arg_empty() || Callee->isVarArg()) {
       return Out;
     }
     vector<const llvm::Value *> Actuals;
     vector<const llvm::Value *> Formals;
     // Set up the actual parameters
-    for (unsigned Idx = 0; Idx < CS->getNumArgOperands(); ++Idx) {
+    for (unsigned Idx = 0; Idx < CS->arg_size(); ++Idx) {
       Actuals.push_back(CS->getArgOperand(Idx));
     }
     // Set up the formal parameters
diff --git a/lib/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoTaintAnalysis.cpp b/lib/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoTaintAnalysis.cpp
@@ -155,7 +155,7 @@ InterMonoTaintAnalysis::mono_container_t InterMonoTaintAnalysis::callToRetFlow(
   Out.insert(Gen);
   if (Gen.empty() && Kill.empty()) {
     // erase pointer arguments, since they are now propagated in the retFF
-    for (unsigned Idx = 0; Idx < CS->getNumArgOperands(); ++Idx) {
+    for (unsigned Idx = 0; Idx < CS->arg_size(); ++Idx) {
       if (CS->getArgOperand(Idx)->getType()->isPointerTy()) {
         Out.erase(CS->getArgOperand(Idx));
       }
diff --git a/lib/PhasarLLVM/Utils/Annotation.cpp b/lib/PhasarLLVM/Utils/Annotation.cpp
@@ -14,6 +14,7 @@
 #include "llvm/IR/Argument.h"
 #include "llvm/IR/Constants.h"
 #include "llvm/IR/Function.h"
+#include "llvm/IR/GetElementPtrTypeIterator.h"
 #include "llvm/IR/GlobalVariable.h"
 #include "llvm/IR/InstrTypes.h"
 #include "llvm/IR/Instructions.h"
@@ -55,7 +56,7 @@ uint64_t VarAnnotation::getLine() const {
 llvm::StringRef VarAnnotation::retrieveString(unsigned Idx) const {
   if (const auto *ConstExpr = llvm::dyn_cast<llvm::ConstantExpr>(
           AnnotationCall->getArgOperand(Idx))) {
-    if (ConstExpr->isGEPWithNoNotionalOverIndexing()) {
+    if (llvm::isa<llvm::GEPOperator>(ConstExpr)) {
       if (const auto *GlobalVar =
               llvm::dyn_cast<llvm::GlobalVariable>(ConstExpr->getOperand(0))) {
         if (GlobalVar->hasInitializer()) {
@@ -109,7 +110,7 @@ llvm::StringRef GlobalAnnotation::retrieveString(unsigned Idx) const {
   const auto *AnnotationGepOp = AnnotationStruct->getOperand(Idx);
   if (const auto *ConstExpr =
           llvm::dyn_cast<llvm::ConstantExpr>(AnnotationGepOp)) {
-    if (ConstExpr->isGEPWithNoNotionalOverIndexing()) {
+    if (llvm::isa<llvm::GEPOperator>(ConstExpr)) {
       if (const auto *GlobalVar =
               llvm::dyn_cast<llvm::GlobalVariable>(ConstExpr->getOperand(0))) {
         if (GlobalVar->hasInitializer()) {
diff --git a/lib/PhasarPass/PhasarPass.cpp b/lib/PhasarPass/PhasarPass.cpp
@@ -59,8 +59,8 @@ bool PhasarPass::runOnModule(llvm::Module &M) {
   // check if the requested entry points exist
   for (const std::string &EP : EntryPoints) {
     if (!DB.getFunctionDefinition(EP)) {
-      llvm::report_fatal_error("psr error: entry point does not exist '" + EP +
-                               "'");
+      llvm::report_fatal_error(
+          ("psr error: entry point does not exist '" + EP + "'").c_str());
     }
     EntryPointsSet.insert(EP);
   }
