about summary refs log tree commit diff
path: root/tests/mir-opt/pre-codegen/duplicate_switch_targets.ub_if_b.PreCodegen.after.mir
AgeCommit message (Expand)AuthorLines
2025-05-21Add some track_caller info to precondition panicsBen Kimock-1/+1
2024-04-03Remove MIR unsafe checkMatthew Jasper-4/+2
2024-03-27Eliminate `UbCheck` for non-standard librariesDianQK-10/+1
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-1/+5
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-1/+1
2024-02-08Bless/fix testsBen Kimock-5/+17
2023-10-31Only emit `!=` assumptions if the otherwise target is reachable.Camille GILLOT-4/+1
2023-10-31Simplify assume of a constant.Camille GILLOT-14/+6
2023-10-31Replace SwitchInt to unreachable by an assumption.Camille GILLOT-1/+7
2023-06-15Remove comments from mir-opt MIR dumpsBen Kimock-10/+10
2023-05-21Normalize block and local orders in mir-opt testsScott McMurray-4/+4
2023-04-23Add mir-opt tests to track MIR quality.Camille GILLOT-0/+27