Compiler implementation of the D programming language.
BE stands for BlockExit.
It indicates if a statement does transfer control to another block. A block is a sequence of statements enclosed in { }
Determine mask of ways that a statement can exit.
Only valid after semantic analysis.
Statement s
| statement to check for block exit status |
FuncDeclaration func
| function that statement s is in |
bool mustNotThrow
| generate an error if it throws |
© 1999–2019 The D Language Foundation
Licensed under the Boost License 1.0.
https://dlang.org/phobos/dmd_blockexit.html