mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #80696 - RalfJung:failing-promoteds, r=oli-obk

Browse Source 
make sure that promoteds which fail to evaluate in dead const code behave correctly

https://github.com/rust-lang/rust/pull/80243 showed that we'll have to live with these kinds of failing promoteds for a while, so let's make sure we have a test that covers them.
This commit is contained in:
Yuki Okushi 2021-01-05 09:52:52 +09:00 committed by GitHub
commit 9daac58ee9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/test/ui/consts/promotion.rs
View File

@ -4,12 +4,23 @@
fn foo(_: &'static [&'static str]) {} fn foo(_: &'static [&'static str]) {}
fn bar(_: &'static [&'static str; 3]) {} fn bar(_: &'static [&'static str; 3]) {}
fn baz_i32(_: &'static i32) {} const fn baz_i32(_: &'static i32) {}
fn baz_u32(_: &'static u32) {} const fn baz_u32(_: &'static u32) {}
const fn fail() -> i32 { 1/0 }
const C: i32 = {
// Promoted that fails to evaluate in dead code -- this must work
// (for backwards compatibility reasons).
if false {
baz_i32(&fail());
}
42
};
fn main() { fn main() {
foo(&["a", "b", "c"]); foo(&["a", "b", "c"]);
bar(&["d", "e", "f"]); bar(&["d", "e", "f"]);
assert_eq!(C, 42);
// make sure that these do not cause trouble despite overflowing // make sure that these do not cause trouble despite overflowing
baz_u32(&(0-1)); baz_u32(&(0-1));