Open il-steffen opened 4 months ago
I see this multiple times in other closed bugs like #969, but never a fix.
It seems the selection of get_imm() should be more constrained to fit the respective instruction type. Unfortunately but my SV skills are nowhere good enough for that..
get_imm()
I see this multiple times in other closed bugs like #969, but never a fix.
It seems the selection of
get_imm()
should be more constrained to fit the respective instruction type. Unfortunately but my SV skills are nowhere good enough for that..