This ICEs

GrigorenkoPV · GrigorenkoPV · commit e8ef4efa8d8f · 2025-02-10T02:03:36.000+03:00
diff --git a/tests/ui/intrinsics/reify-intrinsic.rs b/tests/ui/intrinsics/reify-intrinsic.rs
@@ -26,6 +26,12 @@ fn c() -> [unsafe fn(f32) -> f32; 2] {
     fs
 }
 
+fn call_by_ptr() {
+    let ptr: fn(u8, u8) -> u8 = std::intrinsics::wrapping_add::<u8>;
+    let res = ptr(u8::MAX, 1);
+    assert_eq!(res, 0);
+}
+
 fn main() {
     unsafe {
         assert_eq!(a()(-1), !0);
@@ -35,4 +41,6 @@ fn main() {
         assert_eq!(floorf32_ptr(1.5), 1.0);
         assert_eq!(log2f32_ptr(2.0), 1.0);
     }
+
+    call_by_ptr();
 }

Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,12 @@ fn c() -> [unsafe fn(f32) -> f32; 2] {`
`26`	`26`	`fs`
`27`	`27`	`}`
`28`	`28`
	`29`	`+fn call_by_ptr() {`
	`30`	`+ let ptr: fn(u8, u8) -> u8 = std::intrinsics::wrapping_add::<u8>;`
	`31`	`+ let res = ptr(u8::MAX, 1);`
	`32`	`+ assert_eq!(res, 0);`
	`33`	`+}`
	`34`	`+`
`29`	`35`	`fn main() {`
`30`	`36`	`unsafe {`
`31`	`37`	`assert_eq!(a()(-1), !0);`
`@@ -35,4 +41,6 @@ fn main() {`
`35`	`41`	`assert_eq!(floorf32_ptr(1.5), 1.0);`
`36`	`42`	`assert_eq!(log2f32_ptr(2.0), 1.0);`
`37`	`43`	`}`
	`44`	`+`
	`45`	`+ call_by_ptr();`
`38`	`46`	`}`