handle c++ [[noreturn]] attribute

Author: pvdrz

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.

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()
             };

tests/expectations/tests/noreturn.rs

@@ -2,3 +2,4 @@
 _Noreturn void f(void);
 // TODO (pvdrz): figure out how to handle this case.
 __attribute__((noreturn)) void g(void);
+[[noreturn]] void h(void);