"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

---