add tests

This commit is contained in:
Christian Poveda 2022-08-31 14:44:42 -05:00 committed by Emilio Cobos Álvarez
parent 250150d015
commit 1704775d91
2 changed files with 16 additions and 0 deletions

13
tests/expectations/tests/noreturn.rs generated Normal file
View File

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

3
tests/headers/noreturn.h Normal file
View File

@ -0,0 +1,3 @@
_Noreturn void f(void);
// TODO (pvdrz): figure out how to handle this case.
__attribute__((noreturn)) void g(void);