FactGenerator: Remove unfinished iteration over named metadata

See #26.
GaloisInc · Nov 1, 2022 · 91935e8 · 91935e8
1 parent 69a00fe
commit 91935e8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 19 deletions.
diff --git a/FactGenerator/include/FactGenerator.hpp b/FactGenerator/include/FactGenerator.hpp
@@ -20,9 +20,9 @@
 #include "Demangler.hpp"
 #include "FactWriter.hpp"
 #include "ForwardingFactWriter.hpp"
+#include "PredicateGroups.hpp"
 #include "RefmodeEngine.hpp"
 #include "Signatures.hpp"
-#include "PredicateGroups.hpp"
 
 namespace cclyzer {
 class FactGenerator;
@@ -89,8 +89,6 @@ class cclyzer::FactGenerator : private RefmodeEngine,
   void writeGlobalAlias(const llvm::GlobalAlias &, const refmode_t &);
   void writeGlobalVar(const llvm::GlobalVariable &, const refmode_t &);
 
-  void visitNamedMDNode(const llvm::NamedMDNode &);
-
   std::map<boost::flyweight<std::string>, const llvm::Value *> result_map_;
 
  private:

diff --git a/FactGenerator/src/FactGenerator.cpp b/FactGenerator/src/FactGenerator.cpp
@@ -51,15 +51,6 @@ auto FactGenerator::processModule(
     functions_with_signatures = processSignatures(signatures.getValue());
   }
 
-  // iterate over named metadata
-  for (llvm::Module::const_named_metadata_iterator
-           it = Mod.named_metadata_begin(),
-           end = Mod.named_metadata_end();
-       it != end;
-       ++it) {
-    visitNamedMDNode(*it);
-  }
-
   // iterating over global variables in a module
   for (llvm::Module::const_global_iterator it = Mod.global_begin(),
                                            end = Mod.global_end();
@@ -218,10 +209,3 @@ void FactGenerator::emitSignatures(
     const std::string &func, const llvm::json::Array &signatures) {
   emit_signatures(*this, func, signatures);
 }
-
-void FactGenerator::visitNamedMDNode(const llvm::NamedMDNode &metadata) {
-  for (unsigned i = 0, e = metadata.getNumOperands(); i != e; ++i) {
-    // TODO
-    ;
-  }
-}