add tests

2 files changed, 16 insertions, 0 deletions

diff --git a/tests/expectations/tests/noreturn.rs b/tests/expectations/tests/noreturn.rs
new file mode 100644
index 00000000..fa81ee76
--- /dev/null
+++ b/tests/expectations/tests/noreturn.rs
@@ -0,0 +1,13 @@
+#![allow(
+    dead_code,
+    non_snake_case,
+    non_camel_case_types,
+    non_upper_case_globals
+)]
+
+extern "C" {
+    pub fn f() -> !;
+}
+extern "C" {
+    pub fn g();
+}
diff --git a/tests/headers/noreturn.h b/tests/headers/noreturn.h
new file mode 100644
index 00000000..9ce68518
--- /dev/null
+++ b/tests/headers/noreturn.h
@@ -0,0 +1,3 @@
+_Noreturn void f(void);
+// TODO (pvdrz): figure out how to handle this case.
+__attribute__((noreturn)) void g(void);