From 41af457060a0814dfae161c61c6fa1507dfe6c27 Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 17:05:30 -0500
Subject: [PATCH 01/11] Move analyzeStackBlock analyzeInputs call into the
 switch statement

Makes later commits easier.
---
 src/compiler/iroptimizer.js | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/compiler/iroptimizer.js b/src/compiler/iroptimizer.js
index f20a47ea4f..d3bbbeaf00 100644
--- a/src/compiler/iroptimizer.js
+++ b/src/compiler/iroptimizer.js
@@ -541,18 +541,19 @@ class IROptimizer {
             state = state.clone();
         }
 
-        modified = this.analyzeInputs(inputs, state) || modified;
-
         switch (stackBlock.opcode) {
         case StackOpcode.VAR_SET:
+            modified = this.analyzeInputs(inputs, state) || modified;
             modified = state.setVariableType(inputs.variable, inputs.value.type) || modified;
             break;
         case StackOpcode.CONTROL_WHILE:
         case StackOpcode.CONTROL_FOR:
         case StackOpcode.CONTROL_REPEAT:
+            modified = this.analyzeInputs(inputs, state) || modified;
             modified = this.analyzeLoopedStack(inputs.do, state, stackBlock) || modified;
             break;
         case StackOpcode.CONTROL_IF_ELSE: {
+            modified = this.analyzeInputs(inputs, state) || modified;
             const trueState = state.clone();
             modified = this.analyzeStack(inputs.whenTrue, trueState) || modified;
             modified = this.analyzeStack(inputs.whenFalse, state) || modified;
@@ -560,10 +561,12 @@ class IROptimizer {
             break;
         }
         case StackOpcode.CONTROL_STOP_SCRIPT: {
+            modified = this.analyzeInputs(inputs, state) || modified;
             this.addPossibleExitState(state);
             break;
         }
         case StackOpcode.PROCEDURE_CALL: {
+            modified = this.analyzeInputs(inputs, state) || modified;
             modified = this.analyzeInputs(inputs.inputs, state) || modified;
             const script = this.ir.procedures[inputs.variant];
 
@@ -575,6 +578,7 @@ class IROptimizer {
             break;
         }
         case StackOpcode.COMPATIBILITY_LAYER: {
+            modified = this.analyzeInputs(inputs, state) || modified;
             this.analyzeInputs(inputs.inputs, state);
             for (const substackName in inputs.substacks) {
                 const newState = state.clone();
@@ -583,6 +587,9 @@ class IROptimizer {
             }
             break;
         }
+        default:
+            modified = this.analyzeInputs(inputs, state) || modified;
+            break;
         }
 
         return modified;

From 44e2589e65fe2c4ed97bc6aa2f4ead75b8a72c50 Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 17:06:21 -0500
Subject: [PATCH 02/11] Fix https://github.com/TurboWarp/scratch-vm/issues/277

Need to clear the state before analyzing the condition as the condition
may be re-evaluated after yielding.
---
 src/compiler/iroptimizer.js                   |   5 +++
 .../tw-wait-until-condition-gh-277.sb3        | Bin 0 -> 2928 bytes
 ...ait-until-condition-gh-277.sb3.tw-snapshot |  34 ++++++++++++++++++
 ...ait-until-condition-gh-277.sb3.tw-snapshot |  34 ++++++++++++++++++
 4 files changed, 73 insertions(+)
 create mode 100644 test/fixtures/execute/tw-wait-until-condition-gh-277.sb3
 create mode 100644 test/snapshot/__snapshots__/tw-wait-until-condition-gh-277.sb3.tw-snapshot
 create mode 100644 test/snapshot/__snapshots__/warp-timer/tw-wait-until-condition-gh-277.sb3.tw-snapshot

diff --git a/src/compiler/iroptimizer.js b/src/compiler/iroptimizer.js
index d3bbbeaf00..91ebd5cf46 100644
--- a/src/compiler/iroptimizer.js
+++ b/src/compiler/iroptimizer.js
@@ -565,6 +565,11 @@ class IROptimizer {
             this.addPossibleExitState(state);
             break;
         }
+        case StackOpcode.CONTROL_WAIT_UNTIL: {
+            modified = state.clear() || modified;
+            modified = this.analyzeInputs(inputs, state) || modified;
+            break;
+        }
         case StackOpcode.PROCEDURE_CALL: {
             modified = this.analyzeInputs(inputs, state) || modified;
             modified = this.analyzeInputs(inputs.inputs, state) || modified;
diff --git a/test/fixtures/execute/tw-wait-until-condition-gh-277.sb3 b/test/fixtures/execute/tw-wait-until-condition-gh-277.sb3
new file mode 100644
index 0000000000000000000000000000000000000000..a170d42f7370e5d81c336d3298b08a1c52dee520
GIT binary patch
literal 2928
zcma);c{CL28^>qtJDIU>W8bokWlX}@%?y&zD50^HEEBTVFpOkNwu&T-U6w{9!jK}_
zuB=0mtdlKUR9yG`{<!yc&hMQ2zVCD1zrN2o-*cYxe7?45dImNC0Kfvc*4S-}T^Chn
zVgLZHZ~y?u4}c2{@bPpHR`m%A@PFlaDQHE9=a+K%8d`6T7f+ZimSt_6xAE@=AgMhh
z`vwnOn#%cf<dt{$Hf3rw($W|@+!|I-%Zlos7>SU$*MUW4ndaqMfP3$CoJ%}~`tkvx
zXycZG%8%j4yw-ICV<m=MLtpI=thH_Sl@4s>x9&;YT5^HivdXrgL3FuCtm!F1@&4zT
zuyr3kMaFqTbmb&f{kErj?vE@ToC%-K-(A1;N^DQK4;W=wU`I#CzRa0?d&?)NJ0q@y
zR@C9lQft#>-xTk+5{<nSSlP{>`v^qQWal|iwc)MGTQx&;wxSS=Nfl?>x$gLdXQQnK
z>ZEwhV*IEjXlvn!%<ro4GjU<tMq)fv1#SW7%Y0kgV4U5i-pY9O{)ZpTE11@%m)dDx
z!ckfw7&TpGOD8#Bw=iTEf=7uhJ5f%^B2Vt5fJQ;oNt}`<2R07<VRO{KyYLUX4e+u)
zx6gYEq2k%EqNT$v-4QvO4NxCXp38FAZlvA8oTVXUTha$3T5ZcDPP4;@yss|HLv{{i
zx@O1g?a!ev&WteurESP9RcW-feFtutx?~ad1jao<6l%;Ke9pWg?Q&aW;KxXp=z#1h
z1IvE(**%e!MDN95Bd7W3=w&YM$7f^s1V9I&TtE@t3-5&4TRO4036T)B{*%#5fD_a(
z*kHPWEo}7mgtkLsQbW-@$=4fPb!nw2oKDl*x|}cNi4!_T<Oo8Cm``bJ68Z3j;R}Fn
z13ztA{j-?hhN?rx4<T#m_)^KFPPptvnfiEAW)%JW;ClAcHQ<d4sWCGh7#mQ>x(lMN
zJiy3ASZxJE=&XH`G5aJkWKt|eKDHNC?w6#w3!|J@4(e=I6ACNwLhP!KKlxP1MQbAI
zHBHg2x;ne0RML@?8;4r;mMN4z$%?sGRH`U~2v@2h?Bhdk?;oy3vxb*zGw6w`R<~X#
z9;}Y3`b>!J{rKW5cLF+8U88?7P--)<QnCD+@cPXDq)5ukwhtHl-{2y)?MF>)-+x4G
z`n-)|iY@s<FIXsWamtY+-o@&8pldHqW1?sE)oM)CYfaF<?m&hr4LcT9jto_I?)JN8
zo!Lu;II{M~+jroKm?2BA0^WQ0HJjzAH2X!?^VL(&_BKAso+DPT$M-e(jd?$7#JcA6
zh?0i_sW!cPtJwj1E|CLq3;UdH%MCfL^Dk4W+p7x{`rP8T8bSh~Zzb1r%|6AKCLcKk
zNNN1UqMRlt!C|LVm}yGV*X*UAe{hKt((5pGM+jSY3=3X3LuA$}D34ouXH%whxR)-+
z&dCnvBwt<`QU!MUjuU~_t!4W5Q;~c|F54waS#!<|KVc`KVR`H&%=E?33AlmdL7#rh
zRh)*tdF9B8i0!}jMM6IhFynYnygM$L<8t?aYG`X{d8lh^YIu2gd10YYsJfP?x~IFg
zr-!cAW!0b%Z$E1^S1bfP6`45J$o#rmtD_KkW)M`5inH%(uN<U~UAS-UrSUL8WDMvC
zD%>I)_sALt>N^qn2-^O&^}{0%gEyTdGinP6*1f~J7R2l;SK}-dH-i@pI0}_|?R+~e
zNIgZl`A39j)z|8p%h;oLUkf^KeWrgXE*|jW#;i>qBa;Q}kih`{xdhMZW+kw?hsFc`
zZE95}KTVqv07zv2pD8#L=Ai?F!lBxpFf1JI1=H2gglTHKYw2pa>%gJVzf3)Kr213M
zd4BN`7!&y+V|sdIa<hNtZG%Px-l*Wp#gvmxykdHa2kZJ|QWWbXle$kk5ByOc74F>~
zT6$)zuXHnPQhc{ETl9I~+^RqR!gJVgaA^4T&5ey2@o}-#F#$>>9(dF>|LuC?H2$Z&
zg;KHehf=?-+G#6TrDG4W2T5J<nsWJM)os>OY+G30SGxLrV{7*M$U%Ro_rTi3?5}2;
z*Qx5g(#p=wkde{e=?G!`QmmS)X-xr5@kvB#48H0xcc*@BeKd5guCdqQ$KoD-N}?pc
zq4d)z^;iA0>(R5r)8gK9^T90=M?SfgtNvpW>!EWM(-OO`Z{`a8Y=$>CPQ<TA{n8VO
zsE2XUnjL=3-pX-t!W;T(^io%~#Ph%I_&0WOpTcuJbISK0eLHusRdLf(&-qfG`3uK^
z0mp&W-MXV%k-gl*-C7~FTz&Jpj|C&mJHf-gj;l2>gbYE{nlG4Fqs_?K@)5LTPD}m{
zXR}>Gne=^i<*Rghs;|qFDEsLTn57o|RxT;n@SZj4lHFkw2thfyo2+2B6L`C>4yMP8
z3&2NTOe`vJ&fqu#03ZUKIJk|5t{#;7>SO1PS#PC_Dat=G+gFMq9Tbb|YX3?H-C88M
zPU4xv+k_+puI%kKPt&O&rZS-m8(K7CUhAtcxTX0mPe#U|kd>kV6IW5BW%(9bQEF<Z
zhY@+!H3w$~&r<(hy{BN{1+Ga=$q_4b<Av+o41O4ETJ%)ez*DRRq_z;7tqt~1BziQc
zf7OQp<esUG@W{%Wz?8%1TDQcVa#_YbxhP<i$;WxYBm*a=*Oqds+;XO)QloL+{l#Y&
zDXf`s3UF_uFcmObfJderqXm3fEN!2!+g2-xMP@vqeN7B|W0ek)VidW5r{%#P6Weku
zHSye9-(V01B#HF;(gy1=7C6#=Q@#5DS;+7>21j_Tcl|xFDP0Ha0?a0nC}EtVp38#@
zfaDPKc9wXcIBCa<$FV_3Q%eUkcaJf{LE!XlkK4A<X8>#rkbo$zR77M)c@BYLFu{~Q
zuJ(^Y83<S_m(6PI(Tfw(2s&eqvP`K|83z{e<nBACGnd)2sx+melHE+D62>^pP(wfk
z_Q3{eBDt=L0c^K^b9XXr1jM_27u4BwKS=pXzFCqarp4z<|IH_yw$v>u<ke*6PZdj{
zElx!UU#=IHj?~VsFkaYxc%t(y|0N~@-;|7-m{*aV1&`Hek7=~{H;%OI2Y$+SfZ^*b
z?%-S$Kc}3xo|rZl0&edYPQ_Vqy4Y9>dXLAR#7gHpXS&CYxev^#rene}5M>`R+`uxi
zrkMiLLzrrC2sVC}YBIlq@S*rU&|~+zbk4pfxbip+GPoKX>dFxg$R)uqX}-<*$>rmW
zkTN$eK83-arJ5VwMT=$T&KI|nv-k_x%`Nmj?cbyiWK$A)4Sc2}>Yx@+#lFf11R@(8
zqAm%^O7-QoyVBx=4tG)gJtoGPgBZ4k^d5eWik%X<C7ls#OQ{%F%mRDE&C?P9JM!@U
z!+YPef&?qPO}}hq?01tFCx$}F*T^0QhT&%^*sx*W)`JC%SFG$|#Ho(3Jlq@Fc}CJE
z{OImPtFbXe`(&$KP*z!Se{{y}R746-$Ioy{Os)=J)w!U@oU!-h-`X0HIl+{f3hpS(
z1K39;=(YFvS5)X;hAt*~h1<Il7+n=-iCw{Spgv1OzAuvJph<jgB2e)BPY*%<vBc*H
zj4uYXza4CN)S5DN#5&Wp^X=~4l|4MYEgDD%2K@i@c?^_)oPTD~-<7{}=x>?&ahm-v
kRQkQ+?-2OABjYg|{tFUp(Tq%gspyaI$KyZhFQb4z0Uli<>i_@%

literal 0
HcmV?d00001

diff --git a/test/snapshot/__snapshots__/tw-wait-until-condition-gh-277.sb3.tw-snapshot b/test/snapshot/__snapshots__/tw-wait-until-condition-gh-277.sb3.tw-snapshot
new file mode 100644
index 0000000000..4312367087
--- /dev/null
+++ b/test/snapshot/__snapshots__/tw-wait-until-condition-gh-277.sb3.tw-snapshot
@@ -0,0 +1,34 @@
+// TW Snapshot
+// Input SHA-256: 2422e407892596fbf410e032196131f9bae718563fd80b1ff32cf972859c034b
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 0",}, b0, false, false, "e", null);
+startHats("event_whenbroadcastreceived", { BROADCAST_OPTION: "message1" });
+b1.value = "bwah";
+while (!(("" + b1.value).toLowerCase() === "bleh".toLowerCase())) {
+yield;
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "h", null);
+retire(); return;
+}; })
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+b0.value = (1 + 2);
+thread.timer = timer();
+var a0 = Math.max(0, 1000 * 0);
+runtime.requestRedraw();
+yield;
+while (thread.timer.timeElapsed() < a0) {
+yield;
+}
+thread.timer = null;
+b0.value = "bleh";
+retire(); return;
+}; })
diff --git a/test/snapshot/__snapshots__/warp-timer/tw-wait-until-condition-gh-277.sb3.tw-snapshot b/test/snapshot/__snapshots__/warp-timer/tw-wait-until-condition-gh-277.sb3.tw-snapshot
new file mode 100644
index 0000000000..4312367087
--- /dev/null
+++ b/test/snapshot/__snapshots__/warp-timer/tw-wait-until-condition-gh-277.sb3.tw-snapshot
@@ -0,0 +1,34 @@
+// TW Snapshot
+// Input SHA-256: 2422e407892596fbf410e032196131f9bae718563fd80b1ff32cf972859c034b
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 0",}, b0, false, false, "e", null);
+startHats("event_whenbroadcastreceived", { BROADCAST_OPTION: "message1" });
+b1.value = "bwah";
+while (!(("" + b1.value).toLowerCase() === "bleh".toLowerCase())) {
+yield;
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "h", null);
+retire(); return;
+}; })
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+b0.value = (1 + 2);
+thread.timer = timer();
+var a0 = Math.max(0, 1000 * 0);
+runtime.requestRedraw();
+yield;
+while (thread.timer.timeElapsed() < a0) {
+yield;
+}
+thread.timer = null;
+b0.value = "bleh";
+retire(); return;
+}; })

From 5d917cca0580b9e5dcff5fdeeb95d8994859421f Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 17:36:38 -0500
Subject: [PATCH 03/11] Use log.error instead of console.error

---
 src/compiler/iroptimizer.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/compiler/iroptimizer.js b/src/compiler/iroptimizer.js
index 91ebd5cf46..73e348a672 100644
--- a/src/compiler/iroptimizer.js
+++ b/src/compiler/iroptimizer.js
@@ -1,6 +1,7 @@
 // @ts-check
 
 const {StackOpcode, InputOpcode, InputType} = require('./enums.js');
+const log = require('../util/log');
 
 // These imports are used by jsdoc comments but eslint doesn't know that
 /* eslint-disable no-unused-vars */
@@ -647,7 +648,7 @@ class IROptimizer {
         do {
             // If we are stuck in an apparent infinite loop, give up and assume the worst.
             if (iterations > 10000) {
-                console.error('analyzeLoopedStack stuck in likely infinite loop; quitting', block, state);
+                log.error('analyzeLoopedStack stuck in likely infinite loop; quitting', block, state);
                 modified = state.clear();
                 block.entryState = state.clone();
                 block.exitState = state.clone();

From 2639653647652199f46995af0a7e1ad1d13dc1ee Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 18:32:13 -0500
Subject: [PATCH 04/11] Revert "Fix #273"

This reverts commit c16be2517896a0f825f494fd3b171b6de33eb7e8.

Caused https://github.com/TurboWarp/scratch-vm/issues/276
---
 src/compiler/iroptimizer.js                                   | 2 +-
 .../__snapshots__/tw-gh-249-quicksort.sb3.tw-snapshot         | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/compiler/iroptimizer.js b/src/compiler/iroptimizer.js
index 73e348a672..9713578727 100644
--- a/src/compiler/iroptimizer.js
+++ b/src/compiler/iroptimizer.js
@@ -659,8 +659,8 @@ class IROptimizer {
 
             const newState = state.clone();
             modified = this.analyzeStack(stack, newState) || modified;
-            modified = this.analyzeInputs(block.inputs, newState) || modified;
             modified = (keepLooping = state.or(newState)) || modified;
+            modified = this.analyzeInputs(block.inputs, state) || modified;
         } while (keepLooping);
         block.entryState = state.clone();
         return modified;
diff --git a/test/snapshot/__snapshots__/tw-gh-249-quicksort.sb3.tw-snapshot b/test/snapshot/__snapshots__/tw-gh-249-quicksort.sb3.tw-snapshot
index d2efe972b7..224f800f45 100644
--- a/test/snapshot/__snapshots__/tw-gh-249-quicksort.sb3.tw-snapshot
+++ b/test/snapshot/__snapshots__/tw-gh-249-quicksort.sb3.tw-snapshot
@@ -67,10 +67,10 @@ b0.value = (b1.value[(((((+p1 || 0) + (+p0 || 0)) || 0) / 2) | 0) - 1] ?? "");
 b2.value = p0;
 b3.value = p1;
 while (true) {
-while (compareLessThan((b1.value[(b2.value | 0) - 1] ?? ""), b0.value)) {
+while (compareLessThan(listGet(b1.value, b2.value), b0.value)) {
 b2.value = ((+b2.value || 0) + 1);
 }
-while (compareGreaterThan((b1.value[(b3.value | 0) - 1] ?? ""), b0.value)) {
+while (compareGreaterThan(listGet(b1.value, b3.value), b0.value)) {
 b3.value = ((+b3.value || 0) + -1);
 }
 if (compareGreaterThan(b2.value, b3.value)) {

From 40715dc259e24d811514b6ca49597c03685d1c53 Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 18:32:21 -0500
Subject: [PATCH 05/11] Add test case for
 https://github.com/TurboWarp/scratch-vm/issues/276

---
 .../tw-loop-condition-optimization-gh-276.sb3 | Bin 0 -> 3277 bytes
 ...dition-optimization-gh-276.sb3.tw-snapshot |  28 +++++++++++++++++
 ...dition-optimization-gh-276.sb3.tw-snapshot |  29 ++++++++++++++++++
 3 files changed, 57 insertions(+)
 create mode 100644 test/fixtures/execute/tw-loop-condition-optimization-gh-276.sb3
 create mode 100644 test/snapshot/__snapshots__/tw-loop-condition-optimization-gh-276.sb3.tw-snapshot
 create mode 100644 test/snapshot/__snapshots__/warp-timer/tw-loop-condition-optimization-gh-276.sb3.tw-snapshot

diff --git a/test/fixtures/execute/tw-loop-condition-optimization-gh-276.sb3 b/test/fixtures/execute/tw-loop-condition-optimization-gh-276.sb3
new file mode 100644
index 0000000000000000000000000000000000000000..48099303ce15a5d8950c76836b2560cd7b0e4bf3
GIT binary patch
literal 3277
zcma);XHXMt630VHq=gm&0VNcvQiK?~^csqE1O?GhLKg_qL?fYzNJ|iqst~$L5Cjyd
z(jrF@qy`j>8U+y$0!lq@?!$Zc&fLsBJ3BkG^X$(2zx;n|XT`$G0RRBl0D&!ob}rTJ
zC%u3GKs_G-z;)aW4Zj}X;}xMCfW02lcQF_{XU2P|P_p7(=?^W_Fv#MOZ$J$=4um8W
zzmn$CB@s2T<CH3hy3L=pg$b0|RWdu#zf+~^CT$i|y3l@rmlEX57GCD=6fXcvWw0$<
zW<yw{HIr4xv7iDk!;M6~nLXgajfv8O&xgh-AKOdY4?eWvX7}DlL(gW^+JuVL;zTSK
zr5061l)$}yGHI7T551!TMGqG}JYN)3zo$?+f7B2ISP;o_G}Ua!0uw*dhz;vNd?w=>
zW4KjcVL&g_i{PYiTbVUZbkq9lTQ<jFx&FEF@h0|dO#EUE@HeyK#!Y3k;x&mvbCsmV
z`-2mJj)Sh|g4~n&HUk_9Dn&ER!LNFyZWCEc(yn1oAt~+iUe}F1m0NoWzdpl4`NPs*
zH3x=_9LB%O#VDJDRI+8`d$?&@m?ZmL_7kuxykQc|k{k-ssg4=1lwc$N2EV1pN-AK3
z>q6DkCzah*4t!k@(#ZUfm7WFrMioXg^_LL~YGh`-I#se)v93lE>ck&tETl%)`*K#G
zTC8OEyj@fUeotx;Na<%{_cwyFgksCsi@V4wh5=5XGE_kz@K20P%z5PyP^2PDwh>xF
zT2byuz3|hWkGe4Nm{_x~iOz`56U(cW@pnoux?pNTW|+8>2}7oqaI(K9R8yrcBY3}Z
zgPPgW(%v!<vPJ(f%$Ter3W=OvNVPY<WT>b*@G{qw52>j=trwjSykRTP2}p9e+vDDo
zCq*<ri>UDB`*Oylde;`Y{~G!cgRBj9?oigCF`(;^k%x*xj5$%knq6}hCZ)W$Z?!Wg
zDGlQCLgGKeWPpj=niLv)b<~Lp(gpuw<W@~o<mAO!<}zDR5nc0gheZ)7=r1p}4a;sq
zy$QX%`1aGo8Pzecw>&5Q?R)lG?w>UOwFS4MFnF9gHlu_P<TE(jvKSf8+oGd73@5JG
zN|a{3ZK9xs_;Cu|xvCLh?}O?2<hD;A2kt)=z^`zmZl~=VDLPBf>)0OXqpqGSstRmc
z&tX%12_sTZEw0jM(meOXZqj9Qx#2D#9+hiOR@?U~(?50UJJz!4=1Mx%<)`fWG>EQ5
zfLFf%K^?sUXg3AX>XLl9sFz7MBeh%Ibwiswaogk7oxYDoA@Z7zOSa@w^hM9+i(}=q
zv`yl~&_o*6z(+wWK>>7e4V2eT^W1tLbQF6jK5e?ITg1DvO&(>Ge7e*gXNGr%nYPvK
zG2NIyv)t-6N7lcT(5+eOL*uFs=Vgse&x=ma<2mSlw1dS}^ye&n_M0f(%gR2VfPSO<
z+aD&y&fRsVr8X&9;S50=y5z{elqpTP-EQ(*g2K9XLFPpNH^_H7S+U(ID9$RSYAi8M
z?XL0O<M0dZ%d$@Wng<pLKlO-r4JF^RwIg->UaV#;NUfr(AkDf%{yH`v8Sb5v4Xd%4
zTk{`0bO~PSb0Gu%H%k__gQ{j{$5qwZlc&R}N~7T(1Hmzofoq_*4y*QNX@?AnntW4B
zdtmCJhbTw2ct>SLxgIb>a$!3cUSkLTjE9~@_GggoU|B{GtY3Jm95tlx!<54#^#JJi
z*oG_b-jnWq=^0Kc3w5tU>}K&>y{r9B#|wTu)mY@G{L@eT@$<{IYDN4aHr=`zG=bce
z%IcSfmhS}4432_kSoWV^j`lVTrgI!D$FvBJ*$SieX6ze#6obffA=i=^GcCdiF0OHp
zQn#NS_Uu%o`9~U^^W=4V2=<PTMiJsKTS;`YR9HL}PNiGw5BleW9T~lL%-OT#G@frI
zX%^<D&}<3TEN!R$c^_q&{V2v1!cI9qHpSwh@4|F_#U=ZCGDzrMV041g5zy|x%=qpI
zFB9?Dgx?;g)Ny)wBUIH?k=`n5=Tv>YeSOgg1VRPrqvGSG=Hso2yrzte#01+|aVLli
z%-_5>-EyM$8M3DgWjh9GvP^X9>#7^0PG8Ei@l}0z{p2*03#4qb(TE~#6t3%*1jVa`
zkeenZA4Y7rNf618@is#fn&wHle*TFT@*5Ff^|;E;3^@e7F(*;V3rmmi&z}W0v{iH7
z+3tn8Z+>EV2!~&9y|Hwm7zi@gIAqn+`c#QyziKVCx?_a{{I{r8snRU9W5V3y{I@7A
zgod}e20{y==A(hu((={NR6VD0PR$FciS$y}LLmMn>ZuDgglfin0L26E35rka=rlIA
zh2*5@wHV+GANyTSSA5AYsw2O<rrSu0W1j=51a$Fg6%|vpFoRK5w$sB^8_{#{?Yi7k
zFNSHWA-GE~G$taVV!}4o*B9Y4q8Zad-8XSeM}1#@g|#f;_GQh_RJgyd3f?3ySZma|
zP*4;U^{emvm5<hgrj!c1vZmpx)!*xzOJS3{BT<;qpR-E`Z7aUo&vvTn-fTopP7N)@
zir~H_oK-fdf4n09C^jP=_vEmU(e!g|DvH+7GUU8R-@(m`RhBkaeVn2mG%a`@JwH4T
z$I!k+ycRnOD6CrznHF1%qSY>lZF~099tU5T*jVRFUW+@>IT_oe!M)Pvytj0_;EEeg
zKS*_mx{8FC{$PZ(^zmrpxSzX~hD;66b~kHp`RKTN6q~iWjE=gDu5LFRkx%Xv9&VF`
z&lc*MHGFtH*~W;N2y$7ikH-^XmOq08_*FX%-7Sg`l{BPmD!9$zZuRLr6$O809p&Dd
zwC+EI{1cM&;AIcF3;g!RebNjLp-4+NFXLtO)?NNS|1m-`Tu5uGb(Ss%UJT{B4uIgb
zlE${I5UaaYLAvNKM(no<qVlpurhm@FlXfdkX{sF%Ah+ox&pF(Qm`-6aA-|oSwgqM-
zgZUi9*LCDdQgKInw3db0Z66>I8@XIQYV3ImWl^(fB`-P8pa4<!o&}+%S`SoyKiiSh
z^A)JiNG}jAyUMSnek<Z(f=T&P1w9|p*O0Sc6LQrALhdDbH>>>6)d0vmKRd}QEo-cy
z5JT(Ogu4~8&G>M43s@R|_ySAQa|88S$SCv3m`q7dC1OS@?CIU?If-&w7{h2K0V^S1
zsTx-#)2oWpPNkZiWEdJne6;f8UUa`T0U`-JnV0%He|&aJhOIuC2l-1woE1eP^?Izc
zPoSA5yKbor?xM<AOX5TEB|2gMNP0<7M_*yeC6T(L!Balp$K(L_Bh9+ll9}KnhBdEC
zv+y~jx+^UkNOTrDpW>ZjcgGgM!76?|jyuEPW=~B4o^|Z52}>e*yi7`509nXkJzdnw
zciMp2h^snBGDFIl4Ss(x^?c5Ejt5W9osPSI)kN~{G?%I6J0>~KvF6iBjSWv&1sv9H
zZO>&*Lio2bA#YyhVHNyJP17V?UkCV&+<FAIqi#~g+vjrjl`Moe!SdqJLSHm9sf$x?
zrmX9b@6CXq2M7<Hm%1wITkc@aYdu9VxdZ>jm6e+xtl$8c2xIdSD6|v=%V2aw)wm6`
zoPuMhq1NCl7c5|ynFK}j>4F!aY#!G<rh;e8pitH%=_1w}Xb^jr34jm@st+~b5M+DS
zC@3d#2+xL;cx5uX2k~(igY}5q&CU%q2F|E&u+LdRZKd~XW`N?=SGl2bW0Y_8H!$V&
zYBTrCTlXIbKISwt*Y$DgCyeHH-yPBmScq*vm_HT$A$vU>)$APSAuKI9T-fEgl8imv
zwj7}t8|93-ax@btf?TzXN||r!lQtHT@t&?<Ih${t7XvsnPW*Y8{rdqHR*NzDyh;2s
z*hrs!7u6Wp=&h$8W8aOAo(SsL{p#wQAbl9C-4k6L+P`uUNZQak%AD;mG7?u)>~O$7
zsIC~fLrlpqNayX@kCAXKREIus#Fl^)vSkPC3>(1$-HWw6ajy9qAI=~G|B<(>#QZ9X
zp5`0l<cSA*$}c7LMbIF_7W&Z75{`&8=+%=5fiL^sFv012FAQ9RTp@q9BJ__s(&vxZ
z7yB5$GBcNVa4dFKOw0m+|9#pY1LZ&7e;)dOpZq(A{u)a^HuC?6N`K$@cL@Bo5e)(W
Z{vRaRSpkoK0st(>@!`169^(W6_$PY<%clSU

literal 0
HcmV?d00001

diff --git a/test/snapshot/__snapshots__/tw-loop-condition-optimization-gh-276.sb3.tw-snapshot b/test/snapshot/__snapshots__/tw-loop-condition-optimization-gh-276.sb3.tw-snapshot
new file mode 100644
index 0000000000..20e23cc605
--- /dev/null
+++ b/test/snapshot/__snapshots__/tw-loop-condition-optimization-gh-276.sb3.tw-snapshot
@@ -0,0 +1,28 @@
+// TW Snapshot
+// Input SHA-256: 3c81a01417b9a927457132a5f89b63e54b2499714376246739535b51dbce2d45
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 1",}, b0, false, false, "g", null);
+thread.procedures["Wtest %s"]("random");
+if ((("" + b1.value).toLowerCase() === "random".toLowerCase())) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass",}, b0, false, false, "p", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "n", null);
+retire(); return;
+}; })
+
+// Sprite1 Wtest %s
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+const b1 = stage.variables["t)]?yi[*8XU73qhMqOa8"];
+return function funXYZ_test_ (p0) {
+b0.value = p0;
+while (!(("" + listGet(b1.value, b0.value)).toLowerCase() === "something".toLowerCase())) {
+b0.value = ((+b0.value || 0) + 1);
+}
+return "";
+}; })
diff --git a/test/snapshot/__snapshots__/warp-timer/tw-loop-condition-optimization-gh-276.sb3.tw-snapshot b/test/snapshot/__snapshots__/warp-timer/tw-loop-condition-optimization-gh-276.sb3.tw-snapshot
new file mode 100644
index 0000000000..5cef84247b
--- /dev/null
+++ b/test/snapshot/__snapshots__/warp-timer/tw-loop-condition-optimization-gh-276.sb3.tw-snapshot
@@ -0,0 +1,29 @@
+// TW Snapshot
+// Input SHA-256: 3c81a01417b9a927457132a5f89b63e54b2499714376246739535b51dbce2d45
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 1",}, b0, false, false, "g", null);
+yield* thread.procedures["Wtest %s"]("random");
+if ((("" + b1.value).toLowerCase() === "random".toLowerCase())) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass",}, b0, false, false, "p", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "n", null);
+retire(); return;
+}; })
+
+// Sprite1 Wtest %s
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+const b1 = stage.variables["t)]?yi[*8XU73qhMqOa8"];
+return function* genXYZ_test_ (p0) {
+b0.value = p0;
+while (!(("" + listGet(b1.value, b0.value)).toLowerCase() === "something".toLowerCase())) {
+b0.value = ((+b0.value || 0) + 1);
+if (isStuck()) yield;
+}
+return "";
+}; })

From 5a90e13981cb62201724fd16497bb64728405055 Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 18:37:42 -0500
Subject: [PATCH 06/11] Fix TypeState#after setting variable types to undefined

If a variable existed in `this` but not in `other`, its resulting type
would be set to undefined. Changing it to use the type from `this`
seems to fix https://github.com/TurboWarp/scratch-vm/issues/273.
---
 src/compiler/iroptimizer.js                                 | 2 +-
 .../tw-procedure-return-recursion.sb3.tw-snapshot           | 6 +++---
 .../tw-procedure-return-recursion.sb3.tw-snapshot           | 6 +++---
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/compiler/iroptimizer.js b/src/compiler/iroptimizer.js
index 9713578727..6cadd77168 100644
--- a/src/compiler/iroptimizer.js
+++ b/src/compiler/iroptimizer.js
@@ -94,7 +94,7 @@ class TypeState {
     after (other) {
         return this.mutate(other, varId => {
             const otherType = other.variables[varId];
-            if (otherType !== 0) return otherType;
+            if (otherType) return otherType;
             return this.variables[varId] ?? InputType.ANY;
         });
     }
diff --git a/test/snapshot/__snapshots__/tw-procedure-return-recursion.sb3.tw-snapshot b/test/snapshot/__snapshots__/tw-procedure-return-recursion.sb3.tw-snapshot
index b7824ee767..6b2bc2a9f6 100644
--- a/test/snapshot/__snapshots__/tw-procedure-return-recursion.sb3.tw-snapshot
+++ b/test/snapshot/__snapshots__/tw-procedure-return-recursion.sb3.tw-snapshot
@@ -10,17 +10,17 @@ return function* genXYZ () {
 yield* executeInCompatibilityLayer({"MESSAGE":"plan 18",}, b0, false, false, "G", null);
 b1.value = 0;
 b2.value = (yield* thread.procedures["Znon warp recursion should yield %s"](8));
-if (((+b1.value || 0) === 4)) {
+if ((b1.value === 4)) {
 yield* executeInCompatibilityLayer({"MESSAGE":"pass non warp recursion yields",}, b0, false, false, "ao", null);
 }
 b1.value = 0;
 b2.value = thread.procedures["Wwarp recursion should not yield %s"](8);
-if (compareEqual(b1.value, 0)) {
+if ((b1.value === 0)) {
 yield* executeInCompatibilityLayer({"MESSAGE":"pass warp recursion does not yield",}, b0, false, false, "ar", null);
 }
 b1.value = 0;
 b2.value = (yield* thread.procedures["Zfib %s"](7));
-if (((+b1.value || 0) === 20)) {
+if ((b1.value === 20)) {
 yield* executeInCompatibilityLayer({"MESSAGE":"pass non warp fib yielded",}, b0, false, false, "au", null);
 }
 yield* thread.procedures["Zrecursing yields between each %s"]("initial");
diff --git a/test/snapshot/__snapshots__/warp-timer/tw-procedure-return-recursion.sb3.tw-snapshot b/test/snapshot/__snapshots__/warp-timer/tw-procedure-return-recursion.sb3.tw-snapshot
index b7824ee767..6b2bc2a9f6 100644
--- a/test/snapshot/__snapshots__/warp-timer/tw-procedure-return-recursion.sb3.tw-snapshot
+++ b/test/snapshot/__snapshots__/warp-timer/tw-procedure-return-recursion.sb3.tw-snapshot
@@ -10,17 +10,17 @@ return function* genXYZ () {
 yield* executeInCompatibilityLayer({"MESSAGE":"plan 18",}, b0, false, false, "G", null);
 b1.value = 0;
 b2.value = (yield* thread.procedures["Znon warp recursion should yield %s"](8));
-if (((+b1.value || 0) === 4)) {
+if ((b1.value === 4)) {
 yield* executeInCompatibilityLayer({"MESSAGE":"pass non warp recursion yields",}, b0, false, false, "ao", null);
 }
 b1.value = 0;
 b2.value = thread.procedures["Wwarp recursion should not yield %s"](8);
-if (compareEqual(b1.value, 0)) {
+if ((b1.value === 0)) {
 yield* executeInCompatibilityLayer({"MESSAGE":"pass warp recursion does not yield",}, b0, false, false, "ar", null);
 }
 b1.value = 0;
 b2.value = (yield* thread.procedures["Zfib %s"](7));
-if (((+b1.value || 0) === 20)) {
+if ((b1.value === 20)) {
 yield* executeInCompatibilityLayer({"MESSAGE":"pass non warp fib yielded",}, b0, false, false, "au", null);
 }
 yield* thread.procedures["Zrecursing yields between each %s"]("initial");

From c372e925a52c20cc5410e7128d0c88e9ca8b6c60 Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 19:27:08 -0500
Subject: [PATCH 07/11] Add test case for
 6a37fee3866cb96fbc054009b6b1f31bb9244cf9

---
 .../tw-warp-loop-condition-analysis.sb3       | Bin 0 -> 3363 bytes
 ...rp-loop-condition-analysis.sb3.tw-snapshot |  39 +++++++++++++++++
 ...rp-loop-condition-analysis.sb3.tw-snapshot |  40 ++++++++++++++++++
 3 files changed, 79 insertions(+)
 create mode 100644 test/fixtures/execute/tw-warp-loop-condition-analysis.sb3
 create mode 100644 test/snapshot/__snapshots__/tw-warp-loop-condition-analysis.sb3.tw-snapshot
 create mode 100644 test/snapshot/__snapshots__/warp-timer/tw-warp-loop-condition-analysis.sb3.tw-snapshot

diff --git a/test/fixtures/execute/tw-warp-loop-condition-analysis.sb3 b/test/fixtures/execute/tw-warp-loop-condition-analysis.sb3
new file mode 100644
index 0000000000000000000000000000000000000000..126857522d82ea44de2d6b67d6097a33716bdeb4
GIT binary patch
literal 3363
zcma)<c`zI7+QwsvN-VL&PV7Z>i3kxYQu|&@ZLO_HsI8RRT3hUtXhK?B6|t|iRw+?c
z)NASM5Nlg6s->vCv^dUuf1GpPnQ!Ji&)jp*JoDW5%=ORpo6Ew4i5Uz409XM&Z37m$
z!@ddaKmfpu4*+04dkwgE*Bj>^eAzqbuK#O$r=S@%=&_>1x=H9elVhOZQG*$|nXH;w
zpxrT#7qp#XgnA4;#_`OQbw}1;WKwn2M)<kVNVvnfpwZ)oE~%8h_yOjY`Yx&5U72TG
z|DZ_8vZMyE(hWz2yfT1&()zCJcDtYUroWf|N_Rd!iP)zrZ*CA5i7i^aeIM>|e@{x)
z=@k+jXeija|NGd9{-yx+$r&lU=^SOtrZ6WoCzAX@7vItSGiv91TYK>DnOj?Z8|;`+
zex?@qf+X6iIx}!t(2OblPP~wCMUnwwk=7q^P6a<#xJ<`Dba*ap{;cGJt1qOOW+#;0
z%yjY*zSm(eRR|>X^H0HCQ(S_$-9RYPA#+&(i7OmNn}YaO`?tqBgw_PYVMO0qRVO!|
zZga-bz6Le+)g^OSLu(mIz|qYpJeW}}<!Ag%tB?Q4N!kp>^CMF|=z0nEcG4Q!Gsltw
zg1|c^{<31$^{_SOc_-Q;5`ZpeScr@*k$Hzr?8dGi-4hnQ%*Sw5do@R6dgb*~uIPx^
z5~Ey@jImG$3Y;qBPJznsvRz1Nk<29|9UQWyPe6!~u!`4iJ&`<Af=q8rOn0RlAS44>
zlv?`-bETzFvVLF{ZmB$FX#qYfH1&c8F*L%Ng4nj{=dDG5%w{u?`UO19rw}X~7PI#`
znk}LaRu92m0SfJoZ#@!B;~cb^O27jb;9u?PB$uAPxzXYDT4ZX&JHxK&`9}pDL#Kfv
zw&*>Baj`b=T5`GZ>5bQ1P8?wC_qT76Y0Bm~j>DhaxU1&@uvh0g$vkWqR1>+_Ozcd$
z_D7&LmN6KZ%R{xH&U?7n?O?8Y``FpdQKE}ezMm{9$$Hea@KzH@wvEJrAyPm4${U(C
zh?dd#s<)S#J>CuC4t6`Eqo#q+Rj<a<m|jEbBaRozp%L%39D_^(EJ32g6dEZ_vfb$R
zHNHAa5PkWR=O(eEoZmGd<~D81p5HD?iIO+%6UxW4S#og)Lg6&XZoO2xNCQ*1o_62V
z+G>@|+}6fSF5hWO`%MyBnICVu?sJOen{$%v;k8(;F=M+j^58hV_+>``%mXstDkt%o
zn;<j`2Ltu!j&`!G;_UD#mgG3>HUeoCuRj!gFsgnNiE8&+%F-tnnyd|P7_uzc2!o8D
zcZjP~GSux%XcpG{-tVKd*;9GWzZ4i;SkKaRPn5%yoII-O!EMx5)D!Ee&+4dV5Xxwk
zaU~@6R=2o-*n3X-;*Q}Hv`ugm+#E9EUsCKqj!Xzt+(^r*RreH?V(#Lg7itp?D9HwC
zy$A<}#$VRl<Tw&QCwr^eoN=(;gmJKh45&0`90}nGD9mJ@x@J0JAzP6@sCi6-;J04I
zKMll~B!Zk3k>p8mjeP8S{$51?U9csevZ$CJc#jJj=K0C6-$$^K)!mk0>CbLGq3FL$
z-04T9ePinMHDuGmvOlC_Vkw8#>XV49^^E&22F>NDNMp4Dabu|zf`NP3s*)b29MfuW
zBT+5tI?sre(`wDRjLSDel)aGa6eqc1%W4(>2+DZyYS&tOR0(djuOuyL(pJn#4PX1M
zHNR|S+H5prwN~t$(Ea)^Ds%YWCP#Xp$g_F1pN_p&<@})Gk$l^N#2gjjA9-U}hLRXB
zB-h`$Q&~hKr(mkyYc}dmkl9qyo<q=Yv~Od<W&_gT+!5k?=mU+QoSPMTR9<Ivf0a=-
z5`pq0ytyrD$8S|?Wg7CRScC5p4UJd$5I^@P)?8VnJl?zv(ZM{vmh)|o!?v+kI3e8g
zYAt-l<>XcaTj6z|fwe}?$FCrDhg>&r>HSI+;MMQx78AaswaVQ!RA5B5&izRkD2=4C
z4rJ+q)ZkA{4LvBeygVb>R+-kyK4t1z;M=Z~-+g1`)Tx%X&?P}_J<TiwJ1sux6QcKy
z#0PL0=Ct$?d4FfcYTlB=H9c)G$m?|D^qj?iS$y&c7X$gs+TWj*%vrg6Ae2;;kREUq
zWhJ}^9`A-gAmB(G9Otfr^H4+Hz8n<d>1Srb87Bdqdyq<RJNLE@`KH+D`WSDsar})w
zTJ_j0{pJ%hyi(3x5juk{Z}Co(_MoixJxzxMK7xvWL-Y7VPVkn4B)Or8U^X<aW{^Pf
zx)X1xuoe6T!(M!0$jZ0ZfI3)`S9nTjtn+!%QNb3o|5ng(=P#xl80_xL`wQj;Ko$ek
z2{Q)$S6MX3)l^{pz$6;*-=fxK3NuyCxRuKGf1=O`l!qz`fkvp{P;O{69;K$Fj8ax{
zN2(#+RnZ8<zeLsA&ic>la~<;$fT{cvbPbKBrVjtCBupDN`dX3Kt@MlSJYpION1K{W
z)Q6xM7PvQ!3!Psui}oA{Ex%45F5e29f$djQL|cXz*Zre!wxGs?L&F2Ne*E|hn-a^Q
z3-mmQW;pFz-VSV=kNz!ZaG})kALV{K4fCd`YTH4hL8I9(_&MiKrUQC|r544_!{zHg
zf9xy-P8^MddX8>PFC2HQ;nnL7%By>~LMA4M<|Blozs6m;tXp5Srtmx>BR0C`ByX>I
zV{<Ze@kQH^&99Y%=sEGS!q)Onle5Ro^Dd{2Cs$#fi_5{C;-}tu)$9Ir@y*c1s(JB!
zmv@Ure&*v_Ke!V&A0BInL^Pu~*E(!|EkxxyJ49>wDh<u9BVmQ#_x#)XAnMVajShwW
zll_ZFJ5`Z54M(Q}{g<|*qqd{#`!7x#L=N&!_8Ww*<Z0@^_*gX2u@^k<Yr9?_OCSpx
zZ}>ual)A4u8s;O)7Ljr(9358471B@Oigy?_F2Aiz>p3JnJtwu|x9TKs&SR<5C%Xq0
z2r+hW*I9MjP3GylGe$~;37{umPOr#wd=6m03*aT76UKH;5bH<fzM5{!+Mp<sn1Wos
z-r<E<>QSkvn#wVWH)@6IG826+yjw_I!0X_kW1jI6b}kF?<p**tp`hz^7}`)j3I_xR
zg{+p0>bQs+8CLF?C`iri4FZiUU2+5T(An^xbqDeoJhVO|Jy)#Ql?SaF8JrWRTT-it
z!HIS9UilJ7QGxoWCU~^MziXlZ=Nqp~aLLN)pcKOwyLMm>d8|`7&K{_-&c|iJG>ikw
zTf_60A?I}`r6%J&M@lVMdO%t6@@UU%VV9sL0$ehc_DF_TrP4PF)w&x5-Hgc3*S@EQ
zy)z~8N&!Wlq;x+0b9(nYYkeXFxs8%wHlkABI{g5RyD?1ABH;r^M#ap}Vgm@zGy?xf
zXeX(<IWthG)SfVoN!+(FdBCF(eHv>b1B|+7%4ORsq>NOxUwjNC+X!4u@<_6Xxefp`
zOWb|PnSp)qrZShnJeI7>6yNY?v5W*1nFltd=fC8Z#xiQNS7b?L$k?#L9u1^i&H4t;
zu2GhL_{ddPDw)o%XZ(Rdo^7mEI-%)B4KvhgGje|>bAp#=m&n`O{v=4zt57dZ(!SH%
zYb5eHhsEs9ti<b?tlyUmg?2a;B>3|1Zj4kKoBUKU?S#9xpWlgvz&9u3DuyqyGT<_u
z9Mp}0ZL?=mp86?T0mcJa-JyBL{2b>!HN;dnvFICq;j;mz9M0y3f}T@x7u}?DTUZ`L
z?4K~?)-kdKFek|7Gv9Y(0cGj}NFgls0a!3UYh4q+yzmL^G4C^XBBP@(H)jC{hRoS&
z^P&=KWAs&UDbu&3@KNOyP@=+>lTUtZ@N4~j&ytl2eaBn7kFxoT*z^rFaW~$PMkzhX
zLm2P*h!+ThTCwkPckdas+B|d;l9d|Hqq(dl2A%91j|}Q)XN}o|TS<fb>{WYZ=fA2>
zm>EjNy4ZhVYmK}r4zOw(Kg@ajGdoDI%2Rh~hkQ8Dv@-o6w8^K*1EUpg+2a;A?%Q?r
z#U39gdlI4kCafUf-I^Vcx`jR^PIqZ*OQ>AzvI@$sC>@C*CuLyMx!(K^m$c7Q<*Ts{
zdd3m=SgzmVS`!Df=W`Y0q5V_T#|sFbKc1{!Vtf_4l7<hz;X(kqC@duO1uyar8*1?_
zNm?V)_*_L0(B<DAg8cN<7OcImJ@4Ueu-0i;`rIk#bKl-Jk+^yg&17N1zz7BW|AFBQ
zDF1Q(Gd}!%^6wn__t@f@k^e7L`uoPeL*U;VU$OuI{|gc<On_%U0RX16`|+$_`Bw%4
F{1atk-J1Xa

literal 0
HcmV?d00001

diff --git a/test/snapshot/__snapshots__/tw-warp-loop-condition-analysis.sb3.tw-snapshot b/test/snapshot/__snapshots__/tw-warp-loop-condition-analysis.sb3.tw-snapshot
new file mode 100644
index 0000000000..7a4aaa9cae
--- /dev/null
+++ b/test/snapshot/__snapshots__/tw-warp-loop-condition-analysis.sb3.tw-snapshot
@@ -0,0 +1,39 @@
+// TW Snapshot
+// Input SHA-256: 95d4c128e84ee992b48ed20653ba70b0f6c2d404c4f7088fa654676cd6b7c53c
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables[";~q(!vt3c.Jrz2M]ZMy]"];
+const b2 = stage.variables[",23fjp~KN1aMG|;66K@Z"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 1",}, b0, false, false, "j", null);
+b1.value = [];
+b1.value.push((1 + 2));
+b1._monitorUpToDate = false;
+b1.value.push((3 + 4));
+b1._monitorUpToDate = false;
+b1.value.push("final");
+b1._monitorUpToDate = false;
+thread.procedures["Wtest"]();
+if ((b2.value === 4)) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass",}, b0, false, false, "u", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "t", null);
+retire(); return;
+}; })
+
+// Sprite1 Wtest
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+const b1 = stage.variables[",23fjp~KN1aMG|;66K@Z"];
+const b2 = stage.variables[";~q(!vt3c.Jrz2M]ZMy]"];
+return function funXYZ_test () {
+b0.value = "";
+b1.value = 1;
+while (!(("" + b0.value).toLowerCase() === "final".toLowerCase())) {
+b0.value = (b2.value[b1.value - 1] ?? "");
+b1.value = (b1.value + 1);
+}
+return "";
+}; })
diff --git a/test/snapshot/__snapshots__/warp-timer/tw-warp-loop-condition-analysis.sb3.tw-snapshot b/test/snapshot/__snapshots__/warp-timer/tw-warp-loop-condition-analysis.sb3.tw-snapshot
new file mode 100644
index 0000000000..e5b718730e
--- /dev/null
+++ b/test/snapshot/__snapshots__/warp-timer/tw-warp-loop-condition-analysis.sb3.tw-snapshot
@@ -0,0 +1,40 @@
+// TW Snapshot
+// Input SHA-256: 95d4c128e84ee992b48ed20653ba70b0f6c2d404c4f7088fa654676cd6b7c53c
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables[";~q(!vt3c.Jrz2M]ZMy]"];
+const b2 = stage.variables[",23fjp~KN1aMG|;66K@Z"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 1",}, b0, false, false, "j", null);
+b1.value = [];
+b1.value.push((1 + 2));
+b1._monitorUpToDate = false;
+b1.value.push((3 + 4));
+b1._monitorUpToDate = false;
+b1.value.push("final");
+b1._monitorUpToDate = false;
+yield* thread.procedures["Wtest"]();
+if (((+b2.value || 0) === 4)) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass",}, b0, false, false, "u", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "t", null);
+retire(); return;
+}; })
+
+// Sprite1 Wtest
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+const b1 = stage.variables[",23fjp~KN1aMG|;66K@Z"];
+const b2 = stage.variables[";~q(!vt3c.Jrz2M]ZMy]"];
+return function* genXYZ_test () {
+b0.value = "";
+b1.value = 1;
+while (!(("" + b0.value).toLowerCase() === "final".toLowerCase())) {
+b0.value = listGet(b2.value, b1.value);
+b1.value = ((+b1.value || 0) + 1);
+if (isStuck()) yield;
+}
+return "";
+}; })

From 445a12993988ee81026cb8ce89cb0420c8de5893 Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 19:28:17 -0500
Subject: [PATCH 08/11] Add test case for
 7cc8f580b3e15b805ef5b1b441b190392cfcd49b

---
 .../tw-non-warp-loop-condition-analysis.sb3   | Bin 0 -> 3185 bytes
 ...rp-loop-condition-analysis.sb3.tw-snapshot |  29 ++++++++++++++++++
 ...rp-loop-condition-analysis.sb3.tw-snapshot |  29 ++++++++++++++++++
 3 files changed, 58 insertions(+)
 create mode 100644 test/fixtures/execute/tw-non-warp-loop-condition-analysis.sb3
 create mode 100644 test/snapshot/__snapshots__/tw-non-warp-loop-condition-analysis.sb3.tw-snapshot
 create mode 100644 test/snapshot/__snapshots__/warp-timer/tw-non-warp-loop-condition-analysis.sb3.tw-snapshot

diff --git a/test/fixtures/execute/tw-non-warp-loop-condition-analysis.sb3 b/test/fixtures/execute/tw-non-warp-loop-condition-analysis.sb3
new file mode 100644
index 0000000000000000000000000000000000000000..59c1cfcf66cee6cdfcb5254567d83f32845187be
GIT binary patch
literal 3185
zcma);c{CJ!7stmklWpv4vS#063}ftBVh}^oC|iS(eJvD?y{yT;reS1Fqz0+UBqW7s
zY-2=Y%M!9h;q{*PkLP(h=RN27-E+_HoO^!vp7Z_V_x)U?B?BW1003YD__n-5UM(l~
zo&W*>iCh2x+i^80B+$pxJxs+XG%(=#CI7&$TAYW9&Slmwa_x!|0Ce8Zdk8Bc6L}9<
zr~<eY^(F=tM2R+g;&SlogKk7jLd#I?FW`9pnC|8Wb@u_DEL2)`8nWUj0rfdI!o=1%
zrNBq7LqE;-#Uq?NKO2W03&Cb_?bpa`__FKB(cI=NEpTTgdeisY=dv=T^l9CkGM~F4
z0#xrsW1*vO*1rw~e&4Q*4(*I|KeQE6hZq+{whU(WNEZI?c@lO?<M7t5@vgO^*wh{!
z{2-^uV#&;WIltMM{0KK)pru8vnHLS086TS=+QiQZ$nw);7Id?ke%M?B^=e5=Y~H+E
z%FLw;1!$AFvGZ?wxb;njxs+z)%AcNh`_4IBEy({#(X&&!K?i#NLQA!EDT_2Aku)aD
zr=4v!mN(Q1%tt{)OBk#bh!siR--_!Dke!X&K-H5QTH-7^X;qV!C6KVO=@~fRXdLo>
z1ap1jDUDjy5{OZx&9pd+TIS3L+lr@7NkNvT0FKNF^=!Q<u>AGzd@aGQWZk&2P5#T)
zXH<5|OWcg;Bp{kn*{LhI2wd|146ZX-JJp&*A<+sz4R_2kdP<n3gF-U7Ym<^$A*PiQ
z{0SRBkomUvJZRU_n6XZ0b9G-PG{34G@k(hfN{V6btB==H?m)5#8oteEM-aPXLIpEZ
zLpTRV=jZ%cCEc$@GyD|M{~D|?$_G(x^M)BX69_!><Gk%Uvkp%Ipw{U-oec7=Fit2Q
z#s1Y061du{y2h*=5ptW_c5QcJRHVb(NXlLzJka3!t&f{$z6~)^MJ)HYi!XI_8!I%<
zq7B8+swk2L?Zul!*4Bn2A1YKw0OTge&>KUml;St4Q09P++Fl_S2<**^J{BwTijFcj
z*q7Ll0)~Z0>RHJ739I5_a?k^`1`Dc&hb%|oLp{ekDio?qgWH<QqFJnPV0>qSxl6*_
z{8czmhVp8JjLRfSI4sE3({vpOtcp&7`V+2NQ|yheb-;96#8XNkl(tt8y8vad5Q3kS
z)pi-;dSAc7pSx7e$uO+&Z0BB4->qjY`m+!@hTUQA#lx|*FXExkcvMXc49)Nd1Fh<D
z{x&)9HETPPgm+EB;VPHEjGFFowp@NqI1LGu4YXVDrbTgsB}=k7`ue==f@rnmRn4P!
zxzmH4q+XdZcjUSk(ytM&%N7rs<r7TO`9lA}`2uOzYp9!5eDXG(?#tgmPU1WeIg9xP
z3_|&(5cOaOzAWU<;%<!u;@2*57s^);-zA*B$577<IQ=0OsRw$QROWqa36p-&7elQd
zoM?0j_a)di<SJ%(Ua@{2P_#!_fK#IVZ5+>#>u<JUD436$eYyJ?GS%q(m0J6{i6qb5
z$F=?r_r52ykvB|~zBycSj(M;JSQl=><`pyXd`5WJ)YWuU*iOu1xE#xu-nU&gUH8x?
z8C^AGNgrSUJ?$^@>zeBKdBk>suhNr%iY1p@j7xn;E^jQW%W=eA^g&EKvF4^-jJ~ka
z1(l}V=Ym`R7QUc)vd@Dl;1YL>qHvnj`3G;>)e9XWn6C$~_#5{-Tluyw_bDPi8^>%f
ztQRRzVQ9g~!LAfVe!Q)fS43W7mZ^YJ2xG1#M=TGgJXn&+RYtJvJ>EB^+Q44>>|B=1
zki8D;8EJg}2M_x6z^qSlZM=Ba<Z?~VHgalLCbm;DVW4UKbG*%aRiBbl#P%E)F{f3q
z6xW5`FhKspFz@zr(q$hT<@@85I!<>Fh?<5P)I(K6T@B-b!Jr`!h$_@m)ze+W(?bh-
zRVDO>m;ZT7_IPpL$y+I-EhpYKK;M)jYzBFrStMNS>Zlu}j9$(^k5MZO6dt8>;3?m1
zHtLl&3ej^+<cre?XnZzIE)3gnl*n$x#hvdP)-p@XyXKu>F24~rug_Ml&}Zk@X@>8u
zC@wpSd)naJ)LzXRv-4KaY4a;Xp{QtJ>-8DyQXt3-cF3p?|N02a>}Dmfx@(CA{8QAb
zR9U9RF$Gds|0fC#fq7`cAaIC=CkzdTV_;fp>M(T;cc>QBT@wz0{8!Xt2TB0t9OnUF
z9597nd{jrLxw$<c=Z=1hA@(fp+Ld&rHf|9e`TaG$W_%R$1W47VgA-m-N`ZU53$L;n
z{aCdTF(JBBmv`#<N7`xt_VRPs@bTXc-dJCs79A7G7!@Gh!qOde&HV^&p<;i_nkiH|
zeXjD~Y@}Mj>Ku9zy$H%YX42)0)jQMPN@V%7k5#Kb*EeT^$@~4`UIX99XAatzG1?8g
zRdt;kH^?J>)SD-<i}7bvOrGGD<saV6h{e_)7H>cMzBUq0YijAU|Fy7-ofLaiMyUES
zLOFOwbv=4|s4MD4n+tm>cH~oBw;C`iwiZsSrHbvicGGbF*25d?TuEzD2RgzxpTXFd
z+wFhN+%9r)#2Wai^-)%#qGc=F0WDn|+F16dj%5KOJ+%GJ+GtN5C+E_0tqubN4g;$@
zO-GHwyTyk)jY4ON_0Ba-;mGaVVZ(k7t50I%vIQ-^`|)zCy*}$?UIKYUgUTj@+wJaF
zpUziR^rqKQd0Uf8+RG|9A-Ukc<Sb{+ZEM^mz0D$U!@|+scnQ6Am%Gb*Fe^z^06x+>
zz90vl4q^)g@WjCr2e&LCtNT@cdgwVL=G$2!^0FnSdkV4m{mN5X8V6ZCw-@lP6W9}x
zuZ6?}uI=u&Q|XlrCvzb4>(J%IQsS!!xcRx;o<LyejirhKW7ks%^O{XddCAG`ULeBO
zwJ69Go~!z^VOLHc!}}y7y-1|ojT^2R9ab1`Qt?<(-&5oz&zbr7JPqD}ltd4L>WUr=
zAoKJLnNwQU7^WCWBW{X17Bh``vXgi%jHl)VQ}rD|Z_Q;?IAlylBu5gw`YUZ0NX$72
za&WJ+5z4%l0-RDcC@9^F%F`Fiv|cv~q7m5-mse6Ex~;N!B!R;D$uA3r#<ygco+NQV
zf55~U5qSJt=XK^`G#$AkTJ_yNqMY$TY*5?-o!}3NZCRRV7rHz=o)iHd@%%O@2S~ed
zu7fFwP87dw#pys0Qip1yX!n8H_5!+hJnkT4Yyd2b;(<}@8HTss)D*=r4&F6kNN5}?
zmlEfN7PDB5mb7x6Hl#OVtIm<kkg{hIO?#KDoAZq&w_g2pRGOQK<lRv=Q;Sb@a;$@d
z(}~SZ^^ClBYtcIsnPeXBt$RG3ZTX>!*UC&&B~UMYuJuPh1S2V%6!BLRIlq<7g*L(R
z;(WyzG(En9Rc@@j<B+Sfhu;|#$2TeECW5K3Gvl-x={1QF{lS)*SKzN`2N(`!a_23!
z;0Mci>4<2s8^SO8M^b{Uz%JJ2f?i|sO6b!?&q4P&Q2BI44fLQO#zg57#_MPhbEXL(
z>jvmakRb~{Q$sVq+{r`H`#cZa@6kK?aj}<z^|RRt_Dwa0_J~En*-XFovb35ppm?<#
zJD=QO@8Xl|UKI<~=bWx=rRDPDSkIa1d0y<!8ptEv?bG+6-fV)HJr-G!4GcjL?4z88
zq$NKVcepMmg&yu$^!FMY<qV=&2wA=SY_;2uWEM5a=glQ!T~YI_glJtcfL-(OUg7<p
zxuJr!UM91f*?aGr7sfw@H~Thw=o>`ZlF$*ue#HHG6eeE!@TT^gh|-|$<x4>P2K?yW
zIMK*RTtkUy7n)mL*&maAC&MtE^Ud!_2~@ErU;Ty92jKYovOUPN&0t>AbS*~|ssJ{n
z0P+2hzobn6B77kg6M4}!4(KXBlh_qT<N0WAz&9&#0g}q+CJf=7`|TmfKbrE~5aoyB
z+1m;;I3lJ`9x+dMZU4A;Z)q3HfV8Be=LP)#_4^noe>;C)#{ca6lS6;CsT~{nzoF8f
i6aR$3UlTzf0N~#s0ci<5ehC0D9LLo09es=w0N_8jvX`I$

literal 0
HcmV?d00001

diff --git a/test/snapshot/__snapshots__/tw-non-warp-loop-condition-analysis.sb3.tw-snapshot b/test/snapshot/__snapshots__/tw-non-warp-loop-condition-analysis.sb3.tw-snapshot
new file mode 100644
index 0000000000..018d12fbdc
--- /dev/null
+++ b/test/snapshot/__snapshots__/tw-non-warp-loop-condition-analysis.sb3.tw-snapshot
@@ -0,0 +1,29 @@
+// TW Snapshot
+// Input SHA-256: be149d21cc69628647000cc698ebd60949252730a0ea7b19f71cc85fe927b294
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["%ehs:~!Y0l-5=!mnd-B?"];
+const b2 = stage.variables["=3aHfv[mKa)v,Wfpy:y?"];
+const b3 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 1",}, b0, false, false, "d", null);
+b1.value = [];
+b1.value.push((1 + 2));
+b1._monitorUpToDate = false;
+b1.value.push("eof");
+b1._monitorUpToDate = false;
+b2.value = 0;
+b3.value = "bwah";
+while (!(("" + b3.value).toLowerCase() === "eof".toLowerCase())) {
+b2.value = ((+b2.value || 0) + 1);
+b3.value = (b1.value[(b2.value | 0) - 1] ?? "");
+yield;
+}
+if (((+b2.value || 0) === 2)) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass",}, b0, false, false, "q", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "o", null);
+retire(); return;
+}; })
diff --git a/test/snapshot/__snapshots__/warp-timer/tw-non-warp-loop-condition-analysis.sb3.tw-snapshot b/test/snapshot/__snapshots__/warp-timer/tw-non-warp-loop-condition-analysis.sb3.tw-snapshot
new file mode 100644
index 0000000000..018d12fbdc
--- /dev/null
+++ b/test/snapshot/__snapshots__/warp-timer/tw-non-warp-loop-condition-analysis.sb3.tw-snapshot
@@ -0,0 +1,29 @@
+// TW Snapshot
+// Input SHA-256: be149d21cc69628647000cc698ebd60949252730a0ea7b19f71cc85fe927b294
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["%ehs:~!Y0l-5=!mnd-B?"];
+const b2 = stage.variables["=3aHfv[mKa)v,Wfpy:y?"];
+const b3 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 1",}, b0, false, false, "d", null);
+b1.value = [];
+b1.value.push((1 + 2));
+b1._monitorUpToDate = false;
+b1.value.push("eof");
+b1._monitorUpToDate = false;
+b2.value = 0;
+b3.value = "bwah";
+while (!(("" + b3.value).toLowerCase() === "eof".toLowerCase())) {
+b2.value = ((+b2.value || 0) + 1);
+b3.value = (b1.value[(b2.value | 0) - 1] ?? "");
+yield;
+}
+if (((+b2.value || 0) === 2)) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass",}, b0, false, false, "q", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "o", null);
+retire(); return;
+}; })

From 214b86a063f72c4a126bb47d77a56049cb398e48 Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 19:29:06 -0500
Subject: [PATCH 09/11] Add test case for
 d8c73c71d255d1a9a6526b1cd7e3da8c077fac89

---
 ...-analysis-understands-stop-this-script.sb3 | Bin 0 -> 3262 bytes
 ...derstands-stop-this-script.sb3.tw-snapshot |  30 ++++++++++++++++++
 ...derstands-stop-this-script.sb3.tw-snapshot |  30 ++++++++++++++++++
 3 files changed, 60 insertions(+)
 create mode 100644 test/fixtures/execute/tw-state-analysis-understands-stop-this-script.sb3
 create mode 100644 test/snapshot/__snapshots__/tw-state-analysis-understands-stop-this-script.sb3.tw-snapshot
 create mode 100644 test/snapshot/__snapshots__/warp-timer/tw-state-analysis-understands-stop-this-script.sb3.tw-snapshot

diff --git a/test/fixtures/execute/tw-state-analysis-understands-stop-this-script.sb3 b/test/fixtures/execute/tw-state-analysis-understands-stop-this-script.sb3
new file mode 100644
index 0000000000000000000000000000000000000000..735f45d77caa48a86c503a91a37b36a1dee968fb
GIT binary patch
literal 3262
zcma);c{CJ!7srQ;eT%_J_K1`;&0w;ReT%GPXBcE(Bij@a%D%-|B0FI$BTFJXg_5xh
zN|Pm;5JSoGde8gE^E{pNp7Z?fx#ym9&+p!IzW;nb*I54y4I=;mpa*!i4jJoyu}7Ez
z0RYrl0D$?l>lfhbfp!j(_6YR#d1+}A@>!PsSgPvay;86h@yUih)^MgUKh=eA$UaZK
zs=<ZSkGItocQQQ=*G{KW7g8N7?79afEMs$x0`DR?c2f23&+QvYa403HC(fm>en3dx
zbbS2y4Z`$|sA8gIZ6pGNAsa;P94CFpM5z3tRIHG&lPOsa>9fPAv-uB4Oqu$TI?#rR
zZ^TYY8ULM*y`rKUD1ldJRZfa6NI$8@`x4sES!}%OIgi&wtn*#1mliD8k`;_y@FlP<
z^f(-aD76?}Q6(s)lO$N)sgim9;}TNdYQa)+RU`+L^*QpSyMDq~WfYtdD|%KoS0<dD
z(_YhvelwzX%RMthpZ!yb#E`wEW}wdQBwX1kB(tBe@!@>ROiMLqst~xX&NKW&c~nw*
z`9mjvgvahJfd)K^b=3gHi`!-PGdbpMu^V5^j8gNixINy}9=$AiYsN_tjk6fRd83bc
zm*w(}>sm6Q!(fkTC;23LbY!w=nv+bNiaL1?!Q7QI0=R6hOf?@#7?q$5+U3W!t?1<q
zZqHvzyV#ABz+EJzm5$M3^pYco9fmAbF7NQ(azp3;%KVa_C|s<TsWn3F7vRBMU0Y+G
zN}Cm10v%-uKeW}!W~K}~^3!$Q4g;P|()E81c7838&8U+d{55mn(dt(GTp`_|IVP|L
zLk9)xiM#RIiClN&o=~mgXygaK$&#W6mS2$bu?&f6sZUDEF>&0KPh^;P20u0C0*IN9
z)AV?bbDf9=3%3hqYK%CIKX7!*9}JMhbSs)xRIS44Iz!(wD(j26ZObrP*bBSotgn4r
zIXEoA_y@AM+c8C&FBOOE*G;P^bwEYJUSu>o*4>m8Me!~pA<CsEUm6^9^taB{Vc80Z
zlN*6_GG@=i>HKQxDxM2_0i>2@RcRWz>0adBw)Xlw`)<SlpT|>~Pk#U4y9m!Z#aEfx
zR~fWtv2Bu1U!={uh2V$GFs->CC*dTJPxn0sQejzUP=3U&Ee+i;Yv8-V$?taBzv=pi
zp3E#ZT&-<;DIYmaRvgz1Z<>y>siemj+<ua3cOw<XU$<FzzL%X|Dp{O0e!grd66my6
zOaOY2VLm-}8Eq#HMB0v$niNuKSzl$XMyRUo(ak<(i3Xp65f{UXC%6PKqasl=`(2(<
z-Hn%vUpK|-U5tY}qlLZ(Myp2ML^`fll8pyEjiu|x6^blz+sJ*JeHQh77$W#;*pWHB
z_2ryGJp9>9-h?b&&d$uVf${4m0TEi~UWtn)-Eq6HwKUr1YR(`Sd)=m&;iCyW0z3(g
z_g@=KQz@?LE*B&wqc(mvR-;F%J<eo547X3%n|W_ATd2)J+I7kBd^i&wIo+yf8UT%(
z-n$fQU_Sp$M_j(6jQSiE=X}1>k^ZQ6YFMv#8*C2TVy*V<s~O)^-X=`x)ndRxz)7Po
zx$d~k!}6Sc&78aJg4X17g0)S1u65J<+VG^X$?eW+OW$@%43<y3MOx&&(ptI`UL1Uw
zxJE>ACdgBgtgJmo{K0vImaQRbbEC0LP-6E_n!s2pNhm`M?St)-U<(5AT=NHnx(Mei
z!MUEJ8eFze%MhDkq6o!;tb+K^@6(qSL4$A@J~Tf5yeDM<$~b7krnZqsXvaITFVsrD
zuo;~Zn=ko+iF*OsuynUv?zXNv<nRj@^syAnVX;gEx0^(9l?~*&#tAZ|Xnj_UPRt&O
zEqCPmbjc7Hiu+`UDEn?jV_2RjU1^Pz!h0AAD~Wb|UT1(d9@vTUBU}KRn%<WRkt(aA
zd%EZlre#G729ptk=8s)j>yJi$a}D&irczc<sEq&NzVT!1R2iqPJ93&APSe>1at(G3
z>LLTXe$Caz)fEMSKxCk38MHGD?II6#k`BD%=546Y8Y2Xn4^NzKrR%GMzAn)<n&52K
zdtlbzT{A(Pw$3qhy_W0CH%(>1S+diF7#2eWC|SjFMZ<g=nkT1ngSM@NGa8Dc4M!*C
zwPUm0Z$HqH+zwh%W-hrjYU0(aT{`>>TXYiLSm%lBsARgg*9W%U`Fti<K*0A!@Y2l!
zAg#9CF^w|(b2)~=(SV1%ua5!zQxy3^Q7Y^dDTz$~69tFJxyZ^v;1C#E4h4t1%E@25
zE_WT~43&pE%fca$|B8BULG&SNu^(|o0~5K0rWF*LnmT+kA1b%1V$_P=ZIUjxaqufh
z9&9Q#l}0ek(aLyqv%~WXh;X-|kP4&ew-wu=a{_xc+2>o{lE^+7>lV4mppd)%+gn?o
z1ZMb?r+Iq9F;pl0%Rl^E7chqxwJ(*~eyH%?X;?6jtFai?9o8kTxX#;uG#JtxE;BA^
zep^BQxwW(8KXot`;x_($cIl{N!}Uhpenn01_MIuh=t9^z%v#J<X^r~g4auir$@ej}
z$5=}9_f0|w3D-Jm{(E&FGcQ<Pgs=EWARaX@IGi*dD+;)gmV-J4Pdu<SWS?ol%@9)c
zg5aLR0IAsf=H&L)*|^P!BL%*&W;xc44)fnjQF-=O7!|K;qeL=Ppy(ULr?sE$28OlK
zs>p{hNIKZ5jzlZi+7)QMuoxe=7$@)HP8#_3vB!H2yjQVGTDZmHsSZleq?ZM`{(f`@
zSns<Rh~wHTHCvs0NI405F@dGSB)(EKM@H&4wSshC)uWzY=}+iHR=wBlByMutQtua|
zF!J2dvvO8nNA1RQ^xvLHj}zd56JE@&O0azLWA+7bM#Ez#cJ(3Tg9<Mt)G~r0DxF{Q
zV!r0DOZQ6;%FfHfj?y`!R!be`Fm!ic@e1;|@9%dkP+w7<&xEXOK{sLxx?YCDb+n?;
zKw#jV^=ISi4(D}ss&@1xMdm5PK;2sod48JkESaBm`x45op!(#bJpK|#4!CS&P;QLI
zv*%LEX#P&lt1B_tFpy7TtP5V|o01$ryz%N3yVyl_IjOs(t{nj@Ed30cwFji9zPJp2
zq-;gorz0-SCayscAv|y!E4#JY!;twv0`8_3dIhA<!+xO(38iW;6E!Q6f7Jj+>1I6L
z_?8$tV35u!0_4j{=zQ{ic2}IfK8_9gLr#cBx3sj+Zi`_OMK#qODKm7STS8NK-!HmQ
z!T(KcTe>XDo+`Vvv?r8>fc`om0eE~ztD8QKN}!Ztz;1!(y$+Q{lG1<~<~)iIT^<_W
zGXgNu2>C{^CaZ?OuF8w1nTXdo^Pu5<$ps-06w7EZo&Vyjs46vrxiV8E`GPsUz~i9=
z#mujaS+&<iBOW_yh{R7bYwEqDl3<#^i^ewLYH2_wn~{5SsZ*RByD6N#Z8?Eb?nRo9
zgpr*d?qiWpS&WH0M4^{+nTJ<&cz0MNg}AV;DC*K~CW)Dn?&Gt)gWPts(OmNv9Qj?J
znP{^c5Qa7G3H)GA&3@u7WdfM=r*{Tn^|)EY-4ys?tg3J`@4G}l0~Y(6I$*b%n9C^9
zycXItHe?P}UL7^9A5E-SK20!+mLXLGkbZ}@-cOa0o4&4zTjJcYKpJPEa|*Ss*ICvA
z7Uc|9yg9B))m(QC{3X?^qv&zf3{a@jk(EngVtB1S*zMVBrIxMD?&B=(VkRwZCA8T<
z`gnFv{HU_WLKqIB{ha^XMc)8jym^Ejub9YNY`4QkT;TDZ-q^4@B69-Ch)*BpX0E1`
zi?7K}8S04KcR;Q%;Ug6V0VYk8zjD)lW(9()-88=JWc(UxTAh6t(&X9XqO5ZFRu3w4
z(yQxW1?d_ib{ux&b!dU#z=kETbQ^w>GTVhf2*ECQnFMB4mW|!Zc$lo3#Qys5t}qfS
z%T;R{SjZBSc5%>Ht%(KH^QoFG0{KL4@e;)IP0soi>h_S;N3M6x9HM~^l1s7uK_t$%
zIx1XWgiRrjxE%Q)pyfjsF!yv~iz?C!$@yzHNads}Y5s)aQ$OWLO3L~^=8UmE6*UO(
z|8MzIp#1Iq{j&da@=p%^H5PSh<o||Be{TE}0)K5Zr3C=~4HAs?fu}zKfHSADcv?qJ
IaRLDR2b9gp00000

literal 0
HcmV?d00001

diff --git a/test/snapshot/__snapshots__/tw-state-analysis-understands-stop-this-script.sb3.tw-snapshot b/test/snapshot/__snapshots__/tw-state-analysis-understands-stop-this-script.sb3.tw-snapshot
new file mode 100644
index 0000000000..7530899818
--- /dev/null
+++ b/test/snapshot/__snapshots__/tw-state-analysis-understands-stop-this-script.sb3.tw-snapshot
@@ -0,0 +1,30 @@
+// TW Snapshot
+// Input SHA-256: 7f99a41ef716935ae486087d8adf955cbd853c893bc94e58e4cc1c46ad1a7883
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["KMKx1gRubgLz,!L]^TBS"];
+const b2 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 1",}, b0, false, false, "g", null);
+thread.procedures["Wtest"]();
+if ((("" + listGet(b1.value, b2.value)).toLowerCase() === "thing".toLowerCase())) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass",}, b0, false, false, "m", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "o", null);
+retire(); return;
+}; })
+
+// Sprite1 Wtest
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = stage.variables["yz}9Y:gLL0ZWEs}l)s+Q"];
+const b1 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function funXYZ_test () {
+if ((("" + b0.value).toLowerCase() === "true".toLowerCase())) {
+b1.value = "last";
+return "";
+}
+b1.value = (1 + 2);
+return "";
+}; })
diff --git a/test/snapshot/__snapshots__/warp-timer/tw-state-analysis-understands-stop-this-script.sb3.tw-snapshot b/test/snapshot/__snapshots__/warp-timer/tw-state-analysis-understands-stop-this-script.sb3.tw-snapshot
new file mode 100644
index 0000000000..7530899818
--- /dev/null
+++ b/test/snapshot/__snapshots__/warp-timer/tw-state-analysis-understands-stop-this-script.sb3.tw-snapshot
@@ -0,0 +1,30 @@
+// TW Snapshot
+// Input SHA-256: 7f99a41ef716935ae486087d8adf955cbd853c893bc94e58e4cc1c46ad1a7883
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["KMKx1gRubgLz,!L]^TBS"];
+const b2 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 1",}, b0, false, false, "g", null);
+thread.procedures["Wtest"]();
+if ((("" + listGet(b1.value, b2.value)).toLowerCase() === "thing".toLowerCase())) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass",}, b0, false, false, "m", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "o", null);
+retire(); return;
+}; })
+
+// Sprite1 Wtest
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = stage.variables["yz}9Y:gLL0ZWEs}l)s+Q"];
+const b1 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function funXYZ_test () {
+if ((("" + b0.value).toLowerCase() === "true".toLowerCase())) {
+b1.value = "last";
+return "";
+}
+b1.value = (1 + 2);
+return "";
+}; })

From 4a8a5ad9011ed3059ad542b5d023bef97fe4f01b Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 19:30:23 -0500
Subject: [PATCH 10/11] Add test case for
 7ed29f5801c4ad4399d852bf5b4f19244b13cc5b

---
 ...avoids-number-literal-if-name-conflict.sb3 | Bin 0 -> 2035 bytes
 ...r-literal-if-name-conflict.sb3.tw-snapshot |  21 ++++++++++++++++++
 ...r-literal-if-name-conflict.sb3.tw-snapshot |  21 ++++++++++++++++++
 3 files changed, 42 insertions(+)
 create mode 100644 test/fixtures/execute/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3
 create mode 100644 test/snapshot/__snapshots__/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3.tw-snapshot
 create mode 100644 test/snapshot/__snapshots__/warp-timer/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3.tw-snapshot

diff --git a/test/fixtures/execute/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3 b/test/fixtures/execute/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3
new file mode 100644
index 0000000000000000000000000000000000000000..ce978f1954e0192d3a7d2bc9941df72e9e62949e
GIT binary patch
literal 2035
zcma)-cTm&W7RP_|P#4zhQk0@}1YSrXVNpPE3DUcZfFy)OAQTq}eU~B$y^KLXq%1{N
zjDi%Y@}w70L}Hevp+tBrgoh-oNHZ_9vor28^Jctv&L8*AJ>NT@bIzROY$qfv0RR99
zAhwS>+fDe6;DiByB?kaf{M+jh;lX%ZlwojWco?I^H*(n+OyNn?Fk4}U+t(~Rf-dz(
zLme>Mz5k7FR@C!u-ag}<r%$cb<@KQ31gL`o*XD1pQeL%Ja4XdJGSC`LpnLW%yZdtF
z-))wYs~f<I4CfqmotkO~D@lDzHdF$q`l@napX;~zbYMf(?0M2&QzXxA%kAJlYgLbx
zgg2^!J*;H9yn-{x^>b{wtcJys*jTq~Z|)T1^U-p-m(O3-5`OI%rw1d~(gfl<7Y#4?
zvR`B_W(su6>2He}p3$#T_Z6N@qZdAl6eQ)BP;fIBWAq2K|GiaOS3mFmYlYRNkzokx
zj7(2)LQbfBwxnT`R9vD&nS0^|U;1yAZJ$!QtkHhVK%EsYd$4JteA$Y%;&=9#k11JI
zYVPkmZIv`nk-n<x0Ew^QQdsalHOg*s*Tj9ra~ijRbJoEVJ*T)Xmi5T)-X9BARB~a%
zMOTJ~%m_h4BbgvgL`7_zQ&N@l(fdKx#fRU^V>WlftZ|h~y|^mmufm>rk{5o`S=Aa%
zwY9>Q1<<}fDuB8c(G|50!*ccFA_Ryn9<j`tu#qWQ5LWqjJ=-=Ncfh`H>1=|=f?9!u
z<wT2?MP<A^)eJQ}IoW;=Gi@<RA~8)n*UZ1#EKgrrMG!fZyK{}tD$_?>L4~?y<d9sy
zjJDNX=iJmlc$w5hUGY)h#nYxXZZMh-Iq&7AwQt2)i4~6YZs+(G&Wy)U6wQCxz{n}R
zX8WD1I3Z}7QjaKdu;PYlvujv~BKtSH9j&g=mWI=`1iQRJD*1O8LzMPUG8FF5tF)ae
zE6;zKE;Iv%OBPDijEx1pF+J)D%qq?PIz(<eO+vr3WNKbY^!3<s*pJfY9~$Ftz|>>3
zQ)#Pn$&#SAz|~p&s+e|o+b=!3IG?Q!RJM;EXZ$_|agVfwiHMteS}GGyKAC;D;-LB4
zY`BTE0z>(Qtxn%c|DEmvWInOk$)}j8aFC8<Dl)+gmvhovv)uQNr9@bQT`cQz|G|ep
z-WxMzne7WFm@Pd0C)DEpljdygIeZd){phy^5Y?iHA;EH{lsxu)HS0sWr&!o6<}Oa(
z&njzNleYOJQ+wFjnAxv<QEJ41D-CA*eM1?pH5!;;zezMPUGRa8O5@Y0XG<;DX;V0x
zpLt@62X=d14H2uMLeFD}$y_Z?O<s6xISc1)9_7PMK%+%PlujJ9B?Xvz-b$RF*(zkl
zw@(#|&TKtTUUws%%`v_{6GM86^VVYIZ&$6XDXY45Td@alZy$$nb_{+_m!Evsct1-s
z>B*e3@A+i6Q<^yy{dG`zLg-AxPjkUbE5xlJtDYh{gcs?5l=_-0Ry&6}BqB1?Qsc?Q
zJP(gWHJwj%oyNgiuIhWgT#+L@Ad|n=)6PI8@;Y=Dc9Wf0VC!Pis66*j_wFl8>}lG=
zcG4dlO1{d}JmG2zGTvuhXhEWW$CYX;p95Rsy!=69vRu55Bcw}hO}MV+@ltuGwG$*W
z8PRzt=KPOllrbSIK;<`~XMEG(8!iB9gfM~!KoBq^LI8o_4~0S@a6AN$L*N5YaI9fu
z^tDh2JDD45;5P|b)9qq|4e<WzOHPv~T5Z$Zhk9v~^V3&~9SBCZ!%t2Nc%G={wpfm7
zT1K4rB7c*L2z%5@XWWk3_Bu^{RF&#5PDi21MS($SHoDtUt7cNwdgHDk1L)eZnmd)e
z)aC|aQ};c|<PU=iKHO!Y+bSyI9i%14auHE9@{_Qc$#PwiIL2OnbJs2j_$QR{#|>@;
zA7<k(C?twtghQE_z#+y6e=GrqL>l4wP*5xZPC&vDus@;lUP#=4$fo&evO7x$E5NKi
zq+Ds`P)T73q|Ir;{R#M)N;G9pfl&Ll*;l(?0X*s{Xlkr#lQO<%a{a1p(0EVo7{?LR
zcQ)ztz>?7ep2h6$d2=_6i0Z7aY;T$M21hsMH9il`Xy;;-3}9<Lsj@djtxbkJcwK~n
z2h@@M^{F|3|Iu78<DGwrv<e5?Xu~gCd~6VD7Bb6SV9<{xttsWZO<g{l;a_}Mf<J_S
zg2SMAhzZshhJc_5SUemR05>*)_`~1<hB4S^NlsLx8xDg3#Yjauj2pPf0?mpkkFdxB
zmx<BdLABn3n?Kwf9RvjVp%f4V1OI<q@&EkW`up%Y?s>enKD*`e$KRJ!+Hu9>iT$kT
nF9HBxlIG)z$3yv9(NYuuz9g{Db|U<j03giY5CH&q_~+?=i8WgI

literal 0
HcmV?d00001

diff --git a/test/snapshot/__snapshots__/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3.tw-snapshot b/test/snapshot/__snapshots__/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3.tw-snapshot
new file mode 100644
index 0000000000..3e809112dd
--- /dev/null
+++ b/test/snapshot/__snapshots__/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3.tw-snapshot
@@ -0,0 +1,21 @@
+// TW Snapshot
+// Input SHA-256: 91090a2de3ee7db914230fa0aa354e89d6b1781b5a730a71986b018b5f217f18
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 2",}, b0, false, false, "f", null);
+b1.value = "5";
+runtime.ext_scratch3_looks._setCostume(target, "costume1");
+if (((target.currentCostume + 1) === 1)) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass initial costume",}, b0, false, false, "p", null);
+}
+runtime.ext_scratch3_looks._setCostume(target, b1.value);
+if (((target.currentCostume + 1) === 3)) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass costume \"5\"",}, b0, false, false, "m", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "l", null);
+retire(); return;
+}; })
diff --git a/test/snapshot/__snapshots__/warp-timer/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3.tw-snapshot b/test/snapshot/__snapshots__/warp-timer/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3.tw-snapshot
new file mode 100644
index 0000000000..3e809112dd
--- /dev/null
+++ b/test/snapshot/__snapshots__/warp-timer/tw-sound-menu-avoids-number-literal-if-name-conflict.sb3.tw-snapshot
@@ -0,0 +1,21 @@
+// TW Snapshot
+// Input SHA-256: 91090a2de3ee7db914230fa0aa354e89d6b1781b5a730a71986b018b5f217f18
+
+// Sprite1 script
+(function factoryXYZ(thread) { const target = thread.target; const runtime = target.runtime; const stage = runtime.getTargetForStage();
+const b0 = runtime.getOpcodeFunction("looks_say");
+const b1 = stage.variables["`jEk@4|i[#Fk?(8x)AV.-my variable"];
+return function* genXYZ () {
+yield* executeInCompatibilityLayer({"MESSAGE":"plan 2",}, b0, false, false, "f", null);
+b1.value = "5";
+runtime.ext_scratch3_looks._setCostume(target, "costume1");
+if (((target.currentCostume + 1) === 1)) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass initial costume",}, b0, false, false, "p", null);
+}
+runtime.ext_scratch3_looks._setCostume(target, b1.value);
+if (((target.currentCostume + 1) === 3)) {
+yield* executeInCompatibilityLayer({"MESSAGE":"pass costume \"5\"",}, b0, false, false, "m", null);
+}
+yield* executeInCompatibilityLayer({"MESSAGE":"end",}, b0, false, false, "l", null);
+retire(); return;
+}; })

From e81319b20158ae16d8c5c25e7d76ca2113c0edb9 Mon Sep 17 00:00:00 2001
From: Thomas Weber <muffin@muffin.ink>
Date: Mon, 22 Sep 2025 19:35:06 -0500
Subject: [PATCH 11/11] Use Object.create(null) instead of  {}

Avoids any weird issues if variables have strange IDs like "toString"
---
 src/compiler/iroptimizer.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/compiler/iroptimizer.js b/src/compiler/iroptimizer.js
index 6cadd77168..416f1c3e06 100644
--- a/src/compiler/iroptimizer.js
+++ b/src/compiler/iroptimizer.js
@@ -17,7 +17,7 @@ const {
 class TypeState {
     constructor () {
         /** @type {Object.<string, InputType | 0>}*/
-        this.variables = {};
+        this.variables = Object.create(null);
     }
 
     /**
@@ -31,7 +31,7 @@ class TypeState {
                 break;
             }
         }
-        this.variables = {};
+        this.variables = Object.create(null);
         return modified;
     }