File tree 1 file changed +18
-16
lines changed
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 {
25
25
}
26
26
27
27
// 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
+ // }
43
45
44
46
// Demo in #48012
45
47
46
48
fn foo3r ( n : u64 ) -> u64 {
47
49
let mut count = 0 ;
48
50
( 0 ..n) . for_each ( |_| {
49
- ( 0 ..= n) . rev ( ) . for_each ( |j| {
51
+ ( 0 ..=n) . rev ( ) . for_each ( |j| {
50
52
count += j;
51
53
} )
52
54
} ) ;
You can’t perform that action at this time.
0 commit comments