File tree Expand file tree Collapse file tree 1 file changed +18
-16
lines changed Expand file tree Collapse file tree 1 file changed +18
-16
lines changed Original file line number Diff line number Diff line change @@ -25,28 +25,30 @@ pub fn check_foo2() -> u64 {
2525}
2626
2727// Simplified example of #45222
28-
29- fn triangle_inc ( n : u64 ) -> u64 {
30- let mut count = 0 ;
31- for j in 0 ..= n {
32- count += j;
33- }
34- count
35- }
36-
37- // CHECK-LABEL: @check_triangle_inc
38- #[ no_mangle]
39- pub fn check_triangle_inc ( ) -> u64 {
40- // CHECK: ret i64 5000050000
41- triangle_inc ( 100000 )
42- }
28+ //
29+ // Temporarily disabled in #68835 to fix a soundness hole.
30+ //
31+ // fn triangle_inc(n: u64) -> u64 {
32+ // let mut count = 0;
33+ // for j in 0 ..= n {
34+ // count += j;
35+ // }
36+ // count
37+ // }
38+ //
39+ // // COMMENTEDCHECK-LABEL: @check_triangle_inc
40+ // #[no_mangle]
41+ // pub fn check_triangle_inc() -> u64 {
42+ // // COMMENTEDCHECK: ret i64 5000050000
43+ // triangle_inc(100000)
44+ // }
4345
4446// Demo in #48012
4547
4648fn foo3r ( n : u64 ) -> u64 {
4749 let mut count = 0 ;
4850 ( 0 ..n) . for_each ( |_| {
49- ( 0 ..= n) . rev ( ) . for_each ( |j| {
51+ ( 0 ..=n) . rev ( ) . for_each ( |j| {
5052 count += j;
5153 } )
5254 } ) ;
You can’t perform that action at this time.
0 commit comments