Code

Make CTFE able to check for UB...#78407

Code

Merged

bors merged 21 commits intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:ub_checkable_ctfeoli-obk/rust:ub_checkable_ctfeCopy head branch name to clipboard

Jan 12, 2021

Commits

Commits on Jan 4, 2021

• Stop optimizing promoteds

  

  oli

  authored and

  oli-obk

  committed
  68ff5f0

  Copy full SHA for 68ff5f0

• Make `encode_optimized_mir` always perform its action and instead require the callers to know whether they actually want this

  

  oli

  authored and

  oli-obk

  committed
  552f391

  Copy full SHA for 552f391

• Remove mir encode calls that didn't actually encode anything

  

  oli

  authored and

  oli-obk

  committed
  dadf937

  Copy full SHA for dadf937

• Limit trait item mir encoding to items with default bodies

  

  oli

  authored and

  oli-obk

  committed
  248b4db

  Copy full SHA for 248b4db

• Require the `encode_promoted_mir` caller to know whether MIR for this item actually exists

  

  oli

  authored and

  oli-obk

  committed
  8e4fe66

  Copy full SHA for 8e4fe66

• Keep an unoptimized duplicate of `const fn` around

  Show description for cccd40f
  

  oli

  authored and

  oli-obk

  committed
  cccd40f

  Copy full SHA for cccd40f

• Differentiate between the availability of ctfe MIR and runtime MIR

  oli-obk

  committed
  1f5fb3e

  Copy full SHA for 1f5fb3e

• Simplify the `optimize_mir` query

  oli-obk

  committed
  eb4e94b

  Copy full SHA for eb4e94b

• Polymorphization should look at the runtime MIR of `const fn`

  oli-obk

  committed
  db90150

  Copy full SHA for db90150

• Comment nit

  oli-obk

  committed
  680c402

  Copy full SHA for 680c402

• Document all the things

  oli-obk

  committed
  7202054

  Copy full SHA for 7202054

• Adjust imports

  oli-obk

  committed
  f6d54aa

  Copy full SHA for f6d54aa

• Move MIR body loading to a machine function

  oli-obk

  committed
  caeb3d5

  Copy full SHA for caeb3d5

• Small comment adjustments

  oli-obk

  committed
  9eaec13

  Copy full SHA for 9eaec13

• Fix wording of query description

  oli-obk

  committed
  a76dae4

  Copy full SHA for a76dae4

• No doc comments on expressions

  oli-obk

  committed
  3af7989

  Copy full SHA for 3af7989

• Update stderr files after rebase

  oli-obk

  committed
  409195d

  Copy full SHA for 409195d

• Do not run const prop on the `mir_for_ctfe` of `const fn`

  oli-obk

  committed
  65ee418

  Copy full SHA for 65ee418

Commits on Jan 5, 2021

• Remove a FIXME and explain the decision

  oli-obk

  committed
  41a732d

  Copy full SHA for 41a732d

Commits on Jan 11, 2021

• --emit=mir now emits both `mir_for_ctfe` and `optimized_mir` for `const fn`

  oli-obk

  committed
  e90b521

  Copy full SHA for e90b521

Commits on Jan 12, 2021

• Coverage computation needs access to the MIR, too

  oli-obk

  committed
  53e3a23

  Copy full SHA for 53e3a23