Remove spurious code (#811)

runtimeverification · Jul 25, 2023 · 9778ec9 · 9778ec9
1 parent b1f1e9c
commit 9778ec9
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/lib/codegen/CreateTerm.cpp b/lib/codegen/CreateTerm.cpp
@@ -1145,13 +1145,7 @@ bool makeFunction(
   }
   CreateTerm creator = CreateTerm(subst, definition, block, Module, false);
   llvm::Value *retval = creator(pattern).first;
-  if (funcType->getReturnType()
-      == llvm::PointerType::getUnqual(retval->getType())) {
-    auto tempAlloc = allocateTerm(
-        retval->getType(), creator.getCurrentBlock(), "koreAllocAlwaysGC");
-    new llvm::StoreInst(retval, tempAlloc, creator.getCurrentBlock());
-    retval = tempAlloc;
-  }
+
   auto CurrentBlock = creator.getCurrentBlock();
   if (apply && bigStep) {
     auto ProofOutputFlag = Module->getOrInsertGlobal(