Also, try upstream yosys see if this was fixed. And if not report it on the yosys github.