handle c++ `[[noreturn]]` attribute

2 files changed, 14 insertions, 2 deletions

diff --git a/src/clang.rs b/src/clang.rs
index fddb261c..ea505c87 100644
--- a/src/clang.rs
+++ b/src/clang.rs
@@ -37,6 +37,13 @@ impl Attribute {
         kind: None,
         token_kind: CXToken_Keyword,
     };
+
+    /// A `[[noreturn]]` attribute.
+    pub const NO_RETURN_CPP: Self = Self {
+        name: b"noreturn",
+        kind: None,
+        token_kind: CXToken_Identifier,
+    };
 }
 
 /// A cursor into the Clang AST, pointing to an AST node.
diff --git a/src/ir/function.rs b/src/ir/function.rs
index 6ed3a503..a967954e 100644
--- a/src/ir/function.rs
+++ b/src/ir/function.rs
@@ -450,9 +450,14 @@ impl FunctionSig {
             }
         };
 
-        let [must_use, is_divergent] =
+        let (must_use, is_divergent) =
             if ctx.options().enable_function_attribute_detection {
-                cursor.has_attrs(&[Attribute::MUST_USE, Attribute::NO_RETURN])
+                let [must_use, no_return, no_return_cpp] = cursor.has_attrs(&[
+                    Attribute::MUST_USE,
+                    Attribute::NO_RETURN,
+                    Attribute::NO_RETURN_CPP,
+                ]);
+                (must_use, no_return || no_return_cpp)
             } else {
                 Default::default()
             };