Rollup merge of #69106 - RReverser:wasi-fs-copy, r=KodrAus

[rust.git] / src / test / codegen / issue-45222.rs

diff --git a/src/test/codegen/issue-45222.rs b/src/test/codegen/issue-45222.rs
index 894927c5c33512cc5129d31c6474c8cddfb9e307..e9b05e648b442776de8cae7d6fb77e537b2f104d 100644 (file)
--- a/src/test/codegen/issue-45222.rs
+++ b/src/test/codegen/issue-45222.rs
@@ -1,9 +1,3 @@
-// ignore-test
-
-// FIXME:
-// LLVM can't optimize some loops with a large number of iterations because of
-// @llvm.sideeffect() (see also #59546)
-
 // compile-flags: -O
 // ignore-debug: the debug assertions get in the way
 
@@ -31,28 +25,30 @@ pub fn check_foo2() -> u64 {
 }
 
 // Simplified example of #45222
-
-fn triangle_inc(n: u64) -> u64 {
-    let mut count = 0;
-    for j in 0 ..= n {
-        count += j;
-    }
-    count
-}
-
-// CHECK-LABEL: @check_triangle_inc
-#[no_mangle]
-pub fn check_triangle_inc() -> u64 {
-    // CHECK: ret i64 5000050000
-    triangle_inc(100000)
-}
+//
+// Temporarily disabled in #68835 to fix a soundness hole.
+//
+// fn triangle_inc(n: u64) -> u64 {
+//     let mut count = 0;
+//     for j in 0 ..= n {
+//         count += j;
+//     }
+//     count
+// }
+//
+// // COMMENTEDCHECK-LABEL: @check_triangle_inc
+// #[no_mangle]
+// pub fn check_triangle_inc() -> u64 {
+//     // COMMENTEDCHECK: ret i64 5000050000
+//     triangle_inc(100000)
+// }
 
 // Demo in #48012
 
 fn foo3r(n: u64) -> u64 {
     let mut count = 0;
     (0..n).for_each(|_| {
-        (0 ..= n).rev().for_each(|j| {
+        (0..=n).rev().for_each(|j| {
             count += j;
         })
     });