Skip to content

Commit 67e89b5

Browse files
committed
fix warning text
1 parent d9e7a3a commit 67e89b5

File tree

3 files changed

+6
-6
lines changed

3 files changed

+6
-6
lines changed

src/diagnostics.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -451,13 +451,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
451451
format!("{op} was made to return an error due to isolation"),
452452
ProgressReport =>
453453
format!("progress report: current operation being executed is here"),
454-
Int2Ptr => format!("pointer-to-integer cast"),
454+
Int2Ptr => format!("integer-to-pointer cast"),
455455
};
456456

457457
let (title, diag_level) = match e {
458458
RejectedIsolatedOp(_) =>
459459
("operation rejected by isolation", DiagLevel::Warning),
460-
Int2Ptr => ("pointer-to-integer cast", DiagLevel::Warning),
460+
Int2Ptr => ("integer-to-pointer cast", DiagLevel::Warning),
461461
CreatedPointerTag(..)
462462
| PoppedPointerTag(..)
463463
| CreatedCallId(..)

tests/pass/box.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
warning: pointer-to-integer cast
1+
warning: integer-to-pointer cast
22
--> $DIR/box.rs:LL:CC
33
|
44
LL | let r2 = ((r as usize) + 0) as *mut i32;
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pointer-to-integer cast
5+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ integer-to-pointer cast
66
|
77
= help: this program is using integer-to-pointer casts or (equivalently) `from_exposed_addr`,
88
= help: which means that Miri might miss pointer bugs in this program

tests/pass/extern_types.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
warning: pointer-to-integer cast
1+
warning: integer-to-pointer cast
22
--> $DIR/extern_types.rs:LL:CC
33
|
44
LL | let x: &Foo = unsafe { &*(16 as *const Foo) };
5-
| ^^^^^^^^^^^^^^^^^^ pointer-to-integer cast
5+
| ^^^^^^^^^^^^^^^^^^ integer-to-pointer cast
66
|
77
= help: this program is using integer-to-pointer casts or (equivalently) `from_exposed_addr`,
88
= help: which means that Miri might miss pointer bugs in this program

0 commit comments

Comments
 (0)