Reorder to unify

Lipen · Lipen · commit 15e08238c68c · 2025-02-26T14:53:26.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/TsContext.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/TsContext.kt
@@ -91,8 +91,8 @@ class TsContext(
 
                 addressSort -> {
                     val lValue = getIntermediateRefLValue(ref.address)
-                    memory.types.allocate(ref.address, FakeType.fromRef(this@TsContext))
                     memory.write(lValue, this@toFakeObject.asExpr(addressSort), guard = trueExpr)
+                    memory.types.allocate(ref.address, FakeType.fromRef(this@TsContext))
                 }
 
                 else -> TODO("Not yet supported")

Original file line number	Diff line number	Diff line change
`@@ -91,8 +91,8 @@ class TsContext(`
`91`	`91`
`92`	`92`	`addressSort -> {`
`93`	`93`	`val lValue = getIntermediateRefLValue(ref.address)`
`94`		`- memory.types.allocate(ref.address, FakeType.fromRef(this@TsContext))`
`95`	`94`	`memory.write(lValue, this@toFakeObject.asExpr(addressSort), guard = trueExpr)`
	`95`	`+ memory.types.allocate(ref.address, FakeType.fromRef(this@TsContext))`
`96`	`96`	`}`
`97`	`97`
`98`	`98`	`else -> TODO("Not yet supported")`