about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2023-02-01Preparing for merge from rustcRalf Jung-1/+1
2023-02-01Stabilize feature 'cstr_from_bytes_until_nul'Trevor Gross-1/+0
2023-01-31busy waiting implementation for sleepDebugSteven-4/+111
2023-01-31make unaligned_reference a hard errorRalf Jung-5/+12
2023-01-31Auto merge of #2772 - RalfJung:rustup, r=RalfJungbors-3/+4
Rustup
2023-01-31dont run optimized MIR for now, it is brokenRalf Jung-1/+2
2023-01-31Auto merge of #2767 - oli-obk:josh_auth, r=RalfJungbors-0/+7
Explain how to make josh authenticate with github via ssh Without this I was unable to push, even though pushing directly to https without josh works.
2023-01-31Update CONTRIBUTING.mdOli Scherer-2/+1
Co-authored-by: Ralf Jung <post@ralfj.de>
2023-01-30Merge from rustcRalf Jung-1/+1
2023-01-30Preparing for merge from rustcRalf Jung-1/+1
2023-01-30Add a note for using ssh login with joshOli Scherer-0/+8
2023-01-29remove scfix testRalf Jung-35/+0
It was broken, and the fixed version actually fails...
2023-01-26add EarlyBinder::no_bound_varsKyle Matsuda-1/+1
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add ↵Kyle Matsuda-1/+1
EarlyBinder to fn_sig in metadata
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-25add scfix testRalf Jung-0/+35
2023-01-23Preparing for merge from rustcOli Scherer-1/+1
2023-01-22Merge from rustcRalf Jung-6/+11
2023-01-22Preparing for merge from rustcRalf Jung-1/+1
2023-01-19Auto merge of #106810 - oli-obk:resolver_reverse_plumbing, r=petrochenkovbors-6/+5
Various cleanups around pre-TyCtxt queries and functions part of #105462 based on https://github.com/rust-lang/rust/pull/106776 (everything starting at [0e2b39f](https://github.com/rust-lang/rust/pull/106810/commits/0e2b39fd1ffde51b50d45ccbe41de52b85136b8b) is new in this PR) r? `@petrochenkov` I think this should be most of the uncontroversial part of #105462.
2023-01-17add miri regression testThe 8472-0/+6
2023-01-16Move compiler input and ouput paths into sessionOli Scherer-6/+5
2023-01-16Group some commonly passed together values into a structOli Scherer-1/+1
2023-01-15Merge from rustcRalf Jung-2/+3
2023-01-15Preparing for merge from rustcRalf Jung-1/+1
2023-01-14Rollup merge of #106661 - mjguzik:linux_statx, r=Mark-SimulacrumMatthias Krüger-2/+3
Stop probing for statx unless necessary As is the current toy program: fn main() -> std::io::Result<()> { use std::fs; let metadata = fs::metadata("foo.txt")?; assert!(!metadata.is_dir()); Ok(()) } ... observed under strace will issue: [snip] statx(0, NULL, AT_STATX_SYNC_AS_STAT, STATX_ALL, NULL) = -1 EFAULT (Bad address) statx(AT_FDCWD, "foo.txt", AT_STATX_SYNC_AS_STAT, STATX_ALL, {stx_mask=STATX_ALL|STATX_MNT_ID, stx_attributes=0, stx_mode=S_IFREG|0644, stx_size=0, ...}) = 0 While statx is not necessarily always present, checking for it can be delayed to the first error condition. Said condition may very well never happen, in which case the check got avoided altogether. Note this is still suboptimal as there still will be programs issuing it, but bulk of the problem is removed. Tested by forbidding the syscall for the binary and observing it correctly falls back to newfstatat. While here tidy up the commentary, in particular by denoting some problems with the current approach.
2023-01-13clippyRalf Jung-1/+1
2023-01-13Merge from rustcRalf Jung-5/+1
2023-01-13Preparing for merge from rustcRalf Jung-1/+1
2023-01-12Auto merge of #105603 - oli-obk:non_repeatable_queries, r=petrochenkovbors-1/+1
Harden the pre-tyctxt query system against accidental recomputation While the current compiler has no issues where we `take` and then compute the query again, in https://github.com/rust-lang/rust/pull/105462 I accidentally introduced such a case. I also took the opportunity to remove `peek_mut`, which is only ever used for `global_tcx` to then invoke `enter`. I added an `enter` method directly on the query.
2023-01-12Harden the pre-tyctxt query system against accidental recomputationOli Scherer-1/+1
2023-01-11Stabilize `::{core,std}::pin::pin!`Daniel Henry-Mantilla-4/+0
2023-01-11Fix up stat test in libc-fs-with-isolationMateusz Guzik-2/+3
The test relied on Error::last_os_error() coming from the stat call on the passed file, but there is no guarantee this will be the case. Instead extract errno from the error returned by the routine. Patch de facto written by joboet. Co-authored-by: joboet <jonasboettiger@icloud.com>
2023-01-09add dtors_in_dtors_in_dtorsRalf Jung-0/+57
2023-01-09Auto merge of #2753 - RalfJung:rustup, r=RalfJungbors-1/+1
Rustup Pulls in https://github.com/rust-lang/rust/pull/104658
2023-01-09Preparing for merge from rustcRalf Jung-1/+1
2023-01-09Auto merge of #2752 - RalfJung:win-env-current-exe, r=RalfJungbors-13/+85
make env::current_exe work on Windows
2023-01-09make env::current_exe work on WindowsRalf Jung-13/+85
2023-01-06Bump tokio from 1.23.0 to 1.23.1 in /test_dependenciesdependabot[bot]-3/+3
Bumps [tokio](https://github.com/tokio-rs/tokio) from 1.23.0 to 1.23.1. - [Release notes](https://github.com/tokio-rs/tokio/releases) - [Commits](https://github.com/tokio-rs/tokio/compare/tokio-1.23.0...tokio-1.23.1) --- updated-dependencies: - dependency-name: tokio dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2023-01-05Test again wasm32-unknown-unknownAaron Hill-2/+80
2023-01-05Ignore symbol shim clash when symbol is provided by `compiler_builtins`Aaron Hill-1/+10
When this happens, we ignore the symbol from `compiler_builtins` in favor of Miri's builtin support. This allows Miri to target platforms like wasm32-unknown-unknown, where functions like `memcmp` are provided by `compiler_builtins`.
2023-01-03clippyRalf Jung-2/+1
2023-01-03Merge from rustcRalf Jung-0/+5
2023-01-03Preparing for merge from rustcRalf Jung-1/+1
2023-01-02tweaks to retag diagnostic handlingRalf Jung-13/+9
2022-12-31Add missing extern crate rustc_driverbjorn3-0/+5
2022-12-28no need to do a no_std build for wasiRalf Jung-3/+5
2022-12-28test using a JSON target fileRalf Jung-0/+26
2022-12-28bump dependenciesRalf Jung-133/+154
2022-12-28print sysroot build failure errorRalf Jung-3/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 16:50:56 +0000