Skip to content
Closed
Changes from 1 commit
Commits
Show all changes
58 commits
Select commit Hold shift + click to select a range
d3299af
transmute: caution against int2ptr transmutation
RalfJung Mar 12, 2024
96674fc
Preparing for merge from rustc
Mar 17, 2024
0dff16a
Merge from rustc
Mar 17, 2024
caa57dd
Auto merge of #3384 - rust-lang:rustup-2024-03-17, r=RalfJung
bors Mar 17, 2024
b4cb2ee
fix Zulip topic for PR-creation message
RalfJung Mar 17, 2024
dd5b4f5
Auto merge of #3386 - RalfJung:ci, r=RalfJung
bors Mar 17, 2024
a6f362f
make 'invalidate' benchmark shorter
RalfJung Mar 17, 2024
c99c314
add exposed-provenance example where we miss UB
RalfJung Mar 18, 2024
d7864d2
Auto merge of #3388 - RalfJung:exposed, r=RalfJung
bors Mar 18, 2024
311024c
rename 'invalidate' bench to something more clear
RalfJung Mar 18, 2024
b648a9a
Auto merge of #3387 - RalfJung:bench, r=RalfJung
bors Mar 18, 2024
74b68af
Preparing for merge from rustc
Mar 19, 2024
be6c170
Merge from rustc
Mar 19, 2024
bca5e2c
Auto merge of #3390 - rust-lang:rustup-2024-03-19, r=oli-obk
bors Mar 19, 2024
f4adb1e
add notes on how to store 'ptr or int'
RalfJung Mar 14, 2024
92a841d
remove duplicate test
RalfJung Mar 19, 2024
67966f3
Auto merge of #3391 - RalfJung:dedup, r=RalfJung
bors Mar 19, 2024
e539804
run full mono-item collection on all MIRI_BE_RUSTC=target builds
RalfJung Mar 19, 2024
6bcd9bc
Auto merge of #3392 - RalfJung:post-mono, r=oli-obk
bors Mar 20, 2024
89bc81f
Allow `llvm.x86.sse2.pause` instrinsic to be called without SSE2
eduardosm Mar 21, 2024
f61f45f
Auto merge of #3393 - eduardosm:x86-pause-without-sse2, r=RalfJung
bors Mar 21, 2024
5719d09
Preparing for merge from rustc
RalfJung Mar 22, 2024
ee57d2b
Merge from rustc
RalfJung Mar 22, 2024
2fae357
Auto merge of #3394 - RalfJung:rustup, r=RalfJung
bors Mar 22, 2024
063f011
add test for #52334
matthiaskrgr Mar 22, 2024
c3bde24
add test for #64784 Declarative macros can create infinite glob impo…
matthiaskrgr Mar 22, 2024
72d2b59
add test for str as extern "C" arg causes compiler panic #80125
matthiaskrgr Mar 22, 2024
6b0dfc5
add test for ice 83056 "bad input type for cast"
matthiaskrgr Mar 22, 2024
c7ef3cd
add test for #88212 ICE when lambda captures unsized local
matthiaskrgr Mar 22, 2024
3c1db06
add test for 88421 ICE: could not fully normalize `&<MyType as std::o…
matthiaskrgr Mar 22, 2024
efc57fb
add test for ice #90691 ICE: resolution failed during building vtable…
matthiaskrgr Mar 22, 2024
15ef7a0
add test for stack overflow with recursive type #98842
matthiaskrgr Mar 22, 2024
1fcf2ea
Uniquify ReError on input mode in canonicalizer
compiler-errors Mar 22, 2024
0115f73
Preparing for merge from rustc
Mar 23, 2024
89b9b67
Merge from rustc
Mar 23, 2024
5039f8b
fmt
Mar 23, 2024
f0d864f
Auto merge of #3395 - rust-lang:rustup-2024-03-23, r=saethlin
bors Mar 23, 2024
d7eeb71
add issue numbers via // issue: rust-lang/rust#ISSUE_NUM directive
matthiaskrgr Mar 22, 2024
c87ec61
add support for missing SIMD float intrinsics
RalfJung Mar 23, 2024
e19cc5e
Auto merge of #3396 - RalfJung:simd-float, r=RalfJung
bors Mar 23, 2024
12e3629
add test for #99945
matthiaskrgr Mar 23, 2024
2f9a240
add test for opaque type with non-universal region substs #101852
matthiaskrgr Mar 23, 2024
e54bff7
add test for #104779 opaque types, patterns and subtyping ICE: Index…
matthiaskrgr Mar 23, 2024
f1f287f
add test for ICE "raw ptr comparison should already be caught in the…
matthiaskrgr Mar 23, 2024
f8aeac8
add test for #106423
matthiaskrgr Mar 23, 2024
cc422ce
add test for ICE #106444
matthiaskrgr Mar 23, 2024
f2bc9c5
add test for #106874 ICE BoundUniversalRegionError
matthiaskrgr Mar 23, 2024
368bfb2
add test for #107228
matthiaskrgr Mar 23, 2024
2d610f7
Report retags as distinct from real memory accesses for data races
Zoxc Mar 17, 2024
9aea37d
address review feedback
matthiaskrgr Mar 23, 2024
246f746
Add test in `higher-ranked`
Luv-Ray Mar 23, 2024
59b2945
Auto merge of #3385 - Zoxc:read-types, r=RalfJung
bors Mar 23, 2024
4e721c0
Rollup merge of #122379 - RalfJung:int2ptr-transmute, r=m-ou-se
matthiaskrgr Mar 23, 2024
6b4f9c9
Rollup merge of #122895 - matthiaskrgr:ice-tests-5xxxx-to-9xxxx, r=fm…
matthiaskrgr Mar 23, 2024
2e57c77
Rollup merge of #122907 - compiler-errors:uniquify-reerror, r=lcnr
matthiaskrgr Mar 23, 2024
d1bb4cd
Rollup merge of #122942 - Luv-Ray:master, r=lcnr
matthiaskrgr Mar 23, 2024
bad56c4
Rollup merge of #122943 - matthiaskrgr:ice-tests-9xxxx-to-12xxxx, r=f…
matthiaskrgr Mar 23, 2024
70b2185
Rollup merge of #122952 - RalfJung:miri, r=RalfJung
matthiaskrgr Mar 23, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fmt
  • Loading branch information
The Miri Cronjob Bot committed Mar 23, 2024
commit 5039f8b1e98720893bc2e32912e8d0535587c9e9
6 changes: 2 additions & 4 deletions src/tools/miri/src/machine.rs
Original file line number Diff line number Diff line change
Expand Up @@ -372,10 +372,8 @@ pub struct PrimitiveLayouts<'tcx> {
impl<'mir, 'tcx: 'mir> PrimitiveLayouts<'tcx> {
fn new(layout_cx: LayoutCx<'tcx, TyCtxt<'tcx>>) -> Result<Self, &'tcx LayoutError<'tcx>> {
let tcx = layout_cx.tcx;
let mut_raw_ptr =
Ty::new_mut_ptr(tcx, tcx.types.unit);
let const_raw_ptr =
Ty::new_imm_ptr(tcx, tcx.types.unit);
let mut_raw_ptr = Ty::new_mut_ptr(tcx, tcx.types.unit);
let const_raw_ptr = Ty::new_imm_ptr(tcx, tcx.types.unit);
Ok(Self {
unit: layout_cx.layout_of(Ty::new_unit(tcx))?,
i8: layout_cx.layout_of(tcx.types.i8)?,
Expand Down