Various const eval and pattern matching ICE fixes - #67192

Merged

bors merged 22 commits into

rust-lang:masterfrom

oli-obk:const_zst_addr

Dec 27, 2019

Commits on Dec 26, 2019

Don't ICE on the use of integer addresses for ZST constants in pattern matching
oli-obk
committed
1e40681
Retire `to_ptr` which should already have no users but still kept getting new ones
oli-obk
committed
b5b5258
Simplify `force_allocation_maybe_sized`
oli-obk
committed
bb1ecee
Comment on a few odd things that we should look at
oli-obk
committed
13694de
Prevent an ICE on invalid transmutes
oli-obk
committed
a0bd1a6
Interning even happens when validation of a constant fails
oli-obk
committed
0e969b7
Immediately evaluate and validate constants when we want them as operands
oli-obk
committed
a7a011d
Add regression test for ZST statics being allowed to "read" from themselves
oli-obk
committed
6b651b1
Explain ParamEnv::reveal_all usage
oli-obk
committed
41d5818
Comments should start capitalized and end in a period
oli-obk
committed
8a88ff1
Explain what we are doing with parameter environments for statics
oli-obk
committed
cb8d1c3
Explain the currently necessary existance of `TransmuteSizeDiff`
oli-obk
committed
6937ca2
Remove unintended noisy log statement
oli-obk
committed
72ebce0
Typo
oli-obk
committed
0e3fafa
Explain why `const_eval` is ok here
oli-obk
committed
9520551
Early abort instead of building up zero sized values
oli-obk
committed
1acbf4b
Add a `const_eval` helper to `InterpCx`
oli-obk
committed
20c1b3f
Documentation nit
oli-obk
committed
1531c39
Reintroduce the recursion comment
oli-obk
committed
b476344
Use the targetted const eval functions
oli-obk
committed
aaffe12
Fix rebase fallout
oli-obk
committed
12a4c2c
Make ui test bitwidth independent
oli-obk
committed
f65a91e

Navigation Menu

Uh oh!

Various const eval and pattern matching ICE fixes - #67192

Various const eval and pattern matching ICE fixes#67192
bors merged 22 commits into
rust-lang:masterfrom
oli-obk:const_zst_addr

Commits on Dec 26, 2019

Don't ICE on the use of integer addresses for ZST constants in pattern matching

Retire `to_ptr` which should already have no users but still kept getting new ones

Simplify `force_allocation_maybe_sized`

Comment on a few odd things that we should look at

Prevent an ICE on invalid transmutes

Interning even happens when validation of a constant fails

Immediately evaluate and validate constants when we want them as operands

Add regression test for ZST statics being allowed to "read" from themselves

Explain ParamEnv::reveal_all usage

Comments should start capitalized and end in a period

Explain what we are doing with parameter environments for statics

Explain the currently necessary existance of `TransmuteSizeDiff`

Remove unintended noisy log statement

Typo

Explain why `const_eval` is ok here

Early abort instead of building up zero sized values

Add a `const_eval` helper to `InterpCx`

Documentation nit

Reintroduce the recursion comment

Use the targetted const eval functions

Fix rebase fallout

Make ui test bitwidth independent