From 9ff342f21e9c81c969102d883145661f672c7420 Mon Sep 17 00:00:00 2001
From: John Regehr <john.regehr@gmail.com>
Date: Fri, 31 Jan 2025 00:45:05 -0800
Subject: [PATCH] support captures(none) instead of nocapture (#1165)

---
 llvm_util/llvm2alive.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/llvm_util/llvm2alive.cpp b/llvm_util/llvm2alive.cpp
index 8dcc4266d..1a5c6cc4e 100644
--- a/llvm_util/llvm2alive.cpp
+++ b/llvm_util/llvm2alive.cpp
@@ -1570,8 +1570,11 @@ class llvm2alive_ : public llvm::InstVisitor<llvm2alive_, unique_ptr<Instr>> {
         attrs.set(ParamAttrs::NonNull);
         break;
 
-      case llvm::Attribute::NoCapture:
-        attrs.set(ParamAttrs::NoCapture);
+      case llvm::Attribute::Captures:
+        if (capturesNothing(llvmattr.getCaptureInfo().getOtherComponents()))
+          attrs.set(ParamAttrs::NoCapture);
+        else
+          errorAttr(llvmattr); // TODO: support other captures
         break;
 
       case llvm::Attribute::ReadOnly: