Skip to content

miri: support 'promising' alignment for symbolic alignment check#117840

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:miri-promise-align
Dec 4, 2023
Merged

miri: support 'promising' alignment for symbolic alignment check#117840
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:miri-promise-align

move calling miri_promise_symbolic_alignment to a shared helper

2a3fcc0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs