Using Tcl exceptions, I guess it would be pretty trivial to do that.

Here [1] is an alternative do..while loop implementation provided by Tcllib, written in pure Tcl.

[1] https://core.tcl-lang.org/tcllib/artifact/4f7e97706ff67a40