diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-02-02 14:47:59 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-02-12 17:55:36 +0000 |
| commit | f35a2bd401cad2ca15dea8c82489ef9c7b67c4f6 (patch) | |
| tree | 0154da2873c45b1e1232135a615b8ef48645a166 /tests/codegen | |
| parent | 6b73fe2d0977f9b1a98242b8ecf359c7804640e4 (diff) | |
| download | rust-f35a2bd401cad2ca15dea8c82489ef9c7b67c4f6.tar.gz rust-f35a2bd401cad2ca15dea8c82489ef9c7b67c4f6.zip | |
Support safe intrinsics with fallback bodies
Turn `is_val_statically_known` into such an intrinsic to demonstrate. It is perfectly safe to call after all.
Diffstat (limited to 'tests/codegen')
| -rw-r--r-- | tests/codegen/is_val_statically_known.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/codegen/is_val_statically_known.rs b/tests/codegen/is_val_statically_known.rs index 8f084f6c54b..95f6466b254 100644 --- a/tests/codegen/is_val_statically_known.rs +++ b/tests/codegen/is_val_statically_known.rs @@ -11,7 +11,7 @@ pub enum B { #[inline] pub fn _u32(a: u32) -> i32 { - if unsafe { is_val_statically_known(a) } { 1 } else { 0 } + if is_val_statically_known(a) { 1 } else { 0 } } // CHECK-LABEL: @_u32_true( @@ -30,7 +30,7 @@ pub fn _u32_false(a: u32) -> i32 { #[inline] pub fn _bool(b: bool) -> i32 { - if unsafe { is_val_statically_known(b) } { 3 } else { 2 } + if is_val_statically_known(b) { 3 } else { 2 } } // CHECK-LABEL: @_bool_true( |