]> git.lizzy.rs Git - rust.git/commit
Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 29 Jan 2023 04:11:27 +0000 (04:11 +0000)
committerbors <bors@rust-lang.org>
Sun, 29 Jan 2023 04:11:27 +0000 (04:11 +0000)
commitba7bb62e25637d9087a434ae1883d218c0c2da22
treef590cb7655391956a282058c8e1e89336a1f3d1a
parent7ef46c8babb87382b4bff97a0536a32d70c4db32
parent706d7ff108947704566dbdc361abcb2ecddcef01
Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obk

Use stable metric for const eval limit instead of current terminator-based logic

This patch adds a `MirPass` that inserts a new MIR instruction `ConstEvalCounter` to any loops and function calls in the CFG. This instruction is used during Const Eval to count against the `const_eval_limit`, and emit the `StepLimitReached` error, replacing the current logic which uses Terminators only.

The new method of counting loops and function calls should be more stable across compiler versions (i.e., not cause crates that compiled successfully before, to no longer compile when changes to the MIR generation/optimization are made).

Also see: #103877
src/base.rs