What to do with a gating edge whose condition has been considered.
Three outcomes, not two, because "false" and "cannot tell" must not share a branch. Dropping on
"cannot tell" lets the target be skipped as unreachable — turning we do not know into
definitely not taken — while keeping on "cannot tell" opens the gate. Holding is the only
reading that costs nothing but time, and time is recoverable.
What to do with a gating edge whose condition has been considered.
Three outcomes, not two, because "false" and "cannot tell" must not share a branch. Dropping on "cannot tell" lets the target be skipped as unreachable — turning we do not know into definitely not taken — while keeping on "cannot tell" opens the gate. Holding is the only reading that costs nothing but time, and time is recoverable.