C++で for (int i = 0; i < 10;++i) for (int j = 0; j < 10;++j)...;
が単純なifとgotoに展開できてスタックいらないのはわかる。
ループからのgoto脱出に対応するのにもスタックは関係無い。
＃コンパイラ通せばわかるし行数長くて書きこめなかったからコードは端折る

しかしクラッシックなBASICだと
FOR I=0 TO 9
FOR J=0 TO 9
PRINT...
@L
NEXT
GOTO @L
ってのが変則的だが文法的には許されるからNEXTがどっちに対応してるか
判断するのにスタック系のデータ構造いらない？