Skip to content
Closed
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
3855c54
compiletest: cleanup dylib name calculation
jieyouxu Jul 19, 2024
632f013
rewrite lto-linkage-used-attr to rmake
Oneirical Jul 19, 2024
f307287
rewrite no-duplicate-libs to rmake
Oneirical Jul 19, 2024
6d9d605
rewrite pgo-gen-no-imp-symbols to rmake
Oneirical Jul 19, 2024
7bca516
Get rid of can_eq_shallow
compiler-errors Jul 22, 2024
6310e40
Get rid of infer_ctxt_ext
compiler-errors Jul 22, 2024
e8e6111
Migrate `run-make/link-framework` to `rmake.rs`
GuillaumeGomez Jun 24, 2024
3fdd8d5
compiler: treat `&raw (const|mut) UNSAFE_STATIC` implied deref as safe
workingjubilee Jun 1, 2024
bf454af
library: vary unsafety in bootstrapping for SEH
workingjubilee Jun 1, 2024
b3cd9b5
miri: fixup for allowing &raw UNSAFE_STATIC
workingjubilee Jun 1, 2024
0c414dd
Disallow hidden references to mutable static
obeis Jul 20, 2024
58040b7
Update tests for hidden references to mutable static
obeis Jul 20, 2024
64219a6
Rollup merge of #124895 - obeis:static-mut-hidden-ref, r=michaelwoeri…
tgross35 Jul 23, 2024
36487f8
Rollup merge of #125834 - workingjubilee:weaken-thir-unsafeck-for-add…
tgross35 Jul 23, 2024
d748101
Rollup merge of #126898 - GuillaumeGomez:migrate-run-make-link-framew…
tgross35 Jul 23, 2024
b61c5ea
Rollup merge of #127962 - jieyouxu:cleanup-dll-compiletest, r=fmease
tgross35 Jul 23, 2024
cad78fb
Rollup merge of #127990 - Oneirical:ii-the-high-priestest, r=jieyouxu
tgross35 Jul 23, 2024
b2bc4a9
Rollup merge of #128067 - compiler-errors:can_eq_shallow, r=lcnr
tgross35 Jul 23, 2024
131a76e
Rollup merge of #128076 - compiler-errors:infer_ctxt_ext, r=lcnr
tgross35 Jul 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
miri: fixup for allowing &raw UNSAFE_STATIC
  • Loading branch information
workingjubilee committed Jul 22, 2024
commit b3cd9b5cd3470da7c8f05ed27a8c1db02422b805
2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/extern_static.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@ extern "C" {
}

fn main() {
let _val = unsafe { std::ptr::addr_of!(FOO) }; //~ ERROR: is not supported by Miri
let _val = std::ptr::addr_of!(FOO); //~ ERROR: is not supported by Miri
}
4 changes: 2 additions & 2 deletions src/tools/miri/tests/fail/extern_static.stderr
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
error: unsupported operation: extern static `FOO` is not supported by Miri
--> $DIR/extern_static.rs:LL:CC
|
LL | let _val = unsafe { std::ptr::addr_of!(FOO) };
| ^^^ extern static `FOO` is not supported by Miri
LL | let _val = std::ptr::addr_of!(FOO);
| ^^^ extern static `FOO` is not supported by Miri
|
= help: this is likely not a bug in the program; it indicates that the program performed an operation that Miri does not support
= note: BACKTRACE:
Expand Down
2 changes: 1 addition & 1 deletion src/tools/miri/tests/pass/static_mut.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ use std::ptr::addr_of;

static mut FOO: i32 = 42;

static BAR: Foo = Foo(unsafe { addr_of!(FOO) });
static BAR: Foo = Foo(addr_of!(FOO));

#[allow(dead_code)]
struct Foo(*const i32);
Expand Down