File tree
6 files changed
+34
-15
lines changed- src
- bootstrap
- tools
6 files changed
+34
-15
lines changed+16-9
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