bors 64ad036307 Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obk ...

Miri: fix error on dangling pointer inbounds offset

We used to claim that the pointer was "dereferenced", but that is just not true.

Can be reviewed commit-by-commit. The first commit is an unrelated rename that didn't seem worth splitting into its own PR.

r? `@oli-obk`

2023-08-02 09:12:32 +00:00

..

auxiliary

…

heap

properly track why we checked whether a pointer is in-bounds

2023-08-01 17:57:13 +02:00

simd

…

stable-metric

Remove const eval limit and implement an exponential backoff lint instead

2023-05-31 10:24:17 +00:00

assign-to-static-within-other-static.rs

…

assign-to-static-within-other-static.stderr

…

conditional_array_execution.rs

…

conditional_array_execution.stderr

…

const_fn_ptr_fail2.rs

…

const_fn_ptr_fail2.stderr

…

const_fn_ptr_fail.rs

…

const_fn_ptr_fail.stderr

…

const_fn_ptr.rs

…

const_fn_ptr.stderr

…

const_fn_target_feature.rs

Add const-eval test for #[target_feature(enable = ...)] function calls

2023-07-16 13:20:06 +02:00

const_fn_target_feature.stderr

Add const-eval test for #[target_feature(enable = ...)] function calls

2023-07-16 13:20:06 +02:00

const_let.rs

…

const_let.stderr

…

const_panic_2021.rs

…

const_panic_2021.stderr

…

const_panic_libcore_bin.rs

…

const_panic_libcore_bin.stderr

…

const_panic_stability.e2018.stderr

…

const_panic_stability.e2021.stderr

…

const_panic_stability.rs

…

const_panic_track_caller.rs

…

const_panic_track_caller.stderr

…

const_panic.rs

…

const_panic.stderr

…

const_prop_errors.rs

…

const_raw_ptr_ops2.rs

…

const_raw_ptr_ops2.stderr

…

const_raw_ptr_ops.rs

fix library and rustdoc tests

2023-04-16 11:38:52 +00:00

const_raw_ptr_ops.stderr

fix library and rustdoc tests

2023-04-16 11:38:52 +00:00

const_signed_pat.rs

…

const-eval-intrinsic-promotion.rs

…

const-eval-intrinsic-promotion.stderr

…

const-eval-overflow2.rs

…

const-eval-overflow2.stderr

…

const-eval-overflow2b.rs

…

const-eval-overflow2b.stderr

…

const-eval-overflow2c.rs

…

const-eval-overflow2c.stderr

…

const-eval-overflow-2.rs

Perform match checking on THIR.

2023-04-03 15:59:21 +00:00

const-eval-overflow-2.stderr

Perform match checking on THIR.

2023-04-03 15:59:21 +00:00

const-eval-overflow-3.rs

…

const-eval-overflow-3.stderr

…

const-eval-overflow-3b.rs

…

const-eval-overflow-3b.stderr

Don't sort strings right after we just sorted by types

2023-06-27 23:31:06 +00:00

const-eval-overflow-4.rs

…

const-eval-overflow-4.stderr

…

const-eval-overflow-4b.rs

…

const-eval-overflow-4b.stderr

Don't sort strings right after we just sorted by types

2023-06-27 23:31:06 +00:00

const-eval-query-stack.rs

Auto merge of #112849 - m-ou-se:panic-message-format, r=thomcc

2023-08-01 14:15:09 +00:00

const-eval-query-stack.stderr

…

const-eval-span.rs

…

const-eval-span.stderr

…

const-pointer-values-in-various-types.64bit.stderr

…

const-pointer-values-in-various-types.rs

…

dangling.rs

…

dangling.stderr

…

dont_promote_unstable_const_fn_cross_crate.rs

…

dont_promote_unstable_const_fn_cross_crate.stderr

…

dont_promote_unstable_const_fn.rs

…

dont_promote_unstable_const_fn.stderr

…

double_check2.rs

…

double_check.rs

…

duration_conversion.rs

…

enum_discr.rs

…

erroneous-const2.rs

Adjust UI tests for unit_bindings

2023-06-12 20:24:48 +08:00

erroneous-const2.stderr

Adjust UI tests for unit_bindings

2023-06-12 20:24:48 +08:00

erroneous-const.rs

Adjust UI tests for unit_bindings

2023-06-12 20:24:48 +08:00

erroneous-const.stderr

Adjust UI tests for unit_bindings

2023-06-12 20:24:48 +08:00

extern_fat_pointer.rs

…

format.rs

…

format.stderr

Suppress "erroneous constant used" for constants tainted by errors

2023-05-15 00:00:00 +00:00

generic-slice.rs

…

generic-slice.stderr

Extend and use hir::Node::body_id

2023-04-19 19:13:45 +00:00

ice-generic-assoc-const.rs

…

ice-packed.rs

…

index_out_of_bounds_propagated.rs

…

index_out_of_bounds_propagated.stderr

…

index_out_of_bounds.rs

…

index_out_of_bounds.stderr

…

index-out-of-bounds-never-type.rs

…

index-out-of-bounds-never-type.stderr

…

infinite_loop.rs

Remove const eval limit and implement an exponential backoff lint instead

2023-05-31 10:24:17 +00:00

infinite_loop.stderr

Remove const eval limit and implement an exponential backoff lint instead

2023-05-31 10:24:17 +00:00

issue-43197.rs

…

issue-43197.stderr

…

issue-44578.rs

…

issue-44578.stderr

Only enable ConstProp at mir-opt-level >= 2.

2023-04-15 07:46:46 +00:00

issue-47971.rs

…

issue-49296.rs

…

issue-49296.stderr

properly track why we checked whether a pointer is in-bounds

2023-08-01 17:57:13 +02:00

issue-50706.rs

…

issue-50814-2.rs

…

issue-50814-2.stderr

…

issue-50814.rs

…

issue-50814.stderr

…

issue-51300.rs

…

issue-52475.rs

Remove const eval limit and implement an exponential backoff lint instead

2023-05-31 10:24:17 +00:00

issue-52475.stderr

Remove const eval limit and implement an exponential backoff lint instead

2023-05-31 10:24:17 +00:00

issue-53157.rs

…

issue-53401.rs

…

issue-55541.rs

…

issue-64908.rs

…

issue-64970.rs

…

issue-65394.rs

…

issue-65394.stderr

…

issue-70723.rs

Remove const eval limit and implement an exponential backoff lint instead

2023-05-31 10:24:17 +00:00

issue-70723.stderr

Remove const eval limit and implement an exponential backoff lint instead

2023-05-31 10:24:17 +00:00

issue-70804-fn-subtyping.rs

…

issue-84957-const-str-as-bytes.rs

…

issue-85155.rs

…

issue-85155.stderr

…

issue-85907.rs

…

issue-85907.stderr

…

issue-91827-extern-types.rs

…

issue-100878.rs

Ensure mir_drops_elaborated_and_const_checked when requiring codegen.

2023-04-21 16:14:43 +00:00

issue-104390.rs

…

issue-104390.stderr

…

livedrop.rs

…

livedrop.stderr

…

match-test-ptr-null.rs

…

match-test-ptr-null.stderr

…

mod-static-with-const-fn.rs

…

mod-static-with-const-fn.stderr

…

no_lint_for_statically_known_error.rs

…

nonnull_as_ref_ub.rs

add tests for const NonNull::as_ref

2023-05-23 12:52:35 +00:00

nonnull_as_ref_ub.stderr

add tests for const NonNull::as_ref

2023-05-23 12:52:35 +00:00

nonnull_as_ref.rs

add tests for const NonNull::as_ref

2023-05-23 12:52:35 +00:00

nrvo.rs

…

panic-assoc-never-type.rs

Add CastKind::Transmute to MIR

2023-03-22 15:15:41 -07:00

panic-assoc-never-type.stderr

…

panic-never-type.rs

…

panic-never-type.stderr

…

partial_ptr_overwrite.rs

…

partial_ptr_overwrite.stderr

…

promote_mutable_zst_mir_borrowck.rs

…

promote-static.rs

…

promoted_const_fn_fail_deny_const_err.rs

…

promoted_const_fn_fail_deny_const_err.stderr

…

promoted_const_fn_fail.rs

…

promoted_const_fn_fail.stderr

…

promoted_errors.noopt.stderr

…

promoted_errors.opt_with_overflow_checks.stderr

…

promoted_errors.opt.stderr

…

promoted_errors.rs

Adjust UI tests for unit_bindings

2023-06-12 20:24:48 +08:00

promoted_raw_ptr_ops.rs

…

promoted_raw_ptr_ops.stderr

…

raw-bytes.32bit.stderr

bless more

2023-07-25 14:30:58 +02:00

raw-bytes.64bit.stderr

interpret: refactor projection code to work on a common trait, and use that for visitors

2023-07-25 14:30:58 +02:00

raw-bytes.rs

…

ref_to_int_match.32bit.stderr

Perform match checking on THIR.

2023-04-03 15:59:21 +00:00

ref_to_int_match.64bit.stderr

Perform match checking on THIR.

2023-04-03 15:59:21 +00:00

ref_to_int_match.rs

Perform match checking on THIR.

2023-04-03 15:59:21 +00:00

shift_overflow.rs

…

shift_overflow.stderr

…

simple_with_undef.rs

…

size-of-t.rs

…

size-of-t.stderr

…

strlen.rs

…

transmute-const-promotion.rs

…

transmute-const-promotion.stderr

…

transmute-const.32bit.stderr

…

transmute-const.64bit.stderr

…

transmute-const.rs

…

transmute-size-mismatch.rs

Add CastKind::Transmute to MIR

2023-03-22 15:15:41 -07:00

transmute-size-mismatch.stderr

Add CastKind::Transmute to MIR

2023-03-22 15:15:41 -07:00

ub-enum-overwrite.rs

…

ub-enum-overwrite.stderr

…

ub-enum.32bit.stderr

bless more

2023-07-25 14:30:58 +02:00

ub-enum.64bit.stderr

interpret: refactor projection code to work on a common trait, and use that for visitors

2023-07-25 14:30:58 +02:00

ub-enum.rs

interpret: refactor projection code to work on a common trait, and use that for visitors

2023-07-25 14:30:58 +02:00

ub-incorrect-vtable.32bit.stderr

…

ub-incorrect-vtable.64bit.stderr

…

ub-incorrect-vtable.rs

…

ub-int-array.32bit.stderr

…

ub-int-array.64bit.stderr

…

ub-int-array.rs

…

ub-nonnull.chalk.64bit.stderr

…

ub-nonnull.rs

…

ub-nonnull.stderr

…

ub-ref-ptr.rs

Stabilize const_ptr_read

2023-05-05 20:36:21 +02:00

ub-ref-ptr.stderr

interpret: support projecting into Place::Local without force_allocation

2023-07-24 15:35:47 +02:00

ub-slice-get-unchecked.rs

fix library and rustdoc tests

2023-04-16 11:38:52 +00:00

ub-slice-get-unchecked.stderr

fix library and rustdoc tests

2023-04-16 11:38:52 +00:00

ub-uninhabit.rs

Detect uninhabited types early in const eval.

2023-03-21 11:09:27 +00:00

ub-uninhabit.stderr

Use translatable diagnostics in rustc_const_eval

2023-06-01 14:45:18 +00:00

ub-upvars.32bit.stderr

…

ub-upvars.64bit.stderr

…

ub-upvars.rs

…

ub-wide-ptr.chalk.64bit.stderr

…

ub-wide-ptr.rs

…

ub-wide-ptr.stderr

…

union_promotion.rs

…

union_promotion.stderr

…

union-const-eval-field.rs

…

union-const-eval-field.stderr

…

union-ice.rs

…

union-ice.stderr

…

union-ub.32bit.stderr

…

union-ub.64bit.stderr

…

union-ub.rs

…

unused-broken-const.rs

…

unused-broken-const.stderr

…

unwind-abort.rs

Adjust UI tests for unit_bindings

2023-06-12 20:24:48 +08:00

unwind-abort.stderr

…

valid-const.rs

…

validate_uninhabited_zsts.32bit.stderr

Use translatable diagnostics in rustc_const_eval

2023-06-01 14:45:18 +00:00

validate_uninhabited_zsts.64bit.stderr

Use translatable diagnostics in rustc_const_eval

2023-06-01 14:45:18 +00:00

validate_uninhabited_zsts.rs

Detect uninhabited types early in const eval.

2023-03-21 11:09:27 +00:00

write-to-uninhabited-enum-variant.rs

…

zst_operand_eval.rs

…