Size of register ST0 of return value in function declaration at 0 is too small (8 bytes) for value of size 10 bytes

[artemdinaburg]

Getting the following failure on x86 anghabench:

E0611 09:40:41.015743 491149 main.cpp:461] Size of register ST0 of return value in function declaration at 0 is too small (8 bytes) for value of size 10 bytes

Attaching source JSON

output_st0_size.tar.gz

[artemdinaburg]

Referencing relevant remill issue: https://github.com/lifting-bits/remill/issues/527