]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 22da719 d7a2d9a)
Rollup merge of #97395 - RalfJung:call-abi, r=oli-obk
authorMichael Goulet <michael@errs.io>
Mon, 30 May 2022 22:57:28 +0000 (15:57 -0700)
committerGitHub <noreply@github.com>
Mon, 30 May 2022 22:57:28 +0000 (15:57 -0700)
commit12ba87b9964314535e68a1ae9a5616acac4a438a
tree1464137c2ab872c112baa858113668f0f41a5d28tree | snapshot
parent22da719762c1d101c20f59620f1445f5eaf75bbacommit | diff
parentd7a2d9ae0e7e4b3c5811bdfd4809cfc772062140commit | diff
Rollup merge of #97395 - RalfJung:call-abi, r=oli-obk

Miri call ABI check: ensure type size+align stay the same

We should almost certainly not accept calls where caller and callee disagree on the size or alignment of the type.

The checks we do *almost* imply that, except that `ScalarPair` types can have `repr(align)` and thus differ in size/align even when they are pairs of the same primitive type.

r? ``@oli-obk``
Empowering everyone to build reliable and efficient software.