Code

Make most tests work with Intptrcast#820

Code

Merged

bors merged 10 commits intorust-lang:masterrust-lang/miri:masterfrom RalfJung:intptrcastRalfJung/miri:intptrcastCopy head branch name to clipboardJul 3, 2019

+109-63

Commits

Commits on Jul 2, 2019

• run all run-pass tests with intrptrcast. makes many of them fail!

  RalfJung

  committed
  ccbc035

Commits on Jul 3, 2019

• dont add the -Zmiri-seed flag twice

  RalfJung

  committed
  44298d8

• only treat integer operations as such

  RalfJung

  committed
  457c823

• allow dangling ptr-to-int casts; use force_bits for ptr comparison

  RalfJung

  committed
  c6e4f76

• avoid integer overflow in ptr-to-int cast

  RalfJung

  committed
  12b8d43

• we don't need zero-sized freeze-sensitive visiting

  RalfJung

  committed
  c3da843

• support integers that can be cast to pointers in in-bounds offset operation

  RalfJung

  committed
  c8450bd

• don't call Stacked Borrows hooks at all when validation is disabled

  RalfJung

  committed
  eb4128f

• make a test noseed for now that does not work with intptrcast yet

  RalfJung

  committed
  8ec2506

• avoid catching errors

  RalfJung

  committed
  b29cb7d