rust/tests/ui/consts/offset_from_ub.stderr

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:19:27
   |
LL |     let offset = unsafe { ptr_offset_from(field_ptr, base_ptr) };
   |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called on pointers into different allocations

error[E0080]: evaluation of constant value failed
  --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
   |
   = note: `ptr_offset_from` called on pointers into different allocations
   |
note: inside `std::ptr::const_ptr::<impl *const u8>::offset_from`
  --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
note: inside `NOT_PTR`
  --> $DIR/offset_from_ub.rs:25:14
   |
LL |     unsafe { (42 as *const u8).offset_from(&5u8) as usize }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:32:14
   |
LL |     unsafe { ptr_offset_from(field_ptr, base_ptr as *const u16) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ exact_div: 1_isize cannot be divided by 2_isize without remainder

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:39:14
   |
LL |     unsafe { ptr_offset_from(ptr2, ptr1) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds `offset_from` origin: expected a pointer to $BYTES bytes of memory, but got 0x8[noalloc] which is a dangling pointer (it has no provenance)

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:48:14
   |
LL |     unsafe { ptr_offset_from(end_ptr, start_ptr) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds `offset_from` origin: expected a pointer to $BYTES bytes of memory, but got ALLOC0 which is only $BYTES bytes from the end of the allocation

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:57:14
   |
LL |     unsafe { ptr_offset_from(start_ptr, end_ptr) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds `offset_from` origin: expected a pointer to the end of $BYTES bytes of memory, but got ALLOC1+0xa which does not have enough space to the beginning of the allocation

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:66:14
   |
LL |     unsafe { ptr_offset_from_unsigned(field_ptr, base_ptr) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from_unsigned` called on pointers into different allocations

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:73:14
   |
LL |     unsafe { ptr_offset_from(ptr2, ptr1) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called when first pointer is too far ahead of second

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:79:14
   |
LL |     unsafe { ptr_offset_from(ptr1, ptr2) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called when first pointer is too far before second

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:87:14
   |
LL |     unsafe { ptr_offset_from(ptr1, ptr2) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called when first pointer is too far before second

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:94:14
   |
LL |     unsafe { ptr_offset_from_unsigned(p, p.add(2) ) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from_unsigned` called when first pointer has smaller offset than second: 0 < 8

error[E0080]: evaluation of constant value failed
  --> $DIR/offset_from_ub.rs:101:14
   |
LL |     unsafe { ptr_offset_from_unsigned(ptr2, ptr1) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from_unsigned` called when first pointer is too far ahead of second

error[E0080]: evaluation of constant value failed
  --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
   |
   = note: out-of-bounds `offset_from` origin: expected a pointer to $BYTES bytes of memory, but got a null pointer
   |
note: inside `std::ptr::const_ptr::<impl *const u8>::offset_from`
  --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
note: inside `OFFSET_VERY_FAR1`
  --> $DIR/offset_from_ub.rs:110:14
   |
LL |     unsafe { ptr2.offset_from(ptr1) }
   |              ^^^^^^^^^^^^^^^^^^^^^^

error[E0080]: evaluation of constant value failed
  --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
   |
   = note: `ptr_offset_from` called when first pointer is too far before second
   |
note: inside `std::ptr::const_ptr::<impl *const u8>::offset_from`
  --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
note: inside `OFFSET_VERY_FAR2`
  --> $DIR/offset_from_ub.rs:116:14
   |
LL |     unsafe { ptr1.offset_from(ptr2.wrapping_offset(1)) }
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to 14 previous errors

For more information about this error, try `rustc --explain E0080`.
bless you 2021-06-18 12:31:56 -05:00			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:19:27`
Make <*const/mut T>::offset_from `const fn` 2019-08-20 10:51:54 -05:00			`\|`
improve test by using intrinsic directly 2021-06-18 12:43:03 -05:00			`LL \| let offset = unsafe { ptr_offset_from(field_ptr, base_ptr) };`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called on pointers into different allocations
Make <*const/mut T>::offset_from `const fn` 2019-08-20 10:51:54 -05:00
adjust tests 2021-07-12 17:21:35 -05:00			`error[E0080]: evaluation of constant value failed`
mv std libs to library/ 2020-06-11 21:31:49 -05:00			`--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL`
Make <*const/mut T>::offset_from `const fn` 2019-08-20 10:51:54 -05:00			`\|`
Make some diagnostics not depend on the source of what they reference being available 2022-12-09 09:56:23 -06:00			= note: `ptr_offset_from` called on pointers into different allocations
Change CTFE backtraces to use `note` instead of `label` to preserve their order labels are reordered within the file in which they are reported, which can mess up the stack trace 2022-11-29 07:10:42 -06:00			`\|`
Update std::simd usage and test outputs 2023-11-19 18:04:06 -06:00			note: inside `std::ptr::const_ptr::<impl *const u8>::offset_from`
Change CTFE backtraces to use `note` instead of `label` to preserve their order labels are reordered within the file in which they are reported, which can mess up the stack trace 2022-11-29 07:10:42 -06:00			`--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL`
			note: inside `NOT_PTR`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:25:14`
make const_err a future incompat lint 2021-01-30 07:49:22 -06:00			`\|`
adjust tests 2021-07-12 17:21:35 -05:00			`LL \| unsafe { (42 as *const u8).offset_from(&5u8) as usize }`
Change CTFE backtraces to use `note` instead of `label` to preserve their order labels are reordered within the file in which they are reported, which can mess up the stack trace 2022-11-29 07:10:42 -06:00			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
Make <*const/mut T>::offset_from `const fn` 2019-08-20 10:51:54 -05:00
bless you 2021-06-18 12:31:56 -05:00			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:32:14`
Make <*const/mut T>::offset_from `const fn` 2019-08-20 10:51:54 -05:00			`\|`
improve test by using intrinsic directly 2021-06-18 12:43:03 -05:00			`LL \| unsafe { ptr_offset_from(field_ptr, base_ptr as *const u16) }`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ exact_div: 1_isize cannot be divided by 2_isize without remainder`
test offset_from with two integers 2019-11-04 06:30:00 -06:00
adjust tests 2021-07-12 17:21:35 -05:00			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:39:14`
also test different integers 2019-11-04 06:31:29 -06:00			`\|`
adjust tests 2021-07-12 17:21:35 -05:00			`LL \| unsafe { ptr_offset_from(ptr2, ptr1) }`
on a signed deref check, mention the right pointer in the error 2024-07-29 09:40:21 -05:00			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds `offset_from` origin: expected a pointer to $BYTES bytes of memory, but got 0x8[noalloc] which is a dangling pointer (it has no provenance)
also test different integers 2019-11-04 06:31:29 -06:00
adjust offset_from logic: check that both pointers are in-bounds 2022-03-10 17:30:32 -06:00			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:48:14`
adjust offset_from logic: check that both pointers are in-bounds 2022-03-10 17:30:32 -06:00			`\|`
			`LL \| unsafe { ptr_offset_from(end_ptr, start_ptr) }`
on a signed deref check, mention the right pointer in the error 2024-07-29 09:40:21 -05:00			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds `offset_from` origin: expected a pointer to $BYTES bytes of memory, but got ALLOC0 which is only $BYTES bytes from the end of the allocation
adjust offset_from logic: check that both pointers are in-bounds 2022-03-10 17:30:32 -06:00
			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:57:14`
adjust offset_from logic: check that both pointers are in-bounds 2022-03-10 17:30:32 -06:00			`\|`
			`LL \| unsafe { ptr_offset_from(start_ptr, end_ptr) }`
on a signed deref check, mention the right pointer in the error 2024-07-29 09:40:21 -05:00			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out-of-bounds `offset_from` origin: expected a pointer to the end of $BYTES bytes of memory, but got ALLOC1+0xa which does not have enough space to the beginning of the allocation
adjust offset_from logic: check that both pointers are in-bounds 2022-03-10 17:30:32 -06:00
Add `unsigned_offset_from` on pointers Like we have `add`/`sub` which are the `usize` version of `offset`, this adds the `usize` equivalent of `offset_from`. Like how `.add(d)` replaced a whole bunch of `.offset(d as isize)`, you can see from the changes here that it's fairly common that code actually knows the order between the pointers and wants a `usize`, not an `isize`. As a bonus, this can do `sub nuw`+`udiv exact`, rather than `sub`+`sdiv exact`, which can be optimized slightly better because it doesn't have to worry about negatives. That's why the slice iterators weren't using `offset_from`, though I haven't updated that code in this PR because slices are so perf-critical that I'll do it as its own change. This is an intrinsic, like `offset_from`, so that it can eventually be allowed in CTFE. It also allows checking the extra safety condition -- see the test confirming that CTFE catches it if you pass the pointers in the wrong order. 2022-04-09 03:27:47 -05:00			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:66:14`
Add `unsigned_offset_from` on pointers Like we have `add`/`sub` which are the `usize` version of `offset`, this adds the `usize` equivalent of `offset_from`. Like how `.add(d)` replaced a whole bunch of `.offset(d as isize)`, you can see from the changes here that it's fairly common that code actually knows the order between the pointers and wants a `usize`, not an `isize`. As a bonus, this can do `sub nuw`+`udiv exact`, rather than `sub`+`sdiv exact`, which can be optimized slightly better because it doesn't have to worry about negatives. That's why the slice iterators weren't using `offset_from`, though I haven't updated that code in this PR because slices are so perf-critical that I'll do it as its own change. This is an intrinsic, like `offset_from`, so that it can eventually be allowed in CTFE. It also allows checking the extra safety condition -- see the test confirming that CTFE catches it if you pass the pointers in the wrong order. 2022-04-09 03:27:47 -05:00			`\|`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`LL \| unsafe { ptr_offset_from_unsigned(field_ptr, base_ptr) }`
			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from_unsigned` called on pointers into different allocations
Add `unsigned_offset_from` on pointers Like we have `add`/`sub` which are the `usize` version of `offset`, this adds the `usize` equivalent of `offset_from`. Like how `.add(d)` replaced a whole bunch of `.offset(d as isize)`, you can see from the changes here that it's fairly common that code actually knows the order between the pointers and wants a `usize`, not an `isize`. As a bonus, this can do `sub nuw`+`udiv exact`, rather than `sub`+`sdiv exact`, which can be optimized slightly better because it doesn't have to worry about negatives. That's why the slice iterators weren't using `offset_from`, though I haven't updated that code in this PR because slices are so perf-critical that I'll do it as its own change. This is an intrinsic, like `offset_from`, so that it can eventually be allowed in CTFE. It also allows checking the extra safety condition -- see the test confirming that CTFE catches it if you pass the pointers in the wrong order. 2022-04-09 03:27:47 -05:00
			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:73:14`
Add `unsigned_offset_from` on pointers Like we have `add`/`sub` which are the `usize` version of `offset`, this adds the `usize` equivalent of `offset_from`. Like how `.add(d)` replaced a whole bunch of `.offset(d as isize)`, you can see from the changes here that it's fairly common that code actually knows the order between the pointers and wants a `usize`, not an `isize`. As a bonus, this can do `sub nuw`+`udiv exact`, rather than `sub`+`sdiv exact`, which can be optimized slightly better because it doesn't have to worry about negatives. That's why the slice iterators weren't using `offset_from`, though I haven't updated that code in this PR because slices are so perf-critical that I'll do it as its own change. This is an intrinsic, like `offset_from`, so that it can eventually be allowed in CTFE. It also allows checking the extra safety condition -- see the test confirming that CTFE catches it if you pass the pointers in the wrong order. 2022-04-09 03:27:47 -05:00			`\|`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`LL \| unsafe { ptr_offset_from(ptr2, ptr1) }`
			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called when first pointer is too far ahead of second

			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:79:14`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`\|`
			`LL \| unsafe { ptr_offset_from(ptr1, ptr2) }`
			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called when first pointer is too far before second

			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:87:14`
offset_from: "the difference must fit in an isize" is a corollary also, isize::MIN is an impossible distance 2024-07-03 09:04:37 -05:00			`\|`
			`LL \| unsafe { ptr_offset_from(ptr1, ptr2) }`
			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called when first pointer is too far before second

			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:94:14`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`\|`
Add `unsigned_offset_from` on pointers Like we have `add`/`sub` which are the `usize` version of `offset`, this adds the `usize` equivalent of `offset_from`. Like how `.add(d)` replaced a whole bunch of `.offset(d as isize)`, you can see from the changes here that it's fairly common that code actually knows the order between the pointers and wants a `usize`, not an `isize`. As a bonus, this can do `sub nuw`+`udiv exact`, rather than `sub`+`sdiv exact`, which can be optimized slightly better because it doesn't have to worry about negatives. That's why the slice iterators weren't using `offset_from`, though I haven't updated that code in this PR because slices are so perf-critical that I'll do it as its own change. This is an intrinsic, like `offset_from`, so that it can eventually be allowed in CTFE. It also allows checking the extra safety condition -- see the test confirming that CTFE catches it if you pass the pointers in the wrong order. 2022-04-09 03:27:47 -05:00			`LL \| unsafe { ptr_offset_from_unsigned(p, p.add(2) ) }`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from_unsigned` called when first pointer has smaller offset than second: 0 < 8

			`error[E0080]: evaluation of constant value failed`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:101:14`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`\|`
			`LL \| unsafe { ptr_offset_from_unsigned(ptr2, ptr1) }`
			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from_unsigned` called when first pointer is too far ahead of second

			`error[E0080]: evaluation of constant value failed`
			`--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL`
			`\|`
on a signed deref check, mention the right pointer in the error 2024-07-29 09:40:21 -05:00			= note: out-of-bounds `offset_from` origin: expected a pointer to $BYTES bytes of memory, but got a null pointer
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`\|`
Update std::simd usage and test outputs 2023-11-19 18:04:06 -06:00			note: inside `std::ptr::const_ptr::<impl *const u8>::offset_from`
Change CTFE backtraces to use `note` instead of `label` to preserve their order labels are reordered within the file in which they are reported, which can mess up the stack trace 2022-11-29 07:10:42 -06:00			`--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL`
			note: inside `OFFSET_VERY_FAR1`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:110:14`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`\|`
			`LL \| unsafe { ptr2.offset_from(ptr1) }`
Change CTFE backtraces to use `note` instead of `label` to preserve their order labels are reordered within the file in which they are reported, which can mess up the stack trace 2022-11-29 07:10:42 -06:00			`\| ^^^^^^^^^^^^^^^^^^^^^^`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00
			`error[E0080]: evaluation of constant value failed`
			`--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL`
			`\|`
miri: fix offset_from behavior on wildcard pointers 2024-07-27 10:18:35 -05:00			= note: `ptr_offset_from` called when first pointer is too far before second
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`\|`
Update std::simd usage and test outputs 2023-11-19 18:04:06 -06:00			note: inside `std::ptr::const_ptr::<impl *const u8>::offset_from`
Change CTFE backtraces to use `note` instead of `label` to preserve their order labels are reordered within the file in which they are reported, which can mess up the stack trace 2022-11-29 07:10:42 -06:00			`--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL`
			note: inside `OFFSET_VERY_FAR2`
improve dangling/oob errors and make them more uniform 2024-07-27 11:09:50 -05:00			`--> $DIR/offset_from_ub.rs:116:14`
interpret, ptr_offset_from: refactor and test too-far-apart check 2022-07-24 15:01:47 -05:00			`\|`
			`LL \| unsafe { ptr1.offset_from(ptr2.wrapping_offset(1)) }`
Change CTFE backtraces to use `note` instead of `label` to preserve their order labels are reordered within the file in which they are reported, which can mess up the stack trace 2022-11-29 07:10:42 -06:00			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
Add `unsigned_offset_from` on pointers Like we have `add`/`sub` which are the `usize` version of `offset`, this adds the `usize` equivalent of `offset_from`. Like how `.add(d)` replaced a whole bunch of `.offset(d as isize)`, you can see from the changes here that it's fairly common that code actually knows the order between the pointers and wants a `usize`, not an `isize`. As a bonus, this can do `sub nuw`+`udiv exact`, rather than `sub`+`sdiv exact`, which can be optimized slightly better because it doesn't have to worry about negatives. That's why the slice iterators weren't using `offset_from`, though I haven't updated that code in this PR because slices are so perf-critical that I'll do it as its own change. This is an intrinsic, like `offset_from`, so that it can eventually be allowed in CTFE. It also allows checking the extra safety condition -- see the test confirming that CTFE catches it if you pass the pointers in the wrong order. 2022-04-09 03:27:47 -05:00
offset_from: "the difference must fit in an isize" is a corollary also, isize::MIN is an impossible distance 2024-07-03 09:04:37 -05:00			`error: aborting due to 14 previous errors`
Make <*const/mut T>::offset_from `const fn` 2019-08-20 10:51:54 -05:00
bless you 2021-06-18 12:31:56 -05:00			For more information about this error, try `rustc --explain E0080`.