about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/function_calls
AgeCommit message (Expand)AuthorLines
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-4/+32
2025-06-07bless non-Linux testsRalf Jung-1/+1
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-32/+32
2025-05-17Rollup merge of #139103 - joboet:abort_dedup, r=tgross35Matthias Krüger-3/+3
2025-05-15normalize abort calls in miri testsjoboet-3/+3
2025-03-12bless testtiif-12/+12
2025-03-12Implement Display by mapping Conv to ExternAbitiif-3/+3
2025-02-06some more argument checking cleanupRalf Jung-9/+9
2025-01-01Try to write the panic message with a single `write_all` callJohn Kåre Alsaker-0/+7
2024-12-13Fix miri testsEsteban Küber-10/+0
2024-09-16Bump ui testOli Scherer-115/+115
2024-08-29fix wasm testRalf Jung-0/+26
2024-08-24panicking: improve hint for Miri's RUST_BACKTRACE behaviorRalf Jung-5/+5
2024-08-18stabilize raw_ref_opRalf Jung-4/+0
2024-08-13remove the concept of a Call IDRalf Jung-10/+10
2024-08-07Merge from rustcThe Miri Cronjob Bot-3/+3
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-3/+3
2024-08-06add return-place-protection tail-call test, and fix previous testRalf Jung-39/+157
2024-06-19Remove c_unwind from tests and fix testsGary Guo-3/+1
2024-06-16std: move `sys_common::backtrace` to `sys`joboet-2/+2
2024-04-18when suggesting RUST_BACKTRACE=1, add a special note for Miri's env var isola...Ralf Jung-0/+5
2024-03-06Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obkbors-6/+2
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking les...Ralf Jung-8/+8
2024-03-02remove the ability to disable ABI checkingRalf Jung-6/+2
2024-03-02print thread name in miri error backtracesRalf Jung-0/+2
2024-02-26rename 'try' intrinsic to 'catch_unwind'Ralf Jung-2/+2
2024-01-11std: update miri testsjoboet-4/+4
2023-12-26custom mir: make it clear what the return block isRalf Jung-27/+27
2023-11-24Bless Miri testsNilstrieb-30/+30
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-27/+27
2023-10-09return_pointer_aliasing2 should also run with SBRalf Jung-2/+45
2023-10-09add test to ensure RET assignments do not get propagated on unwindingRalf Jung-0/+74
2023-10-05Tree Borrows: do not create new tags as 'Active'Ralf Jung-4/+28
2023-10-02add test for a function ABI mismatch due to target featuresRalf Jung-0/+50
2023-09-23Merge from rustcThe Miri Conjob Bot-2/+2
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-2/+2
2023-09-21deprecate -Zmiri-disable-abi-checkRalf Jung-0/+2
2023-08-22fix some bad regex capture group references in test normalizationRalf Jung-2/+2
2023-08-20interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the...Ralf Jung-17/+46
2023-08-19custom_mir: change Call() terminator syntax to something more readableRalf Jung-34/+34
2023-08-05fix return place protection when the place is given as a localRalf Jung-0/+69
2023-08-01Auto merge of #112849 - m-ou-se:panic-message-format, r=thomccbors-4/+8
2023-07-29Change default panic handler message format.Mara Bos-4/+8
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-6/+6
2023-07-26fix protectors so that all reads actually commuteNeven Villani-6/+6
2023-07-18ignore test on appleRalf Jung-0/+1
2023-07-16miri: fail when calling a function that requires an unavailable target featureEduardo Sánchez Muñoz-0/+26
2023-07-14work around custom_mir spanRalf Jung-13/+6
2023-07-11miri: protect Move() function arguments during the callRalf Jung-0/+419
2023-04-06Bless testsGary Guo-6/+6