7 commits

Author	SHA1	Message	Date
Ralf Jung	6177530420	refactor check_{lang,library}_ub: use a single intrinsic, put policy into library	2024-03-23 18:45:05 +01:00
Ben Kimock	5a93a59fd5	Distinguish between library and lang UB in assert_unsafe_precondition	2024-03-08 18:53:58 -05:00
Ralf Jung	b58f647d54	rename ptr::invalid -> ptr::without_provenance ... also introduce ptr::dangling matching NonNull::dangling	2024-02-21 20:15:52 +01:00
Camille GILLOT	d50f26e409	Const-prop pointers.	2024-02-09 21:06:23 +00:00
Ben Kimock	611c3cb561	Bless/fix tests	2024-02-08 19:56:30 -05:00
Camille GILLOT	0aedd6e86f	Sandwich MIR optimizations between DSE.	2024-01-11 09:58:19 +00:00
Camille GILLOT	2837727471	Replace legacy ConstProp by GVN.	2023-12-24 20:08:57 +00:00

Renamed from tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.ConstProp.64bit.panic-abort.diff (Browse further)