diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2020-06-22 14:03:18 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2020-06-23 10:18:14 +0200 |
| commit | 5fa8b0880825d83eb01151e43e7de1e94e05cd2d (patch) | |
| tree | 46d16ce11b3601bc7176de7eedff8d7f87d18406 /src/test/ui/mir/mir_detects_invalid_ops.rs | |
| parent | 1a4e2b6f9c75a0e21722c88a0e3b610d6ffc3ae3 (diff) | |
| download | rust-5fa8b0880825d83eb01151e43e7de1e94e05cd2d.tar.gz rust-5fa8b0880825d83eb01151e43e7de1e94e05cd2d.zip | |
The const propagator cannot trace references.
Thus we avoid propagation of a local the moment we encounter references to it.
Diffstat (limited to 'src/test/ui/mir/mir_detects_invalid_ops.rs')
| -rw-r--r-- | src/test/ui/mir/mir_detects_invalid_ops.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/ui/mir/mir_detects_invalid_ops.rs b/src/test/ui/mir/mir_detects_invalid_ops.rs index 0940dbe6a5e..136c03cd9f1 100644 --- a/src/test/ui/mir/mir_detects_invalid_ops.rs +++ b/src/test/ui/mir/mir_detects_invalid_ops.rs @@ -19,6 +19,6 @@ fn mod_by_zero() { fn oob_error_for_slices() { let a: *const [_] = &[1, 2, 3]; unsafe { - let _b = (*a)[3]; //~ ERROR this operation will panic at runtime [unconditional_panic] + let _b = (*a)[3]; } } |