diff options
| -rw-r--r-- | src/attributes.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/attributes.rs b/src/attributes.rs index fbafc981f66..0fda9e7ae50 100644 --- a/src/attributes.rs +++ b/src/attributes.rs @@ -118,6 +118,9 @@ pub fn from_fn_attrs<'gcc, 'tcx>( if codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::COLD) { func.add_attribute(FnAttribute::Cold); } + if codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::FFI_RETURNS_TWICE) { + func.add_attribute(FnAttribute::ReturnsTwice); + } } let function_features = |