Merge remote-tracking branch 'origin/develop'

rv-auditor · rv-auditor · commit 2588b0f6b30e · 2024-06-04T20:25:32.000Z
diff --git a/lib/codegen/Decision.cpp b/lib/codegen/Decision.cpp
@@ -863,11 +863,12 @@ void abort_when_stuck(
     }
     ptr = new llvm::BitCastInst(block, block_ptr, "", current_block);
   }
+  auto *func = get_or_insert_function(
+      module, "finish_rewriting", llvm::Type::getVoidTy(ctx), block_ptr,
+      llvm::Type::getInt1Ty(ctx));
+  func->setDoesNotReturn();
   llvm::CallInst::Create(
-      get_or_insert_function(
-          module, "finish_rewriting", llvm::Type::getVoidTy(ctx), block_ptr,
-          llvm::Type::getInt1Ty(ctx)),
-      {ptr, llvm::ConstantInt::getTrue(ctx)}, "", current_block);
+      func, {ptr, llvm::ConstantInt::getTrue(ctx)}, "", current_block);
   new llvm::UnreachableInst(ctx, current_block);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -863,11 +863,12 @@ void abort_when_stuck(`
`863`	`863`	`}`
`864`	`864`	`ptr = new llvm::BitCastInst(block, block_ptr, "", current_block);`
`865`	`865`	`}`
	`866`	`+ auto *func = get_or_insert_function(`
	`867`	`+ module, "finish_rewriting", llvm::Type::getVoidTy(ctx), block_ptr,`
	`868`	`+ llvm::Type::getInt1Ty(ctx));`
	`869`	`+ func->setDoesNotReturn();`
`866`	`870`	`llvm::CallInst::Create(`
`867`		`- get_or_insert_function(`
`868`		`- module, "finish_rewriting", llvm::Type::getVoidTy(ctx), block_ptr,`
`869`		`- llvm::Type::getInt1Ty(ctx)),`
`870`		`- {ptr, llvm::ConstantInt::getTrue(ctx)}, "", current_block);`
	`871`	`+ func, {ptr, llvm::ConstantInt::getTrue(ctx)}, "", current_block);`
`871`	`872`	`new llvm::UnreachableInst(ctx, current_block);`
`872`	`873`	`}`
`873`	`874`