Validate constants during `const_eval_raw` - #74949

Merged

bors merged 18 commits into

rust-lang:masterfrom

oli-obk:validate_const_eval_raw

Sep 20, 2020

Commits on Sep 19, 2020

Validate constants during `const_eval_raw`
oli-obk
committed
083f1d7
Stop using the `const_eval` query for initializers of statics
oli-obk
committed
2d7ac72
Update codegen tests
oli-obk
committed
6d3c7bb
Document `op_to_const`'s purpose
oli-obk
committed
4397d66
`turn_into_const` is infallible
oli-obk
committed
b1bd34d
Replace `and_then` `map_err` `and_then` chain with a match
oli-obk
committed
48f366f
Clarify a statement in UB test
oli-obk
committed
a6c60bb
Do not call the `const_eval` query in mir interpretation except for caching of nulary intrinsics
oli-obk
committed
dd9702a
We can make const eval sound, it's just super expensive
oli-obk
committed
40c2087
Rename const eval queries to reflect the validation changes
oli-obk
committed
69a6be7
Unify the names of const eval queries and their return types
oli-obk
committed
888afd5
Fix rebase fallout and make the test work with debug info
oli-obk
committed
90708c1
Address review comments
oli-obk
committed
182ed85
Rustfmt
oli-obk
committed
c3c8c98
Update compile-fail tests
oli-obk
committed
ef04e68
Update incremental tests
oli-obk
committed
c5889e4
Reflect the "do not call this query directly" mentality in its name
oli-obk
committed
b8e6883

Commits on Sep 20, 2020

Make codegen test bitwidth-independent
oli-obk
committed
34785fc