Determine mask of ways that a statement can exit.
Only valid after semantic analysis.
statement to check for block exit status
function that statement s is in
generate an error if it throws
BE.xxxx
See Implementation
Determine mask of ways that a statement can exit.
Only valid after semantic analysis.