Functions

  • Main function for the add_withdraw_gas lowering phase. Adds a withdraw_gas statement to the given function, if needed.