support captures(none) instead of nocapture (#1165)

AliveToolkit · Jan 31, 2025 · 9ff342f · 9ff342f
1 parent 65902e0
commit 9ff342f
Showing 1 changed file with 5 additions and 2 deletions.
diff --git 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: