charon_lib::transform::ullbc_to_llbc

Function is_terminal

source
fn is_terminal(block: &Block) -> bool
Expand description

Return true if whatever the path we take, evaluating the statement necessarily leads to:

  • a panic or return
  • a break which goes to a loop outside the expression
  • a continue statement