Add some typedefs

Author: fabianbs96

include/phasar/PhasarLLVM/Pointer/LLVMPointsToGraph.h

@@ -136,11 +136,11 @@ class LLVMPointsToGraph : public LLVMPointsToInfo {
   AliasResult alias(const llvm::Value *V1, const llvm::Value *V2,
                     const llvm::Instruction *I = nullptr) override;
 
-  std::shared_ptr<std::unordered_set<const llvm::Value *>>
+  PointsToSetPtrTy
   getPointsToSet(const llvm::Value *V,
                  const llvm::Instruction *I = nullptr) override;
 
-  std::shared_ptr<std::unordered_set<const llvm::Value *>>
+  PointsToSetPtrTy
   getReachableAllocationSites(const llvm::Value *V, bool IntraProcOnly = false,
                               const llvm::Instruction *I = nullptr) override;
 

include/phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h

@@ -23,6 +23,9 @@ namespace psr {
 class LLVMPointsToInfo
     : public PointsToInfo<const llvm::Value *, const llvm::Instruction *> {
 public:
+  using PointsToInfo::PointsToSetPtrTy;
+  using PointsToInfo::PointsToSetTy;
+
   ~LLVMPointsToInfo() override = default;
 
   static const llvm::Function *retrieveFunction(const llvm::Value *V);

include/phasar/PhasarLLVM/Pointer/LLVMPointsToSet.h

@@ -39,8 +39,6 @@ namespace psr {
 
 class LLVMPointsToSet : public LLVMPointsToInfo {
 private:
-  using PointsToSetTy = std::unordered_set<const llvm::Value *>;
-  using PointsToSetPtrTy = std::shared_ptr<PointsToSetTy>;
   using PointsToSetMap =
       std::unordered_map<const llvm::Value *, PointsToSetPtrTy>;
 
@@ -102,11 +100,11 @@ class LLVMPointsToSet : public LLVMPointsToInfo {
   alias(const llvm::Value *V1, const llvm::Value *V2,
         const llvm::Instruction *I = nullptr) override;
 
-  [[nodiscard]] std::shared_ptr<std::unordered_set<const llvm::Value *>>
+  [[nodiscard]] PointsToSetPtrTy
   getPointsToSet(const llvm::Value *V,
                  const llvm::Instruction *I = nullptr) override;
 
-  [[nodiscard]] std::shared_ptr<std::unordered_set<const llvm::Value *>>
+  [[nodiscard]] PointsToSetPtrTy
   getReachableAllocationSites(const llvm::Value *V, bool IntraProcOnly = false,
                               const llvm::Instruction *I = nullptr) override;
 

include/phasar/PhasarLLVM/Pointer/PointsToInfo.h

@@ -40,6 +40,9 @@ std::ostream &operator<<(std::ostream &os, const PointerAnalysisType &PA);
 
 template <typename V, typename N> class PointsToInfo {
 public:
+  using PointsToSetTy = std::unordered_set<V>;
+  using PointsToSetPtrTy = std::shared_ptr<PointsToSetTy>;
+
   virtual ~PointsToInfo() = default;
 
   virtual bool isInterProcedural() const = 0;
@@ -48,10 +51,9 @@ template <typename V, typename N> class PointsToInfo {
 
   virtual AliasResult alias(V V1, V V2, N I = N{}) = 0;
 
-  virtual std::shared_ptr<std::unordered_set<V>> getPointsToSet(V V1,
-                                                                N I = N{}) = 0;
+  virtual PointsToSetPtrTy getPointsToSet(V V1, N I = N{}) = 0;
 
-  virtual std::shared_ptr<std::unordered_set<V>>
+  virtual PointsToSetPtrTy
   getReachableAllocationSites(V V1, bool IntraProcOnly = false, N I = N{}) = 0;
 
   // Checks if V2 is a reachable allocation in the points to set of V1.

lib/PhasarLLVM/Pointer/LLVMPointsToSet.cpp

@@ -475,9 +475,9 @@ auto LLVMPointsToSet::getEmptyPointsToSet() -> PointsToSetPtrTy {
   return EmptySet;
 }
 
-std::shared_ptr<std::unordered_set<const llvm::Value *>>
-LLVMPointsToSet::getPointsToSet(const llvm::Value *V,
-                                [[maybe_unused]] const llvm::Instruction *I) {
+auto LLVMPointsToSet::getPointsToSet(
+    const llvm::Value *V, [[maybe_unused]] const llvm::Instruction *I)
+    -> PointsToSetPtrTy {
 
   // if V is not a (interesting) pointer we can return an empty set
   if (!isInterestingPointer(V)) {
@@ -492,10 +492,9 @@ LLVMPointsToSet::getPointsToSet(const llvm::Value *V,
   return getEmptyPointsToSet();
 }
 
-std::shared_ptr<std::unordered_set<const llvm::Value *>>
-LLVMPointsToSet::getReachableAllocationSites(
+auto LLVMPointsToSet::getReachableAllocationSites(
     const llvm::Value *V, bool IntraProcOnly,
-    [[maybe_unused]] const llvm::Instruction *I) {
+    [[maybe_unused]] const llvm::Instruction *I) -> PointsToSetPtrTy {
   // if V is not a (interesting) pointer we can return an empty set
   if (!isInterestingPointer(V)) {
     return getEmptyPointsToSet();