diff options
| author | bors <bors@rust-lang.org> | 2023-01-29 04:11:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-01-29 04:11:27 +0000 |
| commit | 3cdd0197e78e2ca3403157617709bbfe18a3f0b5 (patch) | |
| tree | f1408419d2d0288c966e40cbb9e455cb5da51603 /compiler/rustc_session/src | |
| parent | bcb064a7f4aee705c97ce1b74beb9af0f9b5adb2 (diff) | |
| parent | bdb815a22ab00450dcc010a99309c24c475432a6 (diff) | |
| download | rust-3cdd0197e78e2ca3403157617709bbfe18a3f0b5.tar.gz rust-3cdd0197e78e2ca3403157617709bbfe18a3f0b5.zip | |
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
Diffstat (limited to 'compiler/rustc_session/src')
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index 66b100c103e..0db4d85ff4b 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1618,6 +1618,8 @@ options! { "measure time of each LLVM pass (default: no)"), time_passes: bool = (false, parse_bool, [UNTRACKED], "measure time of each rustc pass (default: no)"), + tiny_const_eval_limit: bool = (false, parse_bool, [TRACKED], + "sets a tiny, non-configurable limit for const eval; useful for compiler tests"), #[rustc_lint_opt_deny_field_access("use `Session::tls_model` instead of this field")] tls_model: Option<TlsModel> = (None, parse_tls_model, [TRACKED], "choose the TLS model to use (`rustc --print tls-models` for details)"), |