16 Commits

Author	SHA1	Message	Date
lcnr	2cde638ac0	stop using ParamEnv::reveal while handling MIR	2024-10-31 14:55:53 +01:00
Scott McMurray	95c0e5c6a8	Remove Rvalue::CheckedBinaryOp	2024-05-17 20:33:02 -07:00
Scott McMurray	3da115a93b	Add+Use mir::BinOp::Cmp	2024-03-23 23:23:41 -07:00
Oli Scherer	ac48ad517b	partially inline eval_rvalue_into_place for const prop lint	2024-01-23 16:34:42 +00:00
Ralf Jung	351d532a27	interpret: call caller_location logic the same way codegen does, and share some code	2023-10-28 15:40:03 +02:00
ouz-a	6f0c5ee2d4	change is_subtype to relate_types	2023-10-02 23:39:45 +03:00
Camille GILLOT	15a68610dd	Only check packed ADT.	2023-08-24 15:42:55 +00:00
Scott McMurray	c780e55995	Dedup some type checks in the MIR validator	2023-06-19 01:47:03 -07:00
Nilstrieb	2109fe4e4e	Move some utils out of rustc_const_eval ... This allows us to get rid of the `rustc_const_eval->rustc_borrowck` dependency edge which was delaying the compilation of borrowck. The added utils in `rustc_middle` are small and should not affect compile times there.	2023-04-16 12:05:54 +02:00
Nilstrieb	5f593da4e6	Unify all validity check intrinsics ... Also merges the inhabitedness check into the query to further unify the code paths.	2023-02-27 13:30:44 +00:00
Camille GILLOT	134d819072	Stop deaggegating MIR.	2023-02-02 23:20:29 +00:00
lcnr	6aa611a84c	mv utility methods into separate module	2022-11-15 13:50:13 +01:00
Ralf Jung	fa2aa1cedb	interpret: move type_name implementation to an interpreter-independent helper file	2022-10-31 11:04:03 +01:00
Ralf Jung	a0131f0a36	change might_permit_raw_init to fully detect LLVM UB, but not more than that	2022-10-05 09:22:50 +02:00
Deadbeef	f7f0f843b7	Improve error messages even more	2022-02-12 19:24:08 +11:00
Camille GILLOT	c5fc2609f0	Rename rustc_mir to rustc_const_eval.	2021-09-07 20:46:26 +02:00