Assuming you are talking about a dynamic non-local goto ("safe longjmp") - yes. However, dynamic non-local goto is essentially a continuation, so OP's point is valid.
The usual local goto with the statically known set of valid jump targets is NOT equivalent to throwing an exception. Speicifically, because the jump target (catch) is unknown == undecidable.
no subject
However, dynamic non-local goto is essentially a continuation, so OP's point is valid.
The usual local goto with the statically known set of valid jump targets is NOT equivalent to throwing an exception.
Speicifically, because the jump target (catch) is unknown == undecidable.