Repository navigation

Merge miri into librustc_mir - #43340

Closed

oli-obk wants to merge 1273 commits into

rust-lang:masterfrom

oli-obk:miri

Closed

Merge miri into librustc_mir#43340
oli-obk wants to merge 1273 commits into
rust-lang:masterfrom
oli-obk:miri

This pull request is big! We're only showing the most recent 250 commits

Commits on May 2, 2017
- Update to rustc 1.19.0-nightly (777ee2079 2017-05-01)
  oli-obk
  committed
  671ccca
- Merge pull request #162 from solson/rustup
  eddyb
  authored
  f8c8813
Commits on May 4, 2017
- Rustup to rustc 1.19.0-nightly (2d4ed8e0c 2017-05-03)
  oli-obk
  committed
  07229d6
Commits on May 5, 2017
- Address things complained about by clippy
  oli-obk
  committed
  da3860a
- Removed unused crate imports
  oli-obk
  committed
  5f67ba7
- Merge pull request #163 from solson/rustup
  eddyb
  authored
  1f8aa8d
Commits on May 9, 2017
- Update Cargo.toml, fix for build error (see #164)
  Sharazam
  authored
  23cf495
- Merge pull request #165 from sharazam/patch-1
  oli-obk
  authored
  25185fd
- Update dependencies
  oli-obk
  committed
  9e44509
Commits on May 10, 2017
- don't match on floating-point literal
  David Renshaw
  committed
  ecf452c
Commits on May 13, 2017
- update for new boxier mir
  David Renshaw
  committed
  2b84e17
- Merge pull request #167 from dwrensha/update-rustc
  eddyb
  authored
  8950b12
Commits on May 21, 2017
- implement __rust_allocate_zeroed C ABI function
  David Renshaw
  committed
  0641e93
- Merge pull request #168 from dwrensha/allocate-zeroed
  eddyb
  authored
  5483806
Commits on May 23, 2017
- fix 'cargo run' in README
  RalfJung
  committed
  7817092
- use `cargo +nightly` rather than `rustup run nightly cargo`
  RalfJung
  committed
  5accdf4
Commits on May 24, 2017
- update for upstream changes with ty::ParamEnv
  David Renshaw
  committed
  48662d5
- Merge pull request #170 from dwrensha/rustup
  oli-obk
  authored
  e2a0998
- Merge pull request #169 from RalfJung/cargo-run
  oli-obk
  authored
  bea6d83
Commits on May 30, 2017
- Rvalue::Box -> Rvalue::NullaryOp
  David Renshaw
  committed
  c384f95
- closure_to_fn_coercion has been stabilized
  David Renshaw
  committed
  6649522
- Merge pull request #172 from dwrensha/rustup
  oli-obk
  authored
  53412ab
- Make println!("String") work
  RalfJung
  committed
  ab90500
- add instructions for how to compile libstd with xargo
  RalfJung
  committed
  1ae01b4
- also support writing to stderr
  RalfJung
  committed
  33d42f4
- handle statics with linkage: initialize them with NULL
  RalfJung
  committed
  452cc9b
- implement TLS
  RalfJung
  committed
  238211e
- support TLS destructors
  RalfJung
  committed
  a66f359
- use proper span for TLS dtors; fix some nits
  RalfJung
  committed
  14b16dc
- unify the way we intercept missing MIR and C ABI calls; only intercept C ABI calls if MIR is missing
  RalfJung
  committed
  55438fe
- implement __rust_maybe_catch_panic
  RalfJung
  committed
  720c5f8
- If a "start" lang item incl. MIR is present, run that instead of running main directly
  RalfJung
  committed
  cd6e3e6
- improve fn pointer signature check to allow some casts that should be permitted
  RalfJung
  committed
  99433a1
- test suite now also passes on MIR-libstd
  RalfJung
  committed
  1241938
- re-disable aux_test -- it passes here, but not on Travis
  RalfJung
  committed
  633a34d
- fix various small nits
  RalfJung
  committed
  24a9a14
- test thread-local key with no dtor
  RalfJung
  committed
  dad9547
- latest rust nightly contains all the bits needed to re-compile libstd
  RalfJung
  committed
  cdf7a05
- add a test for output string formatting
  RalfJung
  committed
  b8e0b79
- allocate return pointer only when we start the program via the start lang item
  RalfJung
  committed
  b44babf
Commits on May 31, 2017
- simplify determining size and alignment of a pointer
  RalfJung
  committed
  2b37d50
- simplify xargo instructions
  RalfJung
  committed
  d06c165
- Merge pull request #171 from RalfJung/println
  oli-obk
  authored
  c817e6e
- prevent 'attempt to shift left with overflow' panic on platforms where pthread_key_t is 64 bits
  David Renshaw
  committed
  fbc4627
- ignore thread-local-no-dtor test on windows-gnu target
  David Renshaw
  committed
  7624bca
- Merge pull request #173 from dwrensha/fix-tls-test
  eddyb
  authored
  f85c7a2
- bin/miri.rs looks for RUST_SYSROOT, so should bin/cargo-miri.rs
  RalfJung
  committed
  6619ed8
- remove unneeded '-gnu' suffix from compiletest ignore directives
  David Renshaw
  committed
  a59d482
- Merge pull request #175 from dwrensha/ignore-windows
  eddyb
  authored
  1ba426a
- run test suite also against libstd with full MIR
  RalfJung
  committed
  44a45f7
- Merge pull request #174 from RalfJung/xargo-test
  oli-obk
  authored
  b946351
Commits on Jun 1, 2017
- interpret StorageLive & StorageDead, and check dead stack slots are not used
  RalfJung
  committed
  e6eaf20
- fix some nits
  RalfJung
  committed
  db6ce46
Commits on Jun 2, 2017
- make StorageLive kill the current value of the local
  RalfJung
  committed
  dd7735b
- Fix typo
  oli-obk
  authored
  ec7f1d5
- Merge pull request #176 from RalfJung/storage
  oli-obk
  authored
  d7d11c1
Commits on Jun 3, 2017
- update for upstream ParamEnv changes
  David Renshaw
  committed
  ca8347a
- Merge pull request #179 from dwrensha/rustup
  eddyb
  authored
  14848b3
Commits on Jun 5, 2017
Commits on Jun 6, 2017
- fix bitops being accidentally allowed on pointers from the same allocation
  RalfJung
  committed
  36505c7
- don't bother inserting integer relocations into the relocation table
  RalfJung
  committed
  7bfda59
- properly wrap pointer offsets at pointer size
  RalfJung
  committed
  684de68
- less strict kind test for pointer operations
  RalfJung
  committed
  91b93bc
- Merge pull request #185 from RalfJung/pointers
  oli-obk
  authored
  58a4639
- fix issue 184 by marking the destination as a packed struct
  David Renshaw
  committed
  c8be312
- use type_align() and type_size() instaed of size_and_align_of_dst()
  David Renshaw
  committed
  49fb43f
- Merge pull request #187 from dwrensha/fix-issue-184-mark-packed
  oli-obk
  authored
  cad0188
- comments
  RalfJung
  committed
  e1562fb
Commits on Jun 7, 2017
- Error out when "primitive MIR math" (as opposed to unchecked intrinsics) overflows
  RalfJung
  committed
  3e1596d
Commits on Jun 8, 2017
- typos
  RalfJung
  committed
  e0559a6
- fix comment in aux_test
  RalfJung
  committed
  3a5abf0
- Merge pull request #188 from RalfJung/overflow
  oli-obk
  authored
  2daf62f
Commits on Jun 11, 2017
- tcx.infer_ctxt() no longer takes an argument
  David Renshaw
  committed
  f174cc8
- Merge pull request #192 from dwrensha/rustup
  eddyb
  authored
  cb10f2f
Commits on Jun 12, 2017
- rustup 1.4 fixed the permissions of the extracted files
  RalfJung
  committed
  7504512
- enable a test that was accidentally left disabled
  RalfJung
  committed
  4ac9fa6
- Merge pull request #193 from RalfJung/xargo
  oli-obk
  authored
  7b9abf7
- Merge pull request #194 from RalfJung/test
  oli-obk
  authored
  ec8cd6d
- Fix some clippy warnings
  oli-obk
  committed
  03577a9
- test the Rc::{into,from}_raw roundtrip
  RalfJung
  committed
  4b1a12c
Commits on Jun 13, 2017
- Merge pull request #195 from RalfJung/test
  eddyb
  authored
  4566058
Commits on Jun 19, 2017
- update compiletest and remove obsolete comment
  David Renshaw
  committed
  a28c799
Commits on Jun 20, 2017
- Merge pull request #198 from dwrensha/update-compiletest
  oli-obk
  authored
  fb3d93c
- handle EndRegion as no-op
  David Renshaw
  committed
  f14ebd1
- Merge pull request #199 from dwrensha/end-region
  oli-obk
  authored
  2302f2b
- Update to latest nightly
  oli-obk
  committed
  f5ca91e
- Get rid of the integer allocation
  oli-obk
  committed
  fcf4958
- Add pthread docs
  oli-obk
  committed
  43afa20
- Run the tls destructors in the correct order
  oli-obk
  committed
  a2baeb5
- Simplify the return lvalue
  oli-obk
  committed
  75fddee
- Fix unions
  oli-obk
  committed
  a6734cd
- Use PrimVal instead of Pointer where applicable
  oli-obk
  committed
  ea6f607
- Enable more zst writes and reads
  oli-obk
  committed
  a82fe9a
Commits on Jun 21, 2017
- Add fullmir tests
  oli-obk
  committed
  ef29e6a
- The latest nightly doesn't expose as much MIR anymore as it used to
  oli-obk
  committed
  b001b55
- Also move some compile-fail tests to fullmir-only
  oli-obk
  committed
  a6cd7a2
- Simplify numeric intrinsics
  oli-obk
  committed
  5414825
- Store env vars where necessary
  oli-obk
  committed
  f22c7e4
- Implement `malloc` and `free`
  oli-obk
  committed
  ecc44fe
- Merge pull request #200 from oli-obk/master
  oli-obk
  authored
  d539faf
- Report better errors on random numbers and threads
  oli-obk
  committed
  a630677
- run fullmir tests against rustc; add output explaining what is being tested
  RalfJung
  committed
  8101592
Commits on Jun 22, 2017
- expand thread-local storage tests to cover dtor order and re-running dtors
  RalfJung
  committed
  184d3b3
- refactor pointer handling in binops
  RalfJung
  committed
  b8c5e7f
- permit integer addition and subtraction on ptr-integers
  RalfJung
  committed
  7b1582b
- correctly reject functions pointers that had arithmetic done to them
  RalfJung
  committed
  78aa93f
- add test for function pointer offsets
  RalfJung
  committed
  6eafb10
- refactor pointer arithmetic handling
  RalfJung
  committed
  894306e
- test HashMap creation in libstd-MIR, and make it work again
  RalfJung
  committed
  7b2b0dd
- malloc should return null for zst allocs
  oli-obk
  authored
  a805606
- Merge pull request #205 from RalfJung/tests
  oli-obk
  authored
  6034655
- update xargo usage example for new location of vecs.rs
  David Renshaw
  committed
  86d31fa
- Merge pull request #207 from dwrensha/update-readme
  eddyb
  authored
  046136a
- Merge pull request #206 from RalfJung/ptrs
  oli-obk
  authored
  522ac49
- Update mod.rs
  oli-obk
  authored
  8733bd0
- Update foreign-fn-linkname.rs
  oli-obk
  authored
  1883aac
- Update regions-mock-trans.rs
  oli-obk
  authored
  2b9cfb6
- Merge pull request #201 from oli-obk/test_suite_fails
  oli-obk
  authored
  8de1110
- allow any offset on integer pointers
  RalfJung
  committed
  3637aa8
- use PrimVal::is_null
  RalfJung
  committed
  6512fa7
- fix unused variable warning
  RalfJung
  committed
  57391ba
- permit offsetting a NULL-ptr by 0, to fix hashmap test
  RalfJung
  committed
  2f61356
- permit all kinds of 0-offsets on ZSTs
  RalfJung
  committed
  c1a6df9
- Merge pull request #203 from RalfJung/offset
  oli-obk
  authored
  1a1d741
- implement _nonzero intrinsics
  RalfJung
  committed
  269667e
- permit bit-anding in pointer values below the alignment
  RalfJung
  committed
  14cb31f
- add some compile-fail tests
  RalfJung
  committed
  12935b6
Commits on Jun 23, 2017
- use PrimVal::to_bool rather than bytes_to_bool
  RalfJung
  committed
  d5c0316
- Merge pull request #209 from RalfJung/ptrs
  oli-obk
  authored
  f10dd41
- Remove the zst allocation
  oli-obk
  committed
  9be3e91
- Typo
  oli-obk
  committed
  c4fc6c6
- fetch_tls_dtor "read" an `Undef` as nonzero
  oli-obk
  committed
  5ee4fdc
- PrimVal used to allow comparing `Undef`
  oli-obk
  committed
  eca9e34
- Ensure tests run with and without full MIR
  oli-obk
  committed
  377fcce
- Merge pull request #212 from oli-obk/zero_sense_types
  oli-obk
  authored
  8c6c6d7
Commits on Jun 24, 2017
- Make zst compile-fail tests more readable
  oli-obk
  committed
  4aca1d0
- Merge pull request #215 from oli-obk/master
  eddyb
  authored
  86e2367
- Make sure that casting a ptr-integer down to u8 makes it unusable
  RalfJung
  committed
  7b7f690
- handle ptr-int casts explicitly in cast.rs
  RalfJung
  committed
  f0c8df2
- check alignment of pointers on Ref
  RalfJung
  committed
  b1acc13
- make sure that 'identity casting' works
  RalfJung
  committed
  fbc00dd
- Clarify pattern matching
  RalfJung
  committed
  38d0339
- remove redundant test
  RalfJung
  committed
  4e90e3b
- fix build after rebase
  RalfJung
  committed
  76a1d66
- Merge pull request #210 from RalfJung/ptrcast
  oli-obk
  authored
  14d1309
Commits on Jun 26, 2017
- Initial work towards checking const eval rules in miri
  oli-obk
  committed
  ab400f3
Commits on Jun 27, 2017
- Merge pull request #218 from oli-obk/minimal_ctfe
  oli-obk
  authored
  f3832c6
- Simplify all the code
  oli-obk
  committed
  5dfaacf
Commits on Jun 28, 2017
- update tests for new error message
  David Renshaw
  committed
  5482110
- Merge pull request #221 from dwrensha/rustup
  oli-obk
  authored
  6edca30
- Reword comments
  oli-obk
  committed
  a724a39
- Merge pull request #220 from oli-obk/undo_single_field_opt
  oli-obk
  authored
  42d3eda
- Address comments
  oli-obk
  committed
  c8079c6
- Code nits
  oli-obk
  committed
  91409f1
- Optimize lvalue reads from Value::ByVal and Value::ByValPair
  oli-obk
  committed
  917c89e
- cast -> transmute
  RalfJung
  committed
  51b4321
- Merge pull request #225 from RalfJung/comments
  oli-obk
  authored
  a589ccb
- Merge pull request #222 from oli-obk/const_eval_checks
  oli-obk
  authored
  695f972
Commits on Jun 29, 2017
- update for upstream changes to TyFnDef
  David Renshaw
  committed
  32e7dcb
- normalize signature before passing to check_sig_compat
  David Renshaw
  committed
  73ab5c7
- Merge pull request #226 from dwrensha/rustup
  oli-obk
  authored
  4a56083
- Merge pull request #223 from oli-obk/lvalue_read
  oli-obk
  authored
  8722ce8
- get cargo-miri to work
  David Renshaw
  committed
  e3fa4fb
- add a dependency to cargo-miri-test
  David Renshaw
  committed
  7a755ce
- Merge pull request #230 from dwrensha/cargo-miri
  oli-obk
  authored
  4fa71ad
Commits on Jun 30, 2017
- update compiletest dependency
  David Renshaw
  committed
  7008646
Commits on Jul 1, 2017
- Merge pull request #231 from dwrensha/update-compiletest
  oli-obk
  authored
  8ff5d59
Commits on Jul 3, 2017
- Only check pointers when dereferencing
  oli-obk
  committed
  823b952
- Fix transmute on ByValPair
  RalfJung
  committed
  0301667
- properly check for: double-free, use-after-reallocate
  RalfJung
  committed
  dc9f5a2
- fix test on i686
  RalfJung
  committed
  bdcdb60
- validate size and alignment on reallocate and deallocate
  RalfJung
  committed
  440c477
Commits on Jul 4, 2017
Commits on Jul 5, 2017
- refine comment explaining the order of checks on deallocate
  RalfJung
  committed
  4165051
- Merge pull request #234 from RalfJung/reallocate
  oli-obk
  authored
  b8bd42e
Commits on Jul 10, 2017
- simplify reallocate
  RalfJung
  committed
  3c0a6d6
- update for latest nightly
  RalfJung
  committed
  e60f11f
- update for allocator API
  RalfJung
  committed
  d2cf3d7
- update tests for new allocator API
  RalfJung
  committed
  ea730ab
Commits on Jul 11, 2017
- leave notes regarding possible alignment checks
  RalfJung
  committed
  1cbf5e8
- Merge pull request #237 from RalfJung/reallocate
  oli-obk
  authored
  1511023
- Rename Pointer to MemoryPointer
  oli-obk
  committed
  2d52054
- Add a dedicated `write_null` method
  oli-obk
  committed
  a8b957a
- Use a wrapper type to differentiate between PrimVal and pointers
  oli-obk
  committed
  03f0a88
- Remove `*offset*` methods from `PrimVal` onto `Pointer`
  oli-obk
  committed
  d0d1d2d
- Simplify `with_extra`
  oli-obk
  committed
  0dd6ef8
- Document the reason for `Pointer`'s existence
  oli-obk
  committed
  eba199a
- Merge pull request #236 from oli-obk/pointers
  oli-obk
  authored
  40755ec
- Add a test for using a too big alignment on reallocate
  RalfJung
  committed
  9a9666e
- add little script to build libstd
  RalfJung
  committed
  3e7f69a
Commits on Jul 12, 2017
- hooking mmap is no longer needed
  RalfJung
  committed
  eafe659
- Merge pull request #239 from RalfJung/mmap
  eddyb
  authored
  ea2b192
- Merge pull request #238 from RalfJung/tests
  oli-obk
  authored
  28969f4
- Add tests for #113
  oli-obk
  committed
  4a03e45
- Produce `ConstInt` from a `def_id` for rustc
  oli-obk
  committed
  4ce8be9
- Merge pull request #242 from solson/various
  oli-obk
  authored
  e362c30
- Merge pull request #241 from solson/rustc_integration
  oli-obk
  authored
  fda18f6
Commits on Jul 13, 2017
- Re-do packed memory accesses
  RalfJung
  committed
  c149c3f
- Rename value accessors to "into_*" so the three of them are better aligned
  RalfJung
  committed
  454fc85
- Memory::read_ptr has to check for relocations on the edges
  RalfJung
  committed
  1fe310c
- track alignment also for ByRef values
  RalfJung
  committed
  287b6be
- fix "unaligned" transmute
  RalfJung
  committed
  81307d7
- Merge pull request #248 from RalfJung/pointer-games
  oli-obk
  authored
  14c8fe7
- Copy `path_to_def` from clippy
  oli-obk
  committed
  fdef27a
- Don't use magic numbers for synconf names
  oli-obk
  committed
  f78d6a0
- Reuse the `const_eval` method for syscall name resolution
  oli-obk
  committed
  f8757aa
- expand comment
  RalfJung
  committed
  6c9fdc7
- make all Value::into_* methods handle alignment the same way
  RalfJung
  committed
  6fb6a1c
- show alignedness of ByRefs; allow converting unaligned ByRef to ptr
  RalfJung
  committed
  62334ac
- simplify
  RalfJung
  committed
  d02e7f0
- use closures to ensure proper bracketing of unaligned accesses
  RalfJung
  committed
  da5538f
- Merge pull request #243 from solson/magic_numbers
  oli-obk
  authored
  555fc41
- packed structs: test unsize coercions
  RalfJung
  committed
  0fbbcae
Commits on Jul 14, 2017
- Merge pull request #247 from RalfJung/packed
  oli-obk
  authored
  56d4de3
- Ensure that it is not possible to explicitly free stack memory
  oli-obk
  committed
  192da88
- Clarify documentation
  oli-obk
  committed
  70a914c
- Use enum instead of boolean
  oli-obk
  committed
  eb01c3f
- Remove duplicate test
  oli-obk
  committed
  7701ff2
- Fix static mutation tests
  oli-obk
  committed
  2e562a4
- Add a comment explaining the static "local" during `deallocate_local`
  oli-obk
  committed
  45ab975
- lvalue: refactoring to permit applying a mir projection to a miri lvalue
  RalfJung
  committed
  2312ac8
- Merge pull request #249 from RalfJung/lvalue
  oli-obk
  authored
  a29ba6a
Commits on Jul 18, 2017
- Merge pull request #245 from oli-obk/funky_allocs
  oli-obk
  authored
  5328c5d
- remove reundant dangling checks in {r,d}eallocate
  RalfJung
  committed
  ff9192e
- use libstd methods for floating-point <-> bytes conversion
  RalfJung
  committed
  9bccfd3
- Merge pull request #255 from RalfJung/float
  solson
  authored
  824438b
- Merge pull request #254 from RalfJung/dangling
  oli-obk
  authored
  2d5c419
Commits on Jul 19, 2017
- Export types and functions needed by priroda
  oli-obk
  committed
  d9d792b
- Merge pull request #257 from oli-obk/cleanups
  oli-obk
  authored
  27c6447
- Prepare miri for merging it into rustc
  oli-obk
  committed
  57f9b2f
- Merge miri repository into rustc repository
  oli-obk
  committed
  17532bb
- Build miri along with the compiler
  oli-obk
  committed
  029802a

Commits

Commits on May 2, 2017

Commits on May 4, 2017

Commits on May 5, 2017

Commits on May 9, 2017

Commits on May 10, 2017

Commits on May 13, 2017

Commits on May 21, 2017

Commits on May 23, 2017

Commits on May 24, 2017

Commits on May 30, 2017

Commits on May 31, 2017

Commits on Jun 1, 2017

Commits on Jun 2, 2017

Commits on Jun 3, 2017

Commits on Jun 5, 2017

Commits on Jun 6, 2017

Commits on Jun 7, 2017

Commits on Jun 8, 2017

Commits on Jun 11, 2017

Commits on Jun 12, 2017

Commits on Jun 13, 2017

Commits on Jun 19, 2017

Commits on Jun 20, 2017

Commits on Jun 21, 2017

Commits on Jun 22, 2017