Improve StableVector

Author: fabianbs96

CMakeLists.txt

@@ -179,7 +179,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 12 REQUIRED CONFIG)
   include_directories(${LLVM_INCLUDE_DIRS})
   link_directories(${LLVM_LIB_PATH} ${LLVM_LIBRARY_DIRS})
 endif()

include/phasar/PhasarLLVM/Pointer/LLVMPointsToSet.h

@@ -44,8 +44,8 @@ class LLVMPointsToSet : public LLVMPointsToInfo {
   llvm::DenseSet<const llvm::Function *> AnalyzedFunctions;
 
   std::pmr::unsynchronized_pool_resource MRes;
-
   PointsToSetOwner<PointsToSetTy> Owner{&MRes};
+
   PointsToSetMap PointsToSets;
 
   void computeValuesPointsToSet(const llvm::Value *V);
@@ -76,13 +76,9 @@ class LLVMPointsToSet : public LLVMPointsToInfo {
 
 public:
   /**
-   * Creates points-to set(s) based on the computed alias results.
-   *
-   * @brief Creates points-to set(s) for a given function.
-   * @param AA Contains the computed Alias Results.
-   * @param F Points-to set is created for this particular function.
-   * @param onlyConsiderMustAlias True, if only Must Aliases should be
-   * considered. False, if May and Must Aliases should be considered.
+   * Creates points-to set(s) for all functions in the IRDB. If
+   * UseLazyEvaluation is true, computes points-to-sets for functions that do
+   * not use global variables on the fly
    */
   LLVMPointsToSet(ProjectIRDB &IRDB, bool UseLazyEvaluation = true,
                   PointerAnalysisType PATy = PointerAnalysisType::CFLAnders);

include/phasar/PhasarLLVM/Pointer/PointsToSetOwner.h

@@ -28,7 +28,7 @@ template <typename PointsToSetTy> class PointsToSetOwner {
 public:
   PointsToSetOwner(std::pmr::polymorphic_allocator<PointsToSetTy> Alloc =
                        std::pmr::get_default_resource()) noexcept
-      : Alloc(Alloc), AllPTS(Alloc.resource()) {}
+      : Alloc(Alloc) {}
   PointsToSetOwner(PointsToSetOwner &&) noexcept = default;
 
   PointsToSetOwner(const PointsToSetOwner &) = delete;