Fix PointsToInfo (#719)

* add vector include to PointsToInfo.h + create use

* Add comment

Author: fabianbs96

include/phasar/Pointer/PointsToInfo.h

@@ -14,10 +14,10 @@
 #include "phasar/Utils/ByRef.h"
 
 #include <cassert>
-#include <memory>
 #include <optional>
 #include <type_traits>
 #include <utility>
+#include <vector>
 
 namespace psr {
 
@@ -39,8 +39,10 @@ struct PointsToTraits<PointsToInfo<PTATraits>> : PTATraits {};
 template <typename PTATraits>
 class PointsToInfoRef<PTATraits,
                       std::enable_if_t<is_PointsToTraits_v<PTATraits>>>
-    : PointsToInfoBase<PointsToInfoRef<PTATraits>> {
+    : public PointsToInfoBase<PointsToInfoRef<PTATraits>> {
   friend class PointsToInfo<PTATraits>;
+  friend PointsToInfoBase<PointsToInfoRef<PTATraits>>;
+
   using base_t = PointsToInfoBase<PointsToInfoRef<PTATraits>>;
 
 public:

lib/Pointer/PointsToInfo.cpp

@@ -18,6 +18,7 @@
 #include "llvm/ADT/STLExtras.h"
 
 #include <array>
+#include <tuple>
 #include <utility>
 
 namespace llvm {
@@ -151,6 +152,9 @@ class DummyFieldSensitivePointsToAnalysis
 
   PointsToInfo<PointsToTraits<DummyFieldSensitivePointsToAnalysis>> TEPTA4(
       std::in_place_type<DummyFieldSensitivePointsToAnalysis>);
+
+  // Make sure, the template gets instantiated:
+  std::ignore = TEPTA1.getInterestingPointersAt(nullptr);
 }
 
 template class PointsToInfoBase<DummyFieldSensitivePointsToAnalysis>;