JS: Prevent some bad joins under RTJO.

This commit is contained in:
Alex Eyers-Taylor
2025-05-01 17:24:46 +01:00
parent b8c9f72e60
commit 5f7757740a

View File

@@ -138,7 +138,7 @@ class TypeTracker extends TTypeTracker {
TypeTracker step(DataFlow::SourceNode pred, DataFlow::SourceNode succ) {
exists(StepSummary summary |
StepSummary::step(pred, succ, summary) and
result = this.append(summary)
result = pragma[only_bind_out](this).append(summary)
)
}