"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/test/mir-opt/const_prop/bad_op_unsafe_oob_for_slices/64bit/rustc.main.ConstProp.diff" between
rustc-1.45.0-src.tar.xz and rustc-1.45.2-src.tar.xz

About: Rust is a systems programming language that runs "blazingly fast, prevents nearly all segfaults, and guarantees thread safety" (developed by Mozilla).

rustc.main.ConstProp.diff  (rustc-1.45.0-src.tar.xz):rustc.main.ConstProp.diff  (rustc-1.45.2-src.tar.xz)
skipping to change at line 49 skipping to change at line 49
StorageDead(_3); // scope 0 at $DIR/bad_op_unsafe_oob_ for_slices.rs:5:35: 5:36 StorageDead(_3); // scope 0 at $DIR/bad_op_unsafe_oob_ for_slices.rs:5:35: 5:36
StorageLive(_5); // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:13: 7:15 StorageLive(_5); // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:13: 7:15
StorageLive(_6); // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:23: 7:24 StorageLive(_6); // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:23: 7:24
_6 = const 3usize; // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:23: 7:24 _6 = const 3usize; // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:23: 7:24
// ty::Const // ty::Const
// + ty: usize // + ty: usize
// + val: Value(Scalar(0x000000000000 0003)) // + val: Value(Scalar(0x000000000000 0003))
// mir::Constant // mir::Constant
// + span: $DIR/bad_op_unsafe_oob_for _slices.rs:7:23: 7:24 // + span: $DIR/bad_op_unsafe_oob_for _slices.rs:7:23: 7:24
// + literal: Const { ty: usize, val: Value(Scalar(0x0000000000000003)) } // + literal: Const { ty: usize, val: Value(Scalar(0x0000000000000003)) }
- _7 = Len((*_1)); // scope 2 at $DIR/bad_op_unsafe_oob_ _7 = Len((*_1)); // scope 2 at $DIR/bad_op_unsafe_oob_
for_slices.rs:7:18: 7:25 for_slices.rs:7:18: 7:25
- _8 = Lt(_6, _7); // scope 2 at $DIR/bad_op_unsafe_oob_ _8 = Lt(_6, _7); // scope 2 at $DIR/bad_op_unsafe_oob_
for_slices.rs:7:18: 7:25 for_slices.rs:7:18: 7:25
+ _7 = const 3usize; // scope 2 at $DIR/bad_op_unsafe_oob_
for_slices.rs:7:18: 7:25
+ // ty::Const
+ // + ty: usize
+ // + val: Value(Scalar(0x000000000000
0003))
+ // mir::Constant
+ // + span: $DIR/bad_op_unsafe_oob_for
_slices.rs:7:18: 7:25
+ // + literal: Const { ty: usize, val:
Value(Scalar(0x0000000000000003)) }
+ _8 = const false; // scope 2 at $DIR/bad_op_unsafe_oob_
for_slices.rs:7:18: 7:25
+ // ty::Const
+ // + ty: bool
+ // + val: Value(Scalar(0x00))
+ // mir::Constant
+ // + span: $DIR/bad_op_unsafe_oob_for
_slices.rs:7:18: 7:25
+ // + literal: Const { ty: bool, val:
Value(Scalar(0x00)) }
assert(move _8, "index out of bounds: the len is {} but the index is { }", move _7, _6) -> bb1; // scope 2 at $DIR/bad_op_unsafe_oob_for_slices.rs:7:18 : 7:25 assert(move _8, "index out of bounds: the len is {} but the index is { }", move _7, _6) -> bb1; // scope 2 at $DIR/bad_op_unsafe_oob_for_slices.rs:7:18 : 7:25
} }
bb1: { bb1: {
_5 = (*_1)[_6]; // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:18: 7:25 _5 = (*_1)[_6]; // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:18: 7:25
StorageDead(_6); // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:25: 7:26 StorageDead(_6); // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:7:25: 7:26
_0 = const (); // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:6:5: 8:6 _0 = const (); // scope 2 at $DIR/bad_op_unsafe_oob_ for_slices.rs:6:5: 8:6
// ty::Const // ty::Const
// + ty: () // + ty: ()
// + val: Value(Scalar(<ZST>)) // + val: Value(Scalar(<ZST>))
 End of changes. 1 change blocks. 
25 lines changed or deleted 4 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)