add another constant for __cxa_pure_virtual

Author: Martin Mory

include/phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h

@@ -100,6 +100,8 @@ class LLVMTypeHierarchy
 
   static const std::string TypeInfoPrefixDemang;
 
+  static const std::string PureVirtualCallName;
+
 private:
   bidigraph_t TypeGraph;
   std::unordered_map<const llvm::StructType *, vertex_t> TypeVertexMap;

lib/PhasarLLVM/ControlFlow/Resolver/OTFResolver.cpp

@@ -126,7 +126,7 @@ auto OTFResolver::resolveVirtualCall(const llvm::CallBase *CallSite)
               }
               auto *Callee = VFs[VtableIndex];
               if (Callee == nullptr || !Callee->hasName() ||
-                  Callee->getName() == "__cxa_pure_virtual") {
+                  Callee->getName() == LLVMTypeHierarchy::PureVirtualCallName) {
                 continue;
               }
               PossibleCallTargets.insert(Callee);

lib/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.cpp

@@ -61,6 +61,8 @@ const std::string LLVMTypeHierarchy::TypeInfoPrefix = "_ZTI";
 
 const std::string LLVMTypeHierarchy::TypeInfoPrefixDemang = "typeinfo for ";
 
+const std::string LLVMTypeHierarchy::PureVirtualCallName = "__cxa_pure_virtual";
+
 LLVMTypeHierarchy::VertexProperties::VertexProperties(
     const llvm::StructType *Type)
     : Type(Type), ReachableTypes({Type}) {}