diff options
author | Christian Poveda <christian.poveda@ferrous-systems.com> | 2022-09-01 10:59:06 -0500 |
---|---|---|
committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2022-09-22 20:25:33 -1000 |
commit | 3da6026afd5715715feeb4a8668a91024d71830e (patch) | |
tree | a04578f52f7a66eba9f61db732afbc2696b8fca4 /src | |
parent | b8f3920ad11b82673d06f2d25bb663e2b7efe491 (diff) |
gate `_Noreturn` detection behind `--enable-fucntion-attribute-detection`
Diffstat (limited to 'src')
-rw-r--r-- | src/ir/function.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ir/function.rs b/src/ir/function.rs index 6b59649c..b829e601 100644 --- a/src/ir/function.rs +++ b/src/ir/function.rs @@ -381,7 +381,9 @@ impl FunctionSig { ) -> Result<Self, ParseError> { use clang_sys::*; debug!("FunctionSig::from_ty {:?} {:?}", ty, cursor); - let is_divergent = cursor.has_no_return_attr(); + + let is_divergent = ctx.options().enable_function_attribute_detection && + cursor.has_no_return_attr(); // Skip function templates let kind = cursor.kind(); |