summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/function_calls
AgeCommit message (Expand)AuthorLines
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
2022-12-23attempt to clarify what the backtrace belongs to when there could be ambiguityRalf Jung-2/+2
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-16/+16
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-18/+18
2022-12-01Bump ui_test crateOli Scherer-6/+6
2022-10-11rename rustc_allocator_nounwind to rustc_nounwindRalf Jung-2/+2
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+451
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 15:07:41 +0000