enum BlockExitDisposition {
Used,
Discarded,
}
Expand description
What code generation did with a provided BlockExit
value.
A function that accepts a BlockExit
argument should return a value of
this type, to indicate whether the code it generated ended up using the
provided exit, or ignored it and did a non-local exit of some other kind
(say, Break
or Continue
). Some callers must use this information to
decide whether to generate the target block at all.
Variants§
Used
The generated code used the provided BlockExit
value. If it included a
block label, the caller should be sure to actually emit the block it
refers to.
Discarded
The generated code did not use the provided BlockExit
value. If it
included a block label, the caller should not bother to actually emit
the block it refers to, unless it knows the block is needed for
something else.