A branch that corresponds to a statement in the code, such as an if-statement.
TemporaryDtorsBranch
A branch in control flow of destructors of temporaries. In this case terminator statement is the same statement that branches control flow in evaluation of matching full expression.
VirtualBaseBranch
A shortcut around virtual base initializers. It gets taken when virtual base classes have already been initialized by the constructor of the most derived class while we're in the base class.
NumKindsMinusOne
Number of different kinds, for assertions. We subtract 1 so that to keep receiving compiler warnings when we don't cover all enum values in a switch.