Unify(double, TypeReference(struct (0 double))) => TypeReference(struct (0 double)).

uxmal / reko

Reko is a binary decompiler.

https://uxmal.github.io/reko

GNU General Public License v2.0

2.09k stars 250 forks source link

Closed ptomin closed 6 months ago

ptomin commented 6 months ago

Create Unifier test: Unify(double, TypeReference(struct (0 double))) => TypeReference(struct (0 double))

Expected: "STR"
But was:  "(union (real64 u1) (STR u0))"

Unify (double, TypeReference(struct (0 double))) => TypeReference(struct (0 double)).

ptomin commented 6 months ago

John, I have added requested comment.

uxmal commented 6 months ago

It's done.