-
Notifications
You must be signed in to change notification settings - Fork 394
Closed
Labels
C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement
Description
Eventually, we want rustc to be able to limit the amount of time spent evaluating a constant value, since Miri const eval could have infinite loops or simply very long calculations.
Thanks to the EvalContext::step
interface, this should be pretty easy. Likely, we can just have a step count limit which will be configurable like rustc's recursion_depth
.
Metadata
Metadata
Assignees
Labels
C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement