This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree
6 files changed
+34
-15
lines changed- src
- bootstrap
- tools
6 files changed
+34
-15
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
345 | 345 | | |
346 | 346 | | |
347 | 347 | | |
| 348 | + | |
| 349 | + | |
| 350 | + | |
| 351 | + | |
| 352 | + | |
| 353 | + | |
| 354 | + | |
| 355 | + | |
| 356 | + | |
| 357 | + | |
| 358 | + | |
| 359 | + | |
| 360 | + | |
348 | 361 | | |
349 | 362 | | |
350 | 363 | | |
| |||
2220 | 2233 | | |
2221 | 2234 | | |
2222 | 2235 | | |
2223 | | - | |
2224 | 2236 | | |
2225 | 2237 | | |
2226 | | - | |
2227 | 2238 | | |
2228 | 2239 | | |
2229 | 2240 | | |
| 2241 | + | |
2230 | 2242 | | |
2231 | | - | |
2232 | 2243 | | |
2233 | 2244 | | |
2234 | 2245 | | |
2235 | | - | |
2236 | | - | |
2237 | 2246 | | |
2238 | | - | |
2239 | 2247 | | |
2240 | 2248 | | |
2241 | 2249 | | |
| |||
5555 | 5563 | | |
5556 | 5564 | | |
5557 | 5565 | | |
5558 | | - | |
| 5566 | + | |
5559 | 5567 | | |
5560 | | - | |
| 5568 | + | |
5561 | 5569 | | |
5562 | 5570 | | |
5563 | 5571 | | |
5564 | | - | |
5565 | 5572 | | |
5566 | 5573 | | |
5567 | 5574 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
22 | 22 | | |
23 | 23 | | |
24 | 24 | | |
| 25 | + | |
25 | 26 | | |
26 | 27 | | |
27 | 28 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
344 | 344 | | |
345 | 345 | | |
346 | 346 | | |
| 347 | + | |
347 | 348 | | |
348 | 349 | | |
349 | 350 | | |
350 | 351 | | |
| 352 | + | |
351 | 353 | | |
352 | 354 | | |
353 | 355 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
360 | 360 | | |
361 | 361 | | |
362 | 362 | | |
363 | | - | |
| 363 | + | |
| 364 | + | |
| 365 | + | |
| 366 | + | |
| 367 | + | |
| 368 | + | |
364 | 369 | | |
365 | 370 | | |
366 | 371 | | |
| |||
378 | 383 | | |
379 | 384 | | |
380 | 385 | | |
381 | | - | |
| 386 | + | |
382 | 387 | | |
383 | 388 | | |
384 | 389 | | |
385 | | - | |
| 390 | + | |
386 | 391 | | |
387 | 392 | | |
388 | 393 | | |
| 394 | + | |
| 395 | + | |
389 | 396 | | |
390 | 397 | | |
391 | 398 | | |
| |||
437 | 444 | | |
438 | 445 | | |
439 | 446 | | |
440 | | - | |
| 447 | + | |
441 | 448 | | |
442 | 449 | | |
443 | 450 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
649 | 649 | | |
650 | 650 | | |
651 | 651 | | |
| 652 | + | |
| 653 | + | |
652 | 654 | | |
653 | 655 | | |
654 | 656 | | |
655 | 657 | | |
656 | 658 | | |
657 | | - | |
| 659 | + | |
658 | 660 | | |
659 | 661 | | |
660 | 662 | | |
| |||
- Cargo.lock+1-86
- Cargo.toml+7-22
- README.md+1-1
- cargo-miri/Cargo.lock+351
- cargo-miri/Cargo.toml+32
- cargo-miri/bin.rs+10-5
- cargo-miri/build.rs
- ci.sh+4-1
- miri+17-9
- rust-version+1-1
- src/bin/miri.rs+4-4
- src/eval.rs+6
- src/lib.rs+6-1
- src/machine.rs+9
- src/operator.rs+1-45
- src/shims/foreign_items/posix.rs+57-13
- src/shims/foreign_items/posix/linux.rs+10
- src/shims/foreign_items/posix/macos.rs+1-1
- src/shims/foreign_items/windows.rs+4-4
- src/shims/fs.rs+13-13
- src/shims/intrinsics.rs+9-28
- src/shims/sync.rs+490-240
- src/shims/thread.rs+8-8
- src/shims/tls.rs+9-9
- src/sync.rs+361
- src/thread.rs+174-67
- tests/compile-fail/rc_as_ptr.rs-1
- tests/compile-fail/sync/libc_pthread_mutex_NULL_deadlock.rs+16
- tests/compile-fail/sync/libc_pthread_mutex_default_deadlock.rs+17
- tests/compile-fail/sync/libc_pthread_mutex_normal_deadlock.rs+1-1
- tests/compile-fail/sync/libc_pthread_mutex_wrong_owner.rs+1-1
- tests/compile-fail/sync/libc_pthread_rwlock_read_wrong_owner.rs+32
- tests/compile-fail/sync/libc_pthread_rwlock_write_wrong_owner.rs+32
- tests/compile-fail/validity/invalid_char.rs+1-1
- tests/compiletest.rs+1-1
- tests/run-pass/concurrency/libc_pthread_cond.rs+47
- tests/run-pass/concurrency/locks.rs-75
- tests/run-pass/concurrency/sync.rs+330
- tests/run-pass/concurrency/sync.stderr
- tests/run-pass/concurrency/sync.stdout+20
- tests/run-pass/rc.rs-1
- tests/run-pass/wtf8.rs+23
0 commit comments