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