const-eval: disallow unwinding across functions that `!fn_can_unwind()`#85546

Merged

bors merged 15 commits intomasterfrom

unknown repository

May 28, 2021

Commits on May 22, 2021

const-eval: disallow unwinding across functions that `!fn_can_unwind()`
hyd-dev
committed
Move the callee "can unwind" check to the right place
hyd-dev
committed
Refactor `match` + `if`
hyd-dev
committed
Don't evaluate `self.fn_can_unwind(...)` if `can_unwind` is already true
hyd-dev
committed

Commits on May 23, 2021

`Cleanup(Option<_>)` -> `Cleanup(BasicBlock), Skip`
hyd-dev
committed
"unwind" -> "unwinding"
hyd-dev
committed
Pass `StackPopUnwind` to `eval_fn_call()` and some other functions that are called by `eval_fn_call()`
hyd-dev
committed
:facepalm:
hyd-dev
committed

Commits on May 24, 2021

Check whether unwinding is allowed before popping the stack frame
hyd-dev
committed
`can_unwind` -> `caller_can_unwind`
hyd-dev
committed
Add a comment
hyd-dev
committed

Commits on May 25, 2021

Move the check to `unwind_to_block`
hyd-dev
committed
Use `match` instead of `.map_or(StackPopUnwind::Skip, StackPopUnwind::Cleanup)`
hyd-dev
committed

Commits on May 28, 2021

"a frame" -> "a stack frame"
hyd-dev
committed
Rewrite to a `match`
hyd-dev
committed