beam_utils: Fix liveness analysis for gc_bif instructions

When gc_bif instructions occurred outside of a block,
beam_utils:check_liveness/3 did not take into account
that the instruction could do a garbage collection, and
could falsely report that an x register would be killed.

That could cause the beam_dead pass to make the code
unsafe by removing the assignment to an x register that
would subsequently be referenced by the garbage collector.

Reported-by: Christopher Williams

0 files changed, 0 insertions, 0 deletions