Commit Graph

145 Commits

Author SHA1 Message Date
Ralf Jung afacf62cf0 notes on TLS dtor order 2022-08-22 12:20:53 -04:00
Ralf Jung 53037a7c09 allow NOP-casts with mismatching vtables 2022-08-19 23:33:15 -04:00
DrMeepster d34242e8f1 fix various issues 2022-08-17 19:53:22 -07:00
DrMeepster 08ffbb8d8a fix windows join/detach and add tests 2022-08-17 19:53:21 -07:00
DrMeepster b6fc2fc82a basic theading 2022-08-17 19:53:21 -07:00
Ralf Jung ed41f1c969 remove some leftover //ignore that did not do anything 2022-08-17 22:02:20 -04:00
Ralf Jung 83953f58e7 remove unneeded rustc_private feature 2022-08-17 22:02:20 -04:00
Ralf Jung 7c856f8863 move libc pthread tests into separate file 2022-08-17 22:02:20 -04:00
Ralf Jung 38002b624a organize shim tests into shims folder 2022-08-17 21:50:23 -04:00
bors 31b95dd749 Auto merge of #2485 - 5225225:memalign, r=RalfJung
Breaking posix_memalign precondition is not UB

The `size==0` test here might be overtesting, but I figured might as well test it and leave a comment saying it is fine to remove it if the implementation changes.

Fixes #2099
2022-08-17 02:08:35 +00:00
Ralf Jung d59bad95fd fix data_race test 2022-08-13 09:03:30 -04:00
5225225 e75b2c8543 Breaking posix_memalign precondition is not UB 2022-08-13 13:20:56 +01:00
Ralf Jung 38a495346f remove prctl, now that std does not use it any more
it is a terrible variadic function...
2022-08-11 19:06:30 -04:00
Ralf Jung 591274bbd9 rustup 2022-08-10 08:03:00 -04:00
Ralf Jung cd2edbfd09 ensure atomics happen on mutable allocations, and fix futex test 2022-08-09 13:59:34 -04:00
bors aa53f3f77f Auto merge of #2472 - RalfJung:backtrace, r=RalfJung
fix RUSTC_BACKTRACE always being set

I kept wondering why Miri programs, whenever isolation is disabled, behave as if RUSTC_BACKTRACE was set. Finally I realized it's because some early rustc setup code sets that env var, and that is then propagated to the interpreted program.

So fix that by taking a copy of the environment before any rustc setup, and use that copy as the basis for what is provided to the interpreted program.
2022-08-06 19:30:50 +00:00
Ralf Jung d2ba40e9e1 make tests pass again 2022-08-06 15:29:43 -04:00
Ralf Jung 79d147edb7 make home_dir work on macOS 2022-08-06 14:38:17 -04:00
Ralf Jung 437d241412 move tests covering the env:: module into their own directory 2022-08-06 14:37:46 -04:00
Ralf Jung 61be3bae40 support current_exe on macOS, and fix write_os_str length logic 2022-08-06 12:40:34 -04:00
bors f633537f3e Auto merge of #2469 - RalfJung:math, r=RalfJung
implement some missing float functions

With this we support the entire float API surface of the standard library. :)

Also fixes https://github.com/rust-lang/miri/issues/2468 by using host floats to implement FMA.
2022-08-06 15:01:44 +00:00
Ralf Jung b1316eca92 support and test some more math functions 2022-08-06 11:01:19 -04:00
Ralf Jung 5a4ac1ebf0 work around apfloat bug in FMA by using host floats instead 2022-08-06 11:01:19 -04:00
Ralf Jung d61e55a1d4 add support for env::home_dir
and a bit of cleanup
2022-08-06 08:29:00 -04:00
bors 42087647d6 Auto merge of #2466 - RalfJung:longsleep, r=RalfJung
fix an ICE in nanosleep()
2022-08-06 00:52:42 +00:00
Ralf Jung d7875ea530 fix an ICE in nanosleep() 2022-08-05 20:44:54 -04:00
Ralf Jung 6d14a5e2a7 avoid strerror_r failure on unknown errnum 2022-08-05 20:18:37 -04:00
Christian Legnitto b29e7b8e4e Add mkstemp shim for unix
Co-authored-by: Ralf Jung <post@ralfj.de>
2022-08-02 19:56:05 -04:00
Ralf Jung 8356f4cc23 output realpath as a path, and remove a bogus test 2022-08-02 18:08:43 -04:00
Christian Legnitto b43bede938 Add shim for realpath on unix 2022-08-02 17:27:11 -04:00
Ralf Jung 8f3b594d1e more tests for ptr_offset_from_unsinged 2022-07-24 15:23:39 -04:00
Ralf Jung 3ee56989c7 get rid of some uses of core_intrinsics 2022-07-24 09:26:11 -04:00
Ralf Jung 00b382d1a5 add num_cpus crate test 2022-07-22 20:54:10 -04:00
bors 963f08b702 Auto merge of #2418 - RalfJung:track, r=RalfJung
add more track_caller tests

Suggested by `@eddyb`
2022-07-22 14:43:42 +00:00
Ralf Jung 1787c731ab add more track_caller tests 2022-07-22 10:43:28 -04:00
Ralf Jung 45eeaa362b rustup 2022-07-22 09:35:53 -04:00
Ralf Jung e8b3d56565 test bitmasks smaller than a byte 2022-07-22 08:35:59 -04:00
Ralf Jung 16b15ec9c9 rustup 2022-07-22 07:54:36 -04:00
Ralf Jung a6b35412d8 adjust for symbolic vtables 2022-07-22 07:18:34 -04:00
Ralf Jung b1b368c30e test page_size via test dependency support
and move crate tests to their own folders
2022-07-21 09:04:35 -04:00
Oli Scherer ab6fb9d2aa Allow tests to have dependencies 2022-07-20 15:54:35 +00:00
Ralf Jung e0514508b4 fix test file name 2022-07-20 11:27:04 -04:00
bors ddde70c121 Auto merge of #2394 - saethlin:unique-range-ice, r=RalfJung
Fix bugs where unique_range became invalid

And also expand the cache integrity checks to cover this case.

I'm going to run this over all the ICEs I've gotten out of Miri recently, could be a bit.

Fixes https://github.com/rust-lang/miri/issues/2389
2022-07-20 01:39:40 +00:00
Ben Kimock 4268918a50 Clarify implementation a bit 2022-07-19 20:53:48 -04:00
Ben Kimock 3e93045c87 Add a minimal reproducer of the ICE
Co-authored-by: Ralf Jung <post@ralfj.de>
2022-07-19 20:23:30 -04:00
Ralf Jung 4d220c31a4 add some dyn upcasting tests 2022-07-19 19:40:01 -04:00
bors 8757d866ab Auto merge of #2350 - RalfJung:remove-deprecated, r=oli-obk
remove deprecated options

These have been deprecated a month ago and nobody said they need them. Is that enough time? We can also let this PR sit a little.

Cc https://github.com/rust-lang/miri/issues/2187 https://github.com/rust-lang/miri/issues/2188
(keeping them open to track removing their supporting infrastructure in the core interpreter)
2022-07-19 12:29:29 +00:00
Ralf Jung c850ffe01a add support for new RMW orders 2022-07-18 08:20:06 -04:00
bors 5a4d71faad Auto merge of #2379 - RalfJung:ui-test-target-filter, r=oli-obk
ui_test: more robust syntax for target filtering

Implicit fallbacks are always fragile and prone to typos, so let's be explicit.
2022-07-18 07:26:49 +00:00
Ralf Jung e30dd07139 libc test: also call isatty on an actual file 2022-07-17 22:31:38 -04:00